August 1999 Archives by thread

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

Starting: Mon Aug 2 06:14:00 EDT 1999
Ending: Tue Aug 31 23:10:03 EDT 1999
Messages: 71

FOM: Evolution of Many Mathematical Subjects Harvey Friedman
FOM: natural examples Harvey Friedman
- FOM: natural examples S B Cooper
  - FOM: natural examples/support system/divides Harvey Friedman
FOM: Natural examples and evolution of subjects Joe Shipman
- FOM: Natural examples/evolution of subjects Harvey Friedman
  - FOM: Natural examples/evolution of subjects John Baldwin
No subject Robert I. Soare
No subject Robert I. Soare
- FOM: Soare on Sigma11 choice Stephen G Simpson
- FOM: what is the value of reverse mathematics? Stephen G Simpson
FOM: priority arguments in applied recursion theory Stephen Fenner
FOM: priority arguments in applied recursion theory Stephen G Simpson
FOM: priority arguments in applied recursion theory Stephen G Simpson
FOM: Response to Soare's long posting Joe Shipman
FOM: history, funding, etc. Martin Davis
No subject Robert I. Soare
No subject Robert I. Soare
FOM: history, funding, guidance Harvey Friedman
FOM: No natural examples Harvey Friedman
FOM: little steps for little feet George Odifreddi
FOM: Natural examples: reply to Soare Joe Shipman
FOM: history, funding, guidance Martin Davis
- FOM: mathematics versus theology Walter Felscher
FOM: Sigma_1^1-AC error CTSteel
FOM: priority arguments in applied recursion theory; proof cleansing Stephen G Simpson
FOM: The Evolution of Mathematical Theories Walter Whiteley
No subject Robert I. Soare
No subject Robert I. Soare
- FOM: Moderator/Subscriber Julio Gonzalez Cabillon
FOM: Soare on FOM Stephen G Simpson
No subject Robert I. Soare
- FOM: No more trivia Harvey Friedman
FOM: nowhere differentiable/natural Harvey Friedman
No subject Robert I. Soare
FOM: priority arguments in reverse mathematics Stephen G Simpson
FOM: nowhere differentiable/natural Martin Davis
FOM: nowhere differentiable/natural Martin Davis
FOM: what is the value of reverse mathematics? Karlis Podnieks
- FOM: precedents for reverse mathematics Stephen G Simpson
FOM: Applications of Computability Theory Stuart A. Kurtz
FOM: what is the value of reverse mathematics? Martin Davis
FOM: Applications of formal systems of reverse mathematics Harvey Friedman
FOM: a message from the moderator Stephen G Simpson
FOM: coping with spam Stephen G Simpson
FOM: Reverse Mathematics and GAPs_in_THE_CONTINUUM. Alexander Zenkin
FOM: Recursion Theory and Computability Theory Joe Shipman
FOM: Query on automorphisms of r.e. degrees Joe Shipman
FOM: natural examples Carl G. Jockusch
FOM: Priority Joseph Shoenfield
- FOM: motivations Harvey Friedman
- FOM: priority arguments; Kleene-r.e. degrees; Pi01 classes Stephen G Simpson
FOM: natural r.e. degrees; Pi01 classes Stephen G Simpson
FOM: recursion theory and computer science; Downey/Kurtz Stephen G Simpson
FOM: Exchange with Davie on complexity of intermediate degrees Joe Shipman
FOM: Re: Simpson on Soare on Harrington Leo Harrington
FOM: natural examples Bakhadyr Khoussainov
FOM:Natural Examples William Calhoun
FOM: "The Mathematical Science of Computation" Stuart A. Kurtz
FOM: Thickness Lemma Joseph Shoenfield
FOM: Intermediate degrees, CH, and P=NP Joe Shipman
FOM: The History of Complexity Theory Stuart A. Kurtz
FOM: r.e. degrees versus computer science Stephen G Simpson
FOM: Better by what criteria? Stuart A. Kurtz
?Forcing is fancy diagonalization? (was: Reply: FOM:Natural Examples) Bart Kastermans
FOM: The Logic and Set Theory list (the LoST list) Bart Kastermans
FOM: 55:Term Rewriting/Proof Theory Harvey Friedman
FOM: 56:Consistency of Algebra/Geometry Harvey Friedman
FOM: r.e. degrees versus computer science Stuart A. Kurtz
FOM: McCarthy paper online Frode L. Odegard
FOM: Central Issues in Foundations 1 Harvey Friedman

Last message date: Tue Aug 31 23:10:03 EDT 1999
Archived on: Fri Mar 11 12:48:39 EDT 2005

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

This archive was generated by Pipermail 0.09 (Mailman edition).