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

- Fri Dec 03 15:14:13 1999 -
**Jan Mycielski**- FOM: GCH for some cardinal nos. - Fri Dec 03 19:33:56 1999 -
**Iraj Kalantari**- FOM: Open Position - Sat Dec 04 15:24:46 1999 -
**Vladimir Sazonov**- FOM: GCH for some cardinal nos. - Sat Dec 04 17:33:53 1999 -
**Jan Mycielski**- FOM: Re: GCH for some cardinal nos. - Sat Dec 04 19:19:23 1999 -
**Vaughan Pratt**- Re: FOM: GCH for some cardinal nos. - Sat Dec 04 19:29:46 1999 -
**Richard Laver**- No Subject - Sun Dec 05 20:02:08 1999 -
**Stephen G Simpson**- FOM: NYC logic conference and panel discussion - Mon Dec 06 18:22:09 1999 -
**Stephen G Simpson**- FOM: NYC logic conference and panel discussion - Tue Dec 07 00:51:16 1999 -
**Sam Buss**- Re: FOM: NYC logic conference and panel discussion - Thu Dec 09 13:24:03 1999 -
**Matthew Frank**- FOM: NYC logic conference and panel discussion - Thu Dec 09 16:48:16 1999 -
**Vaughan Pratt**- Re: FOM: NYC logic conference and panel discussion - Fri Dec 10 09:05:51 1999 -
**Kanovei**- FOM: a phrase - Fri Dec 10 15:19:19 1999 -
**Harvey Friedman**- FOM: 71:Ackerman/Algebraic Geometry/1 - Fri Dec 10 21:49:42 1999 -
**Jan Mycielski**- FOM: Re: fom-digest V1 #245 - Sat Dec 11 05:47:06 1999 -
**Kanovei**- Re: FOM: Re: fom-digest V1 #245 - Sat Dec 11 05:49:50 1999 -
**Vaughan Pratt**- Re: FOM: Re: fom-digest V1 #245 - Sat Dec 11 10:54:06 1999 -
**Joseph Vidal-Rosset**- FOM: Realism, Conceptualism, Nominalism - Sun Dec 12 10:14:01 1999 -
**Harvey Friedman**- FOM: 72:New finite forms/large cardinals - Tue Dec 14 14:25:13 1999 -
**G. Aldo Antonelli**- FOM: Open Position - Mon Dec 20 11:21:49 1999 -
**Jan Mycielski**- FOM: Re: GCH for some cardinal nos. - Mon Dec 20 18:53:35 1999 -
**Jan Mycielski**- FOM: Re: GCH for some cardinal nos. - Tue Dec 21 11:04:48 1999 -
**Harvey Friedman**- FOM: 73:Hilbert's program wide open? - Tue Dec 21 16:04:21 1999 -
**Stephen G Simpson**- FOM: Hilbert's program and RCF - Tue Dec 21 17:05:21 1999 -
**Fernando Ferreira**- FOM: Some remarks on Friedman's 73 posting - Tue Dec 21 19:09:20 1999 -
**Stephen G Simpson**- FOM: speculations on the future of f.o.m. - Tue Dec 21 19:12:05 1999 -
**Stephen G Simpson**- FOM: defining ``mathematics'' - Wed Dec 22 19:28:25 1999 -
**Vaughan Pratt**- Re: FOM: defining ``mathematics'' - Wed Dec 22 19:31:50 1999 -
**Karlis Podnieks**- FOM: Re: defining ``mathematics'' - Wed Dec 22 19:33:32 1999 -
**Sam Buss**- FOM: defining "mathematics" - Wed Dec 22 19:37:03 1999 -
**Harvey Friedman**- FOM: 74:Reverse arithmetic beginnings - Wed Dec 22 19:43:15 1999 -
**Harvey Friedman**- Re: FOM: Hilbert's program and RCF - Tue Dec 28 11:17:21 1999 -
**Kanovei**- Re: FOM: Re: defining ``mathematics'' - Tue Dec 28 11:19:41 1999 -
**Matt Insall**- FOM: ``thoughts on the future of FOM'' - Tue Dec 28 11:30:09 1999 -
**Harvey Friedman**- FOM: Interpretability in Q - Tue Dec 28 11:36:39 1999 -
**Vladimir Sazonov**- Re: FOM: defining "mathematics" - Tue Dec 28 11:47:27 1999 -
**Karlis Podnieks**- Re: FOM: Re: defining ``mathematics'' - Tue Dec 28 12:15:37 1999 -
**Harvey Friedman**- FOM: NYC panel discussion/formalization - Tue Dec 28 12:17:13 1999 -
**Harvey Friedman**- FOM: NYC panel discussion/Separating Conjectures - Tue Dec 28 12:19:56 1999 -
**Harvey Friedman**- FOM: NYC logic conference/Wide Perspective - Tue Dec 28 12:25:05 1999 -
**Harvey Friedman**- FOM: ZFC orthodoxy/wider story - Tue Dec 28 14:56:10 1999 -
**Harvey Friedman**- FOM: Role of ZFC and logic in f.o.m. - Tue Dec 28 14:57:30 1999 -
**Harvey Friedman**- FOM: 75:Finite Reverse Mathematics - Tue Dec 28 14:57:57 1999 -
**Harvey Friedman**- FOM: 76:Finite set theories - Tue Dec 28 19:16:33 1999 -
**holmes**- FOM: this and that - Thu Dec 30 16:54:32 1999 -
**Jan Mycielski**- FOM: Definition of mathematics - Fri Dec 31 13:19:38 1999 -
**Samuel S. Kutler**- Re: FOM: Definition of mathematics - Fri Dec 31 13:20:10 1999 -
**Matt Insall**- FW: FOM: defining "mathematics" - Fri Dec 31 13:20:22 1999 -
**Vaughan Pratt**- Re: FOM: Definition of mathematics - Fri Dec 31 13:20:47 1999 -
**Matt Insall**- RE: FOM: defining "mathematics" - Fri Dec 31 13:23:05 1999 -
**JoeShipman**- FOM: response to Mycielski's definition of mathematics - Fri Dec 31 16:19:05 1999 -
**Stephen G Simpson**- FOM: fom hiatus

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

Mail converted by

`MHonArc`

2.4.3