August 2005 Archives by thread

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

Starting: Mon Aug 1 10:40:53 EDT 2005
Ending: Wed Aug 31 18:24:42 EDT 2005
Messages: 36

• [FOM] 251:Embedding Axioms   Harvey Friedman
• [FOM] Parson's Thesis? [A primitive recursive analogue of the Church-Turing thesis]   Rex Butler
• [FOM] Mathematics and Narrative   David Corfield
• [FOM] 2 problems in the foundations of statistics   Shipman, Joe
• [FOM] a question about conservativeness   Robert Black
• [FOM] small sets?   William.Piper at colorado.edu
  • [FOM] Re: small sets?   Dmytro Taranovsky
• [FOM] A New Ordinal Notation   Dmytro Taranovsky
• [FOM] Conservation and Ideals   adame at maths.warwick.ac.uk
  • [FOM] Conservation and Ideals   Stephen G Simpson
• [FOM] Parson's Thesis? [A primitive recursive analogue ...]   H. Enderton
  • [FOM] Parson's Thesis? [A primitive recursive analogue ...]   William Tait
• [FOM] A New Ordinal Notation   Lew Gordeew
  • [FOM] A New Ordinal Notation   Dmytro Taranovsky
• [FOM] [Fwd: voor FOM Frege's error]   Joop Niekus
• [FOM] Parson's Thesis?   Curtis Franks
  • [FOM] Parson's Thesis?   Thomas Forster
• [FOM] Frege's Error   Hartley Slater
• [FOM] Combinatorial sentence that infers P < NP   Lew Gordeew
• [FOM] book   John Bell
• [FOM] Another book   Robert Wolf
• [FOM] A New Ordinal Notation   Lew Gordeew
  • [FOM] A New Ordinal Notation   Dmytro Taranovsky
• [FOM] FOM: intuitionist propositional logic   StoryLen at aol.com
• [FOM] A New Ordinal Notation   Lew Gordeew
  • [FOM] A New Ordinal Notation   Dmytro Taranovsky
• [FOM] Well Ordering in ZF by Mostowski   dorin alex
• [FOM] A Category of Godel Codings. Comments?   Rex Butler
  • [FOM] A Category of Godel Codings. Comments?   Bas Spitters
  • [FOM] A Category of Godel Codings. Comments?   H. Enderton
• [FOM] Hilbert and conservativeness   Aatu Koskensilta
  • [FOM] Hilbert and conservativeness   William Tait
  • [FOM] Hilbert and conservativeness   Robert Black
• [FOM] A New Ordinal Notation   Lew Gordeew
• [FOM] 2nd CFP: M4M-4 "Methods for Modalities"; Berlin, Dec. 1-2, 2005   Holger Schlingloff
• [FOM] The empirical foundations of deductive logic and the axiomatic method (& applications to, e.g., ODEs & stochastic processes)   Richard Haney

Last message date: Wed Aug 31 18:24:42 EDT 2005
Archived on: Wed Aug 31 20:23:50 EDT 2005

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