May 2015 Archives by thread
Starting: Fri May 1 11:54:02 EDT 2015
Ending: Fri May 29 17:13:39 EDT 2015
- [FOM] Fwd: 2nd CfP HaPoC 2015,8-11 October 2015, Pisa
- [FOM] Gentzen sequent calculus or ND system for Kleene's 3-valued logics
- [FOM] Compactness of second order propositional logic
- [FOM] Criteria for New Axioms
- [FOM] 5th World School on Universal Logic - Inscription now open !
- [FOM] Ordinals as hereditarily transitive sets
- [FOM] Call for Papers: Seventh French Philosophy of Mathematics Workshop (FPMW 7)
- [FOM] TTL 2015 - Registration now open
- [FOM] How hard can it be to detect an inconsistency?
- [FOM] Fwd: advertising email
- [FOM] 2nd CfP: HAPOC3 -- Third International Conference for the History and Philosophy of Computing
gprimiero at libero.it
- [FOM] Computability workshops at CiE 2015 in Bucharest
S Barry Cooper
- [FOM] CFP: SoTFoM III and The Hyperuniverse Programme, Vienna, September 21-23, 2015.
- [FOM] CiE 2015 in Bucharest - Call for Participation
S B Cooper
- [FOM] fully funded three-year PhD positions at Middlesex University London
- [FOM] CFP: Non-Classical Logic. Theory and Applications, Torun 2015
- [FOM] WoLLIC 2015 - CALL FOR PARTICIPATION
Ruy de Queiroz
- [FOM] Fulbright Visiting Chair in Logic (2016/17)
- [FOM] 2nd CFP: AAL 2015
- [FOM] KWARC @ Jacobs University Bremen: Ph.D. and Postdoc positions in multiple projects
- [FOM] Call For Papers: Applications of Logic, Model Theory, and Theoretical Computer Science to Systems Biology
- [FOM] OCL 2015: First Call for Papers
Achim D. Brucker
- [FOM] MFPS XXXI/CALCO 2015 : Call for Participation
fabio.zanasi at ens-lyon.fr
- [FOM] Fwd: LPAR-20 in Fiji - Call for Papers and Workshops
- [FOM] Fwd: Midwest PhilMath Workshop 16
- [FOM] 4th CSLI Workshop on Logic, Rationality, and Intelligent Interaction
- [FOM] Continuity, Computability, Constructivity 2015; second call for submission
- [FOM] question
- [FOM] Eliminability of AC and GCH
- [FOM] On the arithmetical conservativity of ZFC + GCH over ZF
- [FOM] FOM] question /forcing/independ
- [FOM] What ZFC knows about analysis but ZF does not
- [FOM] 5th World School on Universal Logic: Schedule now on-line!
- [FOM] CTFM 2015
Stephen G Simpson
- [FOM] Ultrafinitist notion of "open problem"
Timothy Y. Chow
- [FOM] 579: Impossible Counting
- [FOM] Concerning Con(PA)
- [FOM] Concerning Impossible Counting
- [FOM] 580: Goedel's Second Revisited
- [FOM] A question on "property theory"
Last message date:
Fri May 29 17:13:39 EDT 2015
Archived on: Sat May 30 15:44:42 EDT 2015
This archive was generated by
Pipermail 0.09 (Mailman edition).