June 2009 Archives by subject

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

Starting: Mon Jun 1 04:13:07 EDT 2009
Ending: Mon Jun 29 20:03:44 EDT 2009
Messages: 69

• [FOM] 344: Thematic Pi01 Incompleteness 4   Harvey Friedman
• [FOM] 344:Goedel's Second Revisited 2   Jeremy Avigad
• [FOM] 346: Goedel's Second Revisited 3   Harvey Friedman
• [FOM] 346: Goedel's Second Revisited 3   David Auerbach
• [FOM] 347:Goedel's Second Revisited 4   Harvey Friedman
• [FOM] 348:Goedel's Second Revisited 5   Harvey Friedman
• [FOM] [CiE] Newsletter No.15, June 27, 2009   CiE
• [FOM] A New Ordinal Notation System   Dmytro Taranovsky
• [FOM] A Question   hdeutsch at ilstu.edu
• [FOM] A Question   Arnon Avron
• [FOM] A Question   Max Weiss
• [FOM] A Question   Alasdair Urquhart
• [FOM] A Question   William Tait
• [FOM] A question about modal models   Dana Scott
• [FOM] A useful URL   Thomas Forster
• [FOM] An historical question concerning curves   Arnon Avron
• [FOM] An historical question concerning curves   Arnold Neumaier
• [FOM] Arithmetic categoricity of CZF   Roger Bishop Jones
• [FOM] Arithmetic categoricity of CZF   Vaughan Pratt
• [FOM] Arithmetic categoricity of CZF   Roger Bishop Jones
• [FOM] Arithmetical soundness of ZFC (platonic)   Timothy Y. Chow
• [FOM] Arithmetical soundness of ZFC (platonic)   praatika at mappi.helsinki.fi
• [FOM] Arithmetical soundness of ZFC (platonic)   Timothy Y. Chow
• [FOM] Arithmetical soundness of ZFC (platonic)   Timothy Y. Chow
• [FOM] Arithmetical soundness of ZFC (platonic)   praatika at mappi.helsinki.fi
• [FOM] CADE-22 - Call for Participation   Carsten Schuermann
• [FOM] Call for Papers: APAL special issue - Constructive Topology - G. Sambin 60   palmgren at math.uu.se
• [FOM] CCA 2009: Call for Participation   Peter Hertling
• [FOM] CONF: Practice-based philosophy of logic and mathematics   catarina dutilh
• [FOM] Correction to "A question about modal models"   Dana Scott
• [FOM] Definable sets of primes   joeshipman at aol.com
• [FOM] Definable sets of primes   Timothy Y. Chow
• [FOM] Definable sets of primes   joeshipman at aol.com
• [FOM] Definable sets of primes   joeshipman at aol.com
• [FOM] Definable sets of primes   Timothy Y. Chow
• [FOM] Defining 'Foundations of Mathematics'   Donald
• [FOM] EMU 2009 in New York, August 17-21, 2009 Effective Mathematics of the Uncountable   Joel David Hamkins
• [FOM] From the modeCZF   Arnon Avron
• [FOM] From the moderator (was "Constructivism, Geometry, and Powerset") (Martin Davis)   Arnon Avron
• [FOM] From the moderator (was "Constructivism, Geometry, and Powerset")   Andrej Bauer
• [FOM] From the moderator (was "Constructivism, Geometry, and Powerset") (Martin Davis)   Albert Ziegler
• [FOM] From the moderator (was "Constructivism, Geometry, and Powerset") (Martin Davis)   Peter Aczel
• [FOM] From the moderator (was "Constructivism, Geometry, and Powerset") (Martin Davis)   steve newberry
• [FOM] From the moderator (was "Constructivism, Geometry, and Powerset")   Martin Davis
• [FOM] From the moderator (was "Constructivism, Geometry, and Powerset") (Martin Davis)   William Tait
• [FOM] Infinitesimal calculus   A J Franco de Oliveira
• [FOM] Intermediate value theorem and Euclid   Andre.Rodin at ens.fr
• [FOM] JOUAL 2009 Workshop: Last Call For Participation   Hector Zenil
• [FOM] More on CZF   Peter Aczel
• [FOM] MWPMW 10. Announcement   Michael Detlefsen
• [FOM] MWPMW 10. Correction to Announcement   Michael Detlefsen
• [FOM] Naming Infinity / Loren Graham -Jean-.Michel .Kantor   jean-michel kantor
• [FOM] On Epistemology of Mathematics   Jon Awbrey
• [FOM] P01 provability/LC   pax0 at seznam.cz
• [FOM] Papers on Interactive Theorem Proving   N. Raja
• [FOM] Paris-Nancy PhilMath Workshop (P-NPMW), October 21-22, 2009, Nancy   Mark van Atten
• [FOM] Pow(Nat) in CZF   Peter Aczel
• [FOM] Putnam Replies   Harvey Friedman
• [FOM] Putnam Replies   Charles Silver
• [FOM] Replies to Putnam   Harvey Friedman
• [FOM] Replies to Putnam   Timothy Y. Chow
• [FOM] Replies to Putnam   praatika at mappi.helsinki.fi
• [FOM] Replies to Putnam   Paul Hollander
• [FOM] Reply to Putnam 2   Harvey Friedman
• [FOM] Reply to Putnam 2   Timothy Y. Chow
• [FOM] Reply to Putnam 2   Harvey Friedman
• [FOM] Reply to Putnam 2   praatika at mappi.helsinki.fi
• [FOM] Two Streams: Programme   Brendan Larvor
• [FOM] Workshop on Proof Theory - Ghent - June 26, 2009   Michiel De Smet

Last message date: Mon Jun 29 20:03:44 EDT 2009
Archived on: Mon Jun 29 20:29:05 EDT 2009

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