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

- Wed Sep 01 09:13:55 1999 -
**Harvey Friedman**- FOM: Central Issues in Foundations 1 - Wed Sep 01 15:25:09 1999 -
**Vaughan Pratt**- Re: FOM: HF on Central Issues in Foundations 1 - Wed Sep 01 18:04:26 1999 -
**Ryan Conrad Kohl**- FOM: Central Issues in Foundations - Wed Sep 01 22:35:44 1999 -
**William Calhoun**- Re: ?Forcing is fancy diagonalization? (was: Reply: FOM:Natural Examples) - Fri Sep 03 22:55:28 1999 -
**Stephen G Simpson**- FOM: r.e. degrees versus computer science - Tue Sep 07 11:53:53 1999 -
**Kevin Davey**- No Subject - Tue Sep 07 17:24:45 1999 -
**Edwin Mares**- FOM: PhD Scholarship in Logic - Wed Sep 08 22:59:49 1999 -
**Neil Tennant**- FOM: Re: your mail - Thu Sep 09 15:32:04 1999 -
**Harvey Friedman**- FOM: F.O.M. = Reverse Math? - Thu Sep 09 15:51:15 1999 -
**Harvey Friedman**- FOM: Central Issues in Foundations 2 - Thu Sep 09 17:01:23 1999 -
**John Pais**- FOM: The REAL Foundations Of Mathematics (FOM) - Fri Sep 10 07:38:48 1999 -
**Harvey Friedman**- FOM: 57:Fixpoints/Summation/Large Cardinals - Fri Sep 10 09:20:33 1999 -
**Steve Stevenson**- FOM: The REAL Foundations Of Mathematics (FOM) - Sat Sep 11 10:29:03 1999 -
**Harvey Friedman**- FOM: 57':Restatement - Sun Sep 12 13:17:19 1999 -
**Harvey Friedman**- FOM: 58:Program A/Conjectures - Sun Sep 12 14:28:41 1999 -
**Stephen G Simpson**- FOM: Announcement, MWMT'99 - Sun Sep 12 18:18:52 1999 -
**F. Xavier Noria**- FOM: Announcement: 6th BLM - Sun Sep 12 18:19:50 1999 -
**Piergiorgio Odifreddi**- FOM: priority and CS - Mon Sep 13 12:36:54 1999 -
**Lenore Blum**- FOM: Re: The REAL Foundations Of Mathematics and WHAT'S HOT AND WHAT'S NOT - Mon Sep 13 12:46:03 1999 -
**Harvey Friedman**- FOM: Central Issues in Foundations 3 - Tue Sep 14 18:19:01 1999 -
**Stephen G Simpson**- FOM: an application of reverse math to core math - Tue Sep 14 20:44:02 1999 -
**Jan Mycielski**- FOM: miniaturization - Tue Sep 14 21:27:28 1999 -
**Stephen G Simpson**- FOM: miniaturization - Wed Sep 15 08:52:28 1999 -
**Arnon Avron**- FOM: "New results in Mathematics" - Wed Sep 15 09:52:33 1999 -
**Steve Stevenson**- Re: FOM: an application... A Suggestion... - Wed Sep 15 11:10:33 1999 -
**Soren Moller Riis**- re: FOM: miniaturization - Wed Sep 15 15:19:37 1999 -
**Ketland,JJ**- FOM: Application of reverse maths to theoretical physics - Wed Sep 15 16:37:59 1999 -
**Vladimir Sazonov**- FOM: miniaturization/finitization - Thu Sep 16 00:59:26 1999 -
**Joe Shipman**- FOM: Application of reverse maths to theoretical physics - Thu Sep 16 01:00:49 1999 -
**Jan Mycielski**- Re: FOM: miniaturization - Thu Sep 16 01:04:05 1999 -
**Joe Shipman**- FOM: Reverse math in physics - Thu Sep 16 02:06:51 1999 -
**Stephen G Simpson**- FOM: an application of reverse math to algebraic geometry - Thu Sep 16 08:18:38 1999 -
**Vaughan Pratt**- Re: FOM: Application of reverse maths to theoretical physics - Thu Sep 16 12:22:50 1999 -
**Stephen G Simpson**- FOM: lectureships in mathematical logic at the U of Leeds - Thu Sep 16 18:27:55 1999 -
**Stephen G Simpson**- FOM: some administrative announcements - Thu Sep 16 21:29:41 1999 -
**Stephen G Simpson**- FOM: miniaturization - Thu Sep 16 23:46:23 1999 -
**Joe Shipman**- FOM: Church's thesis: reply to Pratt - Fri Sep 17 08:25:03 1999 -
**Vaughan Pratt**- Re: FOM: Church's thesis: reply to Pratt - Fri Sep 17 11:03:32 1999 -
**Harvey Friedman**- FOM: 59:Restricted summation:Pi-0-1 sentences - Fri Sep 17 11:03:57 1999 -
**Joe Shipman**- FOM: Church's Thesis - Fri Sep 17 16:37:03 1999 -
**Vaughan Pratt**- Re: FOM: Church's Thesis - Fri Sep 17 16:38:59 1999 -
**Kevin Davey**- Re: FOM: Church's Thesis - Sat Sep 18 10:44:15 1999 -
**Andrew Boucher**- FOM: Re: Application of reverse maths to theoretical physics - Sat Sep 18 12:31:23 1999 -
**Andrew Boucher**- FOM: Wrong version - Sat Sep 18 12:33:57 1999 -
**Andrew Boucher**- FOM: Re: Application of reverse maths to theoretical physics - Sat Sep 18 13:30:33 1999 -
**Harvey Friedman**- FOM: 60:Program A/Results - Sun Sep 19 21:18:00 1999 -
**JoeShipman**- Re: FOM: Re: Application of reverse maths to theoretical physics - Mon Sep 20 10:13:58 1999 -
**Joe Shipman**- FOM: Correction of typo - Mon Sep 20 10:28:50 1999 -
**Steve Stevenson**- FOM: The Status of Bayesian Statistics - Mon Sep 20 19:16:09 1999 -
**Stephen Fenner**- Re: FOM: Church's Thesis - Mon Sep 20 19:40:34 1999 -
**Vaughan Pratt**- Re: FOM: Church's Thesis - Mon Sep 20 22:54:33 1999 -
**David Ross**- FOM: Constructive v. Nonstandard Analysis, and rapprochement - Tue Sep 21 13:51:16 1999 -
**Ketland,JJ**- FOM: Maths from physics - Tue Sep 21 17:29:35 1999 -
**Joe Shipman**- FOM: Maths from physics: reply to Ketland - Wed Sep 22 20:59:53 1999 -
**Alexander Zenkin**- FOM: Visual Mirror-Like Proofs. - Sun Sep 26 23:00:00 1999 -
**Jan Mycielski**- Re: FOM: miniaturization - Mon Sep 27 15:01:54 1999 -
**Martin Davis**- FOM: Jan Mycielski's vs Harvey Friedman's use of large cardinals - Wed Sep 29 13:44:11 1999 -
**Harvey Friedman**- FOM: 61:Finitist proofs of conservation

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

Mail converted by

`MHonArc`

2.4.3