|
|
November 02, 2006
- Re: Concerning Ultrafinitism., Robbie Lindauer
- 303: PA Completeness (restatement), Pietro Kreitlon Carolino
- Re: Yessenin-Volpin, Rupert McCallum
- Re: Concerning Ultrafinitism., V . Sazonov-5fL7ta8dD402EctHIo1CcQ
- Yessenin-Volpin, Gabriel Stolzenberg
- Re: 303: PA Completeness (restatement), Arnon Avron
- Re: Is there a "naturally occurring" theorem provable in EFA but not in predicative arithmetic?, Harvey Friedman
- Fwd: 303: PA Completeness (restatement) (Andrej Bauer), Dana Scott
- Re: Concerning Ultrafinitism., Eray Ozkural
- Re: On "ruling out" non-standard models of first order arithmetic, Neil Tennant
- Re: Concerning Ultrafinitism., Rupert McCallum
- Is there a "naturally occurring" theorem provable in EFA but not in predicative arithmetic?, Rupert McCallum
|
|