June 2009 Archives by subject
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
This archive was generated by
Pipermail 0.09 (Mailman edition).