January 2013 Archives by date

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

Starting: Tue Jan 1 19:11:18 EST 2013
Ending: Thu Jan 31 15:41:12 EST 2013
Messages: 85

• [FOM] [LICS] LICS Newsletter 142   Andrzej Murawski
• [FOM] Infinite closed set absrtracts in Zermelo set theory   T.Forster at dpmms.cam.ac.uk
• [FOM] Elementary submodel   pax0 at seznam.cz
• [FOM] Preprint: "Topological Galois Theory"   Olivia Caramello
• [FOM] Infinite closed set absrtracts in Zermelo set theory   Richard Heck
• [FOM] Elementary submodel   Monroe Eskew
• [FOM] cfp CIE 2013, July 1-5, 2013   computing.conference
• [FOM] Post-doc in Bath on the semantics of a bureaucracy-free formalism   Alessio Guglielmi
• [FOM] 510: Unique Undefinable Elements Again   Harvey Friedman
• [FOM] course of Olivia Caramello   Anatole KHELIF
• [FOM] 511: A Supernatural Consistency Proof for Mathematics   Harvey Friedman
• [FOM] CiE Newsletter No.65, January 11th 2013.   Olivier Bournez
• [FOM] CfP Symposium Mathematics and Computation: Historical and epistemological issues [from Liesbeth De Mol]   Liesbeth De Mol
• [FOM] 512: Countable Elementary Extensions   Harvey Friedman
• [FOM] 511: A Supernatural Consistency Proof for Mathematics   Vaughan Pratt
• [FOM] 511: A Supernatural Consistency Proof for Mathematics   Harvey Friedman
• [FOM] 513: Five Supernatural Consistency Proofs for Mathematics   Harvey Friedman
• [FOM] 514: Countable Elementary Extensions/again   Harvey Friedman
• [FOM] 511: A Supernatural Consistency Proof for Mathematics   Vaughan Pratt
• [FOM] 511: A Supernatural Consistency Proof for Mathematics   Monroe Eskew
• [FOM] 511: A Supernatural Consistency Proof for Mathematics   Harvey Friedman
• [FOM] Continuous tower function   Joe Shipman
• [FOM] Naturality of Con(ZFC)   MartDowd at aol.com
• [FOM] Continuous tower function   Kenny Easwaran
• [FOM] Naturality of Con(ZFC)   Vaughan Pratt
• [FOM] TAP 2013: Final Call for Papers   Achim D. Brucker
• [FOM] CiE 2013 in Milan, July: 3rd Call for Papers   CiE
• [FOM] 515: Eight Supernatural Consistency Proofs For Mathematics   Harvey Friedman
• [FOM] CiE 2013: The Nature of Computation - final submission by *February 2nd 2013*   Olivier Bournez
• [FOM] 3 Logic Tutorials in Helsinki January/February   jkennedy at mappi.helsinki.fi
• [FOM] Fwd: [DL] European Master's Program in Computational Logic   Camilo Thorne
• [FOM] Ultrafinitism - help!   T.Forster at dpmms.cam.ac.uk
• [FOM] Logic summer school for undergraduates at UCLA [from Itay Neeman]   Itay Neeman
• [FOM] Midlands Graduate School   Venanzio Capretta
• [FOM] Con(ZFC) is trivial   MartDowd at aol.com
• [FOM] Ultrafinitism - help!   Kreinovich, Vladik
• [FOM] Con(ZFC) is trivial   Harvey Friedman
• [FOM] Ultrafinitism - help!   Nick Nielsen
• [FOM] Ultrafinitism - help!   Adriano Palma
• [FOM] Ultrafinitism - help!   Vaughan Pratt
• [FOM] Ultrafinitism - help!   Albrecht Heeffer
• [FOM] Ultrafinitism - help!   Jean Paul van Bendegem
• [FOM] simpler bibliography with short articles on finitism and Wang "feasibility" Ultrafinitism - help!   Adriano Palma
• [FOM] Con(ZFC) is trivial   Nik Weaver
• [FOM] Fwd: PhD opening in cognitive modeling and logic at ILLC, UvA   Camilo Thorne
• [FOM] Con(ZFC) is trivial   MartDowd at aol.com
• [FOM] Ultrafinitism - help!   Irving Anellis
• [FOM] Ultrafinitism - some comments   Vladimir Sazonov
• [FOM] An generalization of the Lob's theorem   Jaykov Foukzon
• [FOM] Query Concerning Excluded Middle & CH   John Burgess
• [FOM] Ultrafinitism - help!   T.Forster at dpmms.cam.ac.uk
• [FOM] Query Concerning Excluded Middle & CH   Colin McLarty
• [FOM] Query Concerning Excluded Middle & CH   Epstein, Adam
• [FOM] Correction to Three tutorials in mathematical logic   jkennedy at mappi.helsinki.fi
• [FOM] Questions on Cantor   Frode Bjørdal
• [FOM] Questions on Cantor   Vaughan Pratt
• [FOM] Questions on Cantor   Arik Hinkis
• [FOM] Questions on Cantor   David Auerbach
• [FOM] extramathematical notions and the CH   Tom Dunion
• [FOM] : Questions on Cantor   Irving Anellis
• [FOM] SoCal PhilMath + PhilLogic + FoM 2 & 3   Sean Walsh
• [FOM] Questions on Cantor   Frode Bjørdal
• [FOM] extramathematical notions and the CH   joeshipman at aol.com
• [FOM] Questions on Cantor   Vaughan Pratt
• [FOM] Questions on Cantor   Director CPFS
• [FOM] Query Concerning Excluded Middle & CH   carl at math.uni-bonn.de
• [FOM] Questions on Cantor   Vaughan Pratt
• [FOM] CORRECTED CfP: Goedel conference (Aix-en-Provence, July 11-13, 2013)   Mark van Atten
• [FOM] CADE-24 Workshop CFPs   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] Postdoc positions in SAT/SMT-based Verification available in Trento [Roberto Sebastiani <rseba at disi.unitn.it>]   Roberto Sebastiani
• [FOM] Questions on Cantor   Arik Hinkis
• [FOM] Fwd: Query Concerning Excluded Middle & CH   John Doner
• [FOM] Query Concerning Excluded Middle & CH   Serguei Mokhov
• [FOM] extramathematical notions and the CH   Ignacio Añon
• [FOM] extramathematical notions and the CH   Sam Sanders
• [FOM] Questions on Cantor   Vaughan Pratt
• [FOM] extramathematical notions and the CH   Joe Shipman
• [FOM] Questions on Cantor   Frode Bjørdal
• [FOM] The Reasoner 7(3) available for download   Jon Williamson
• [FOM] extramathematical notions and the CH   Vaughan Pratt
• [FOM] Questions on Cantor   Hendrik Boom
• [FOM] extramathematical notions and the CH   Timothy Y. Chow
• [FOM] : Questions on Cantor   Frode Bjørdal
• [FOM] extramathematical notions and the CH   Timothy Y. Chow
• [FOM] extramathematical notions and the CH   Steven Ericsson-Zenith

Last message date: Thu Jan 31 15:41:12 EST 2013
Archived on: Fri Feb 1 12:47:31 EST 2013

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