[Date Index] [Thread Index] [FOM Postings] [FOM Home]

**Harvey Friedman**- FOM: Central Issues in Foundations 1**Vaughan Pratt**- Re: FOM: HF on Central Issues in Foundations 1

**Ryan Conrad Kohl**- FOM: Central Issues in Foundations**William Calhoun**- Re: ?Forcing is fancy diagonalization? (was: Reply: FOM:Natural Examples)**Stephen G Simpson**- FOM: r.e. degrees versus computer science**Kevin Davey**- No Subject**Edwin Mares**- FOM: PhD Scholarship in Logic**Neil Tennant**- FOM: Re: your mail**Harvey Friedman**- FOM: F.O.M. = Reverse Math?**Harvey Friedman**- FOM: Central Issues in Foundations 2**Harvey Friedman**- FOM: Central Issues in Foundations 3

**John Pais**- FOM: The REAL Foundations Of Mathematics (FOM)**Steve Stevenson**- FOM: The REAL Foundations Of Mathematics (FOM)

**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

**Stephen G Simpson**- FOM: Announcement, MWMT'99**F. Xavier Noria**- FOM: Announcement: 6th BLM**Piergiorgio Odifreddi**- FOM: priority and CS**Lenore Blum**- FOM: Re: The REAL Foundations Of Mathematics and WHAT'S HOT AND WHAT'S NOT**Stephen G Simpson**- FOM: an application of reverse math to core math**Steve Stevenson**- Re: FOM: an application... A Suggestion...

**Jan Mycielski**- FOM: miniaturization**Stephen G Simpson**- FOM: miniaturization**Vladimir Sazonov**- FOM: miniaturization/finitization- <Possible follow-up(s)>
**Soren Moller Riis**- re: FOM: miniaturization**Jan Mycielski**- Re: FOM: miniaturization**Stephen G Simpson**- FOM: miniaturization**Jan Mycielski**- Re: FOM: miniaturization

**Arnon Avron**- FOM: "New results in Mathematics"**Ketland,JJ**- FOM: Application of reverse maths to theoretical physics- <Possible follow-up(s)>
**Joe Shipman**- FOM: Application of reverse maths to theoretical physics**Stephen G Simpson**- FOM: an application of reverse math to algebraic geometry**Vaughan Pratt**- Re: FOM: Application of reverse maths to theoretical physics

**Joe Shipman**- FOM: Reverse math in physics**Stephen G Simpson**- FOM: lectureships in mathematical logic at the U of Leeds**Stephen G Simpson**- FOM: some administrative announcements**Joe Shipman**- FOM: Church's thesis: reply to Pratt**Vaughan Pratt**- Re: FOM: Church's thesis: reply to Pratt

**Harvey Friedman**- FOM: 59:Restricted summation:Pi-0-1 sentences**Joe Shipman**- FOM: Church's Thesis**Vaughan Pratt**- Re: FOM: Church's Thesis**Stephen Fenner**- Re: FOM: Church's Thesis**Vaughan Pratt**- Re: FOM: Church's Thesis

- <Possible follow-up(s)>
**Kevin Davey**- Re: FOM: Church's Thesis

**Andrew Boucher**- FOM: Re: Application of reverse maths to theoretical physics- <Possible follow-up(s)>
**Andrew Boucher**- FOM: Re: Application of reverse maths to theoretical physics**JoeShipman**- Re: FOM: Re: Application of reverse maths to theoretical physics

**Andrew Boucher**- FOM: Wrong version**Joe Shipman**- FOM: Correction of typo**Steve Stevenson**- FOM: The Status of Bayesian Statistics**David Ross**- FOM: Constructive v. Nonstandard Analysis, and rapprochement**Ketland,JJ**- FOM: Maths from physics**Joe Shipman**- FOM: Maths from physics: reply to Ketland**Alexander Zenkin**- FOM: Visual Mirror-Like Proofs.**Martin Davis**- FOM: Jan Mycielski's vs Harvey Friedman's use of large cardinals**Harvey Friedman**- FOM: 61:Finitist proofs of conservation

[Date Index] [Thread Index] [FOM Postings] [FOM Home]

Mail converted by

`MHonArc`

2.4.3