April 1998 Archives by thread
Starting: Wed Apr 1 01:54:11 EDT 1998
Ending: Thu Apr 30 21:49:00 EDT 1998
Messages: 79
- FOM: Feasibility and (in)determinateness of the standard numbers
Torkel Franzen
- FOM: history and f.o.m.
Stephen G Simpson
- FOM: the categorical approach to logic
Stephen G Simpson
- FOM: the categorical approach to logic
wtait at ix.netcom.com
- FOM: administrative note
Stephen G Simpson
- FOM: applications of proof theory; combinatorial references
Stephen G Simpson
- FOM: evolution and reason
Randall Holmes
- FOM: Evolution and reason: reply to Holmes
JOE SHIPMAN, BLOOMBERG/ SKILLMAN
- FOM: Evolution and reason
Neil Tennant
- FOM: Evolution and reason; math and the brain
JOE SHIPMAN, BLOOMBERG/ SKILLMAN
- FOM: Bourbaki
Kanovei
- FOM: Evolution and reason
Michael Thayer
- FOM: Re: evolution and reason
Karlis Podnieks
- FOM: Frege and Dedekind on Numbers
wtait at ix.netcom.com
- FOM: Cohen's consistency proof
wtait at ix.netcom.com
- FOM: Evolution and reason
wtait at ix.netcom.com
- FOM: Influence of Wittgenstein's Tractatus
Charles Parsons
- FOM: Evolution; Wittgenstein
Olivier Souan
- FOM: history and f.o.m.
wtait at ix.netcom.com
- FOM: History and f.o.m.
wtait at ix.netcom.com
- FOM: re earlier ad
Randall Holmes
- FOM: 14:New characterizations of the provable ordinals
Harvey Friedman
- FOM: 14':Errata
Harvey Friedman
- FOM: a message for young recursion theorists
Stephen G Simpson
- FOM: proof theory (correction); call for discussion
Stephen G Simpson
- FOM: proof theory (correction) (correction)
Stephen G Simpson
- FOM: applications of proof theory
wtait at ix.netcom.com
- FOM: Book on foundations
Till Mossakowski
- FOM: Part I:Ultrafinitism,Naturalism,Vagueness
Robert Tragesser
- FOM: proof theory and the question of consistency
Anton Setzer
- FOM: Combinatorics and Large Cardinals
Joseph Shoenfield
- FOM: Evolution and reason; math and the brain
Neil Tennant
- FOM: Slaman on long range goals of recursion theory
Stephen G Simpson
- FOM: Math and Physics
JOE SHIPMAN, BLOOMBERG/ SKILLMAN
- FOM: 15:Structural Independence results and provable ordinals
Harvey Friedman
- FOM: 16:Logical Equations, etc.
Harvey Friedman
- FOM: Syntactic vs semantic classification of math statements
JOE SHIPMAN, BLOOMBERG/ SKILLMAN
- FOM: Syntactic vs semantic classification of math statements
Martin Davis
- FOM: Comment on Pi^0_2 conjectures.
Soren Riis
- FOM: 16':Errata
Harvey Friedman
- FOM: Combinatorics and Large Cardinals
Joseph Shoenfield
- FOM: Clarification to my Pi^0_2 comment:
Soren Riis
- FOM: Complexity of statements
Harvey Friedman
- FOM: Classification of statements
JOE SHIPMAN, BLOOMBERG/ SKILLMAN
- FOM: relevance logic and complexity calibration
Neil Tennant
- FOM: complexity of sentences
Harvey Friedman
- FOM: the relevance of relevance for complexity calibration
Neil Tennant
- FOM: V=L
Karlis Podnieks
- FOM: Does it matter?
Joseph Shoenfield
- FOM: Pi^0_1 vs Pi^0_2: reply to Davis and Riis
JOE SHIPMAN, BLOOMBERG/ SKILLMAN
- FOM: Re: V=L
Karlis Podnieks
- FOM: Subsets: Reply to Podnieks on V=L
JOE SHIPMAN, BLOOMBERG/ SKILLMAN
- FOM: Does it matter?
Ed Mares
- FOM: Does it matter?
NOROP at hum.aau.dk
- FOM: Clarification on Pi^0_2 induction; call for examples
JOE SHIPMAN, BLOOMBERG/ SKILLMAN
- FOM: 17:Very Strong Borel statements
Harvey Friedman
- FOM: 18:Binary Functions and Large Cardinals
Harvey Friedman
- FOM: need help with a reference
jk
- FOM: THANKS
jk
- FOM: Cohen reference
Stephen G Simpson
Last message date:
Thu Apr 30 21:49:00 EDT 1998
Archived on: Fri Mar 11 12:48:04 EDT 2005
This archive was generated by
Pipermail 0.09 (Mailman edition).