May 2015 Archives by date
Starting: Fri May 1 11:54:02 EDT 2015
Ending: Fri May 29 17:13:39 EDT 2015
Messages: 70
- [FOM] Fwd: 2nd CfP HaPoC 2015,8-11 October 2015, Pisa
Martin Davis
- [FOM] Gentzen sequent calculus or ND system for Kleene's 3-valued logics
Ferguson, Thomas
- [FOM] Gentzen sequent calculus or ND system for Kleene's 3-valued logics
Arnon Avron
- [FOM] Compactness of second order propositional logic
Richard Zach
- [FOM] Compactness of second order propositional logic
Guillermo Badia
- [FOM] Criteria for New Axioms
Dmytro Taranovsky
- [FOM] 5th World School on Universal Logic - Inscription now open !
jean-yves beziau
- [FOM] Ordinals as hereditarily transitive sets
Gert Smolka
- [FOM] Ordinals as hereditarily transitive sets
Frode Bjørdal
- [FOM] Criteria for New Axioms
martdowd at aol.com
- [FOM] Ordinals as hereditarily transitive sets
Marco Forti
- [FOM] Ordinals as hereditarily transitive sets
Robert Solovay
- [FOM] Call for Papers: Seventh French Philosophy of Mathematics Workshop (FPMW 7)
Andrew Arana
- [FOM] TTL 2015 - Registration now open
Joao Marcos
- [FOM] Ordinals as hereditarily transitive sets
Andreas Blass
- [FOM] Criteria for New Axioms
Dmytro Taranovsky
- [FOM] How hard can it be to detect an inconsistency?
Abolfazl Karimi
- [FOM] Fwd: advertising email
Martin Davis
- [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.
Neil Barton
- [FOM] Ordinals as hereditarily transitive sets
Frode Bjørdal
- [FOM] How hard can it be to detect an inconsistency?
Dmytro Taranovsky
- [FOM] Criteria for New Axioms
martdowd at aol.com
- [FOM] How hard can it be to detect an inconsistency?
Alasdair Urquhart
- [FOM] Ordinals as hereditarily transitive sets
Aldo Antonelli
- [FOM] Criteria for New Axioms
Dmytro Taranovsky
- [FOM] Compactness of second order propositional logic
Alasdair Urquhart
- [FOM] Compactness of second order propositional logic
Guillermo Badia
- [FOM] CiE 2015 in Bucharest - Call for Participation
S B Cooper
- [FOM] fully funded three-year PhD positions at Middlesex University London
Andrei Popescu
- [FOM] CFP: Non-Classical Logic. Theory and Applications, Torun 2015
Rafał Gruszczyński
- [FOM] WoLLIC 2015 - CALL FOR PARTICIPATION
Ruy de Queiroz
- [FOM] Fulbright Visiting Chair in Logic (2016/17)
Richard Zach
- [FOM] 2nd CFP: AAL 2015
N.J.J. Smith
- [FOM] KWARC @ Jacobs University Bremen: Ph.D. and Postdoc positions in multiple projects
Dennis Müller
- [FOM] Call For Papers: Applications of Logic, Model Theory, and Theoretical Computer Science to Systems Biology
Leo Marcus
- [FOM] OCL 2015: First Call for Papers
Achim D. Brucker
- [FOM] Ordinals as hereditarily transitive sets
Parsons, Charles
- [FOM] Ordinals as hereditarily transitive sets
Parsons, Charles
- [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
Martin Davis
- [FOM] Fwd: Midwest PhilMath Workshop 16
Martin Davis
- [FOM] 4th CSLI Workshop on Logic, Rationality, and Intelligent Interaction
K Mierzewski
- [FOM] Continuity, Computability, Constructivity 2015; second call for submission
Dieter Spreen
- [FOM] question
Roman Murawski
- [FOM] question
Noah David Schweber
- [FOM] question
Robert Lubarsky
- [FOM] question
WILLIAM TAIT
- [FOM] question
Aatu Koskensilta
- [FOM] question
John Burgess
- [FOM] Eliminability of AC and GCH
Joe Shipman
- [FOM] On the arithmetical conservativity of ZFC + GCH over ZF
Ali Enayat
- [FOM] On the arithmetical conservativity of ZFC + GCH over ZF
Joe Shipman
- [FOM] FOM] question /forcing/independ
Adriano Palma
- [FOM] On the arithmetical conservativity of ZFC + GCH over ZF
Dmytro Taranovsky
- [FOM] What ZFC knows about analysis but ZF does not
Ali Enayat
- [FOM] 5th World School on Universal Logic: Schedule now on-line!
jean-yves beziau
- [FOM] CTFM 2015
Stephen G Simpson
- [FOM] Ultrafinitist notion of "open problem"
Timothy Y. Chow
- [FOM] 579: Impossible Counting
Harvey Friedman
- [FOM] Concerning Con(PA)
Harvey Friedman
- [FOM] 579: Impossible Counting
Dmytro Taranovsky
- [FOM] Ultrafinitist notion of "open problem"
Nik Weaver
- [FOM] Formal Mathematics for Mathematicians Workshop 2015
Adam Naumowicz
- [FOM] Concerning Impossible Counting
Harvey Friedman
- [FOM] Concerning Con(PA)
Timothy Y. Chow
- [FOM] 580: Goedel's Second Revisited
Harvey Friedman
- [FOM] A question on "property theory"
Frode Bjørdal
- [FOM] Concerning Con(PA)
Harvey Friedman
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).