April 2004 Archives by thread

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

Starting: Thu Apr 1 15:06:22 EDT 2004
Ending: Fri Apr 30 15:24:43 EDT 2004
Messages: 71

• [FOM] Re: Goodstein sequence is not provable in PA   Timothy Y. Chow
• [FOM] Re: FOM Digest, Vol 16, Issue 1   Ali Enayat
• [FOM] Exponentiation and Goedel's incompleteness theorems   d.isles at comcast.net
• [FOM] Goodstein's paper of 1944   Alasdair Urquhart
• [FOM] Exponentiation and Goedel's incompleteness theorems   A.P. Hazen
• [FOM] Re: Exponentiation and Goedel's incompleteness theorems   Ali Enayat
• [FOM] Reply to Timothy Chow   Stephen Cook
• [FOM] PDPAR'04 deadline extended   Cesare Tinelli
• [FOM] Re: Goodstein sequence is not provable in PA   Andreas Weiermann
• [FOM] Tien Kieu's reply to Elena, Lorenz, Davis and Hodges.   Toby Ord
  • [FOM] Definition of "large cardinal axiom"?   Roger Bishop Jones
    • [FOM] Definition of "large cardinal axiom"?   Thomas Forster
    • [FOM] Re: Definition of "large cardinal axiom"?   Dmytro Taranovsky
• [FOM] branching quantifiers   Thomas Forster
• [FOM] CFP: Logic, Games and Philosophy   tulenhei at mappi.helsinki.fi
• [FOM] Boole on Aristotle on Euclid   John Corcoran
• [FOM] Re: branching quantifiers   Thomas Forster
• [FOM] branching quantifiers   Marcin Mostowski
• [FOM] branching quantifiers   Marcin Mostowski
• [FOM] From Elena to Kieu through Toby Ord.   Laura Elena Morales Gro.
• [FOM] ICCL Summer School 2004   ICCL Summer School
• [FOM] "Nonstandard Models of Arithmetic and Analysis" in Pisa   Karel Hrbacek
• [FOM] Some practical matters   Martin Davis
• [FOM] Re: Definition of "large cardinal axiom"?   Timothy Y. Chow
• [FOM] Definition of "large cardinal axiom"?   JoeShipman at aol.com
  • [FOM] Definition of "large cardinal axiom"?   Robert M. Solovay
• [FOM] Re: Definition of "large cardinal axiom"?   Ali Enayat
  • [FOM] Re: Definition of "large cardinal axiom"?   Robert M. Solovay
• [FOM] Definition of "large cardinal axiom"?   JoeShipman at aol.com
• [FOM] Definition of "large cardinal axiom"   JoeShipman at aol.com
  • [FOM] Why the definition of "large cardinal axiom" matters   Roger Bishop Jones
• [FOM] Mid-Atlantic Mathematical Logic Seminar in Washington, DC   Ali Enayat
• [FOM] Re: Definition of Large Cardinal Axiom   Ali Enayat
• [FOM] ESSLLI 2004 - Deadline for Early Registration 1st of May   Carlos Areces
• [FOM] From Elena to Kieu through Toby Ord.   Tien D Kieu
• [FOM] Erdoes probabilistic method   Andreas Weiermann
• [FOM] Re: Why the definition of "large cardinal axiom" matters   Timothy Y. Chow
  • [FOM] Re: Why the definition of "large cardinal axiom" matters   Roger Bishop Jones
• [FOM] Re: Why the definition of "large cardinal axiom" matters   JoeShipman at aol.com
  • [FOM] Re: Why the definition of "large cardinal axiom" matters   Roger Bishop Jones
• [FOM] Abdul Lorenz on Kieu   martin at eipye.com
  • [FOM] Abdul Lorenz on Kieu   Tien D Kieu
    • [FOM] Freeman Dyson on Inexhaustibility   charles silver
      • [FOM] Freeman Dyson on Inexhaustibility   Karlis Podnieks
• [FOM] fom: large cardinals and CH   Dave Marker
• [FOM] Object-Oriented Formal Mathematical Languages   Victor Makarov
  • [FOM] Object-Oriented Formal Mathematical Languages   Jacques Carette
    • [FOM] Object-Oriented Formal Mathematical Languages   Bas Spitters
      • [FOM] Object-Oriented Formal Mathematical Languages   Jacques Carette
  • [FOM] Object-Oriented Formal Mathematical Languages   Brian Postow
    • [FOM] Object-Oriented Formal Mathematical Languages   Jacques Carette
    • [FOM] Object-Oriented Formal Mathematical Languages   Thomas Forster
• [FOM] Recent Advances in Core Model Theory   David Farmer
• [FOM] ESSLLI 05, Edinburgh, Call for Proposals   Paul Dekker
• [FOM] Alleged proof of inconsistency of ZF   Timothy Y. Chow
• [FOM] Freeman Dyson on Inexhaustibility   A.P. Hazen
• [FOM] Clarification: Bryan Ford's preprint   Timothy Y. Chow
• [FOM] Object-Oriented Formal Mathematical Languages   Victor Makarov
  • [FOM] Object-Oriented Formal Mathematical Languages   Brian Postow
  • [FOM] Object-Oriented Formal Mathematical Languages   Jacques Carette
• [FOM] Re: Alleged proof of inconsistency of ZF   Bryan Ford
• [FOM] Freeman Dyson on Inexhaustibility   H. Enderton
• [FOM] Bryan Ford's paper   Randall Holmes
• [FOM] Bryan Ford paper   Randall Holmes
• [FOM] Kemeny   Martin Davis
• [FOM] Ford paper   Randall Holmes
• [FOM] Re: your paper on partial models of ZF   Bryan Ford
• [FOM] Object-Oriented Formal Mathematical Languages   Brian Postow
  • [FOM] Object-Oriented Formal Mathematical Languages   Jacques Carette
• [FOM] Object-Oriented Formal Mathematical Languages   Victor Makarov
• [FOM] Object-Oriented Formal Mathematical Languages   Dennis E. Hamilton

Last message date: Fri Apr 30 15:24:43 EDT 2004
Archived on: Fri Mar 11 12:50:40 EDT 2005

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