April 2000 Archives by thread

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

Starting: Sun Apr 2 14:07:22 EDT 2000
Ending: Sat Apr 29 05:21:28 EDT 2000
Messages: 32

• FOM: planned volume on Reverse Mathematics   Stephen G Simpson
• FOM: a world where all definable reals are recursive   Stephen G Simpson
  • FOM: a world where all definable reals are recursive   Andrej.Bauer at cs.cmu.edu
    • FOM: a world where all definable reals are recursive   Stephen G Simpson
      • FOM: a world where all definable reals are recursive   Andrej.Bauer at cs.cmu.edu
      • FOM: a world where all definable reals are recursive   Stephen G Simpson
• FOM: a world where all definable reals are recursive (revised)   Stephen G Simpson
  • FOM: lack of examples of r.e. Turing degrees   Stephen G Simpson
• FOM: Relative completeness of Heyting logic   William Tait
• FOM: British 2000 abstract   Harvey Friedman
• FOM: Orthogonal roles   Todd Wilson
• FOM: Re: Simpson on Russell's paradox for category theory   charles silver
• FOM: completeness theorem for stratification?   Stephen G Simpson
• FOM: categorical cardinals (in two senses)   Stephen G Simpson
• FOM: Re: categorical cardinals (in two senses)   Larry Stout
  • FOM: categorical cardinals (in two senses)   Stephen G Simpson
• FOM: Re: completeness theorem for stratification?   Thomas Forster
  • FOM: completeness theorem for stratification?   Stephen G Simpson
• FOM: BRT progress report   Harvey Friedman
• FOM: Query on strengths of statements   Colin McLarty
• FOM: completeness theorem for stratification?   Thomas Forster
• FOM: Hilbert's second problem   Matthew Frank
• FOM: Hilbert's second problem   Martin Davis
• FOM: Harvey Friedman PR in campus newspaper   Stephen G Simpson
• FOM: Review of Feferman   Harvey Friedman
• FOM: Logic in 20/21 Centuries   Harvey Friedman
• FOM: Reply to Friedman on 21st Century mathematics   Joe Shipman
  • FOM: Paradoxes and their role in the history of mathematics   Andrew Gray
• FOM: V=L and large sets   Colin McLarty
• FOM: Alternate histories for mathematical axioms   Joe Shipman
• FOM: V=L and large sets   Kanovei
• FOM: Alternate histories for mathematical axioms   Kanovei

Last message date: Sat Apr 29 05:21:28 EDT 2000
Archived on: Fri Mar 11 12:48:54 EDT 2005

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