September 1999 Archives by thread

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

Starting: Wed Sep 1 15:10:49 EDT 1999
Ending: Wed Sep 29 11:52:47 EDT 1999
Messages: 57

• FOM: HF on Central Issues in Foundations 1   Vaughan Pratt
• FOM: Central Issues in Foundations   Ryan Conrad Kohl
• ?Forcing is fancy diagonalization? (was: Reply: FOM:Natural Examples)   William Calhoun
• FOM: r.e. degrees versus computer science   Stephen G Simpson
• No subject   Kevin Davey
• FOM: PhD Scholarship in Logic   Edwin Mares
• FOM: Re: your mail   Neil Tennant
• FOM: The REAL Foundations Of Mathematics (FOM)   John Pais
  • FOM: The REAL Foundations Of Mathematics (FOM)   Steve Stevenson
• FOM: F.O.M. = Reverse Math?   Harvey Friedman
• FOM: Central Issues in Foundations 2   Harvey Friedman
  • FOM: Central Issues in Foundations 3   Harvey Friedman
• FOM: 57:Fixpoints/Summation/Large Cardinals   Harvey Friedman
• FOM: 57':Restatement   Harvey Friedman
• FOM: 58:Program A/Conjectures   Harvey Friedman
  • FOM: 60:Program A/Results   Harvey Friedman
• FOM: Announcement, MWMT'99   Stephen G Simpson
• FOM: Announcement: 6th BLM   F. Xavier Noria
• FOM: priority and CS   Piergiorgio Odifreddi
• FOM: Re: The REAL Foundations Of Mathematics and WHAT'S HOT AND WHAT'S NOT   Lenore Blum
• FOM: an application of reverse math to core math   Stephen G Simpson
  • FOM: an application... A Suggestion...   Steve Stevenson
  • FOM: an application of reverse math to algebraic geometry   Stephen G Simpson
• FOM: miniaturization   Jan Mycielski
  • FOM: miniaturization   Stephen G Simpson
  • FOM: miniaturization/finitization   Vladimir Sazonov
• FOM: "New results in Mathematics"   Arnon Avron
• FOM: miniaturization   Soren Moller Riis
• FOM: Application of reverse maths to theoretical physics   Ketland,JJ
• FOM: Application of reverse maths to theoretical physics   Joe Shipman
  • FOM: Application of reverse maths to theoretical physics   Vaughan Pratt
• FOM: Reverse math in physics   Joe Shipman
• FOM: miniaturization   Jan Mycielski
  • FOM: miniaturization   Stephen G Simpson
    • FOM: miniaturization   Jan Mycielski
• FOM: Church's thesis: reply to Pratt   Joe Shipman
  • FOM: Church's thesis: reply to Pratt   Vaughan Pratt
• FOM: lectureships in mathematical logic at the U of Leeds   Stephen G Simpson
• FOM: some administrative announcements   Stephen G Simpson
• FOM: 59:Restricted summation:Pi-0-1 sentences   Harvey Friedman
• FOM: Church's Thesis   Joe Shipman
  • FOM: Church's Thesis   Vaughan Pratt
    • FOM: Church's Thesis   Stephen Fenner
      • FOM: Church's Thesis   Vaughan Pratt
• FOM: Church's Thesis   Kevin Davey
• FOM: Re: Application of reverse maths to theoretical physics   Andrew Boucher
• FOM: Wrong version   Andrew Boucher
• FOM: Re: Application of reverse maths to theoretical physics   Andrew Boucher
• FOM: Re: Application of reverse maths to theoretical physics   JoeShipman at aol.com
• FOM: Correction of typo   Joe Shipman
• FOM: The Status of Bayesian Statistics   Steve Stevenson
• FOM: Constructive v. Nonstandard Analysis, and rapprochement   David Ross
• FOM: Maths from physics   Ketland,JJ
• FOM: Maths from physics: reply to Ketland   Joe Shipman
• FOM: Visual Mirror-Like Proofs.   Alexander Zenkin
• FOM: Jan Mycielski's vs Harvey Friedman's use of large cardinals   Martin Davis
• FOM: 61:Finitist proofs of conservation   Harvey Friedman

Last message date: Wed Sep 29 11:52:47 EDT 1999
Archived on: Fri Mar 11 12:48:41 EDT 2005

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