May 2015 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Fri May 1 11:54:02 EDT 2015
Ending: Fri May 29 17:13:39 EDT 2015
Messages: 70

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

Last message date: Fri May 29 17:13:39 EDT 2015
Archived on: Sat May 30 15:44:42 EDT 2015

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...