April 2001 Archives by thread

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

Starting: Mon Apr 2 03:32:30 EDT 2001
Ending: Mon Apr 30 21:00:17 EDT 2001
Messages: 30

FOM: 101:Turing Degrees/1 Harvey Friedman
- FOM: 102:Turing Degrees/2 Harvey Friedman
  - FOM: 104:Turing Degrees/3 Harvey Friedman
FOM: RE: Chaitin Raatikainen Panu A K
FOM: Contest Announcement (note rule changes) Joe Shipman
FOM: Hilbert's 24th problem teun at cs.vu.nl
FOM: RE: Chaitin hrant at arm.hpl.com
FOM: Re: Hilbert's 24th problem charles silver
- FOM: Re: Hilbert's 24th problem Stephen G Simpson
  - FOM: Re: Hilbert's 24th problem teun at cs.vu.nl
FOM: Re: 102:Turing Degrees/2 Jeffrey Ketland
- FOM: Re: 102:Turing Degrees/2 Harvey Friedman
FOM: IEEE Data Mining 2001: Call for Workshop Proposals Ning Zhong
FOM: 103:Hilbert's Program for Consistency Proofs/1 Harvey Friedman
FOM: Foundations of the Formal Sciences (FotFS) III Stephen G Simpson
FOM: Shelah Conference and Workshop Stephen G Simpson
FOM: LICS 2001, Call for Participation Stephen G Simpson
FOM: conference on logic programming etc Stephen G Simpson
FOM: Boolos on the Analyticity of HP Roger Bishop Jones
FOM: Does Shapiro's ZFC2 need a small cardinal axiom? Roger Bishop Jones
- FOM: Does Shapiro's ZFC2 need a small cardinal axiom? Robert Black
FOM: Ill-founded sets hit rock bottom Roger Bishop Jones
FOM: 105:Turing Degrees/4 Harvey Friedman
FOM: Braille text query A.P. Hazen
- FOM: Palpable Point Pixel device Neil Tennant
FOM: Bayes and Boole. Steve Stevenson
FOM: finite axiomatization and conservative extension Neil Tennant
- FOM: Re: finite axiomatization and conservative extension Neil Tennant
FOM: Offer of offprints Neil Tennant
FOM: finite axiomatization and conservative extension Thomas Forster

Last message date: Mon Apr 30 21:00:17 EDT 2001
Archived on: Fri Mar 11 12:49:18 EDT 2005

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

This archive was generated by Pipermail 0.09 (Mailman edition).