August 2003 Archives by thread

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

Starting: Fri Aug 1 01:06:42 EDT 2003
Ending: Sat Aug 30 12:00:42 EDT 2003
Messages: 65

• [FOM] "Galaxies"   Kanovei
• [FOM] generalizing Schanuel   Andreas Blass
• [FOM] Re: "Galaxies"   Martin Davis
• [FOM] Order-type of nonstandard models   Ali Enayat
  • [FOM] Structure of nonstandard models of PA   Roger Bishop Jones
• [FOM] Order type of non-standard models   Alasdair Urquhart
• [FOM] math foundations webpage   Vladik Kreinovich
• [FOM] Request for references on Predicativity.   steve newberry
• [FOM] Request for references on Predicativity.   giovanni sambin
• [FOM] Silly typo   Alasdair Urquhart
• [FOM] correction   Andreas Blass
• [FOM] Of possible interest to Proof Theorists   steve newberry
• [FOM] Order type of denumerable nonstandard models   A.P. Hazen
• [FOM] Workshop on Proof Theory, Muenster, October 2003   Michael Moellerfeld
• [FOM] Nonstandard Methods   Todd Wilson
  • [FOM] Nonstandard Methods   Harvey Friedman
• [FOM] Order type of non-standard models   Fredrik Engström
• [FOM] Mycielski's finitized theories   A.P. Hazen
• [FOM] math foundations webpage   mail at sakharov.net
• [FOM] Countable non-standard models of PA   Alasdair Urquhart
• [FOM] Comment on formalization of proofs   Harvey Friedman
• [FOM] a question about references   amontoya at matematicas.unal.edu.co
• [FOM] Goedel anecdote   Alasdair Urquhart
• [FOM] Non-standard order types   Dana Scott
• [FOM] Order types of ordered fields   Alasdair Urquhart
• [FOM] History of nonstandard models of PA   Alasdair Urquhart
  • [FOM] History of nonstandard models of PA   Richard Zach
• [FOM] Re: Order of N^*   Yoram Hirshfeld
• [FOM] Job Opening   martin at eipye.com
• [FOM] Re: FOM   Martin Davis
  • [FOM] Godel Sentence & The Liar   mjmurphy
    • [FOM] Godel Sentence & The Liar   Arnon Avron
      • [FOM] Godel Sentence & The Liar   Torkel Franzen
• [FOM] FOM: Natural numbers and inductive sets   Dean Buckner
  • [FOM] FOM: Natural numbers and inductive sets   Jeff Hirst
• [FOM] Re: FOM: Natural numbers and inductive sets   Lasse
• [FOM] Godel Sentence   Kanovei
  • [FOM] Godel Sentence   Torkel Franzen
  • [FOM] Godel Sentence   Vladimir Sazonov
    • [FOM] Godel Sentence   Torkel Franzen
      • [FOM] Godel Sentence   Vladimir Sazonov
      • [FOM] Godel Sentence   Torkel Franzen
  • [FOM] Godel Sentence   Harvey Friedman
• [FOM] Re Kanovei on Gödel's Theorem   A.P. Hazen
• [FOM] Godel Sentence   Arnon Avron
  • [FOM] Godel Sentence   Richard Heck
    • [FOM] Godel Sentences   Harvey Friedman
      • [FOM] Godel Sentences   Arnon Avron
      • [FOM] Godel Sentences   Harvey Friedman
      • [FOM] Godel Sentences   Arnon Avron
  • [FOM] Godel Sentence   Torkel Franzen
    • [FOM] Godel Sentence   Arnon Avron
      • [FOM] Godel Sentence   Torkel Franzen
      • [FOM] Godel Sentence   Torkel Franzen
      • [FOM] Godel Sentence   Arnon Avron
      • [FOM] Godel Sentence   Torkel Franzen
      • [FOM] Godel Sentence   Richard Heck
  • [FOM] Godel Sentence   Karlis Podnieks
    • [FOM] Godel Sentence (a reply to Podnieks)   Arnon Avron
    • [FOM] Godel Sentence   Torkel Franzen
• [FOM] Godel Sentence   Richard Grandy
• [FOM] Godel Sentences   Kanovei
• [FOM] Godel sentence (Avron-Franzen exchange)   A.P. Hazen
• [FOM] the debate with Professor Kanovei   Martin Davis
  • [FOM] the debate with Professor Kanovei   podnieks at latnet.lv

Last message date: Sat Aug 30 12:00:42 EDT 2003
Archived on: Fri Mar 11 12:50:19 EDT 2005

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