August 2002 Archives by thread

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

Starting: Thu Aug 1 04:39:15 EDT 2002
Ending: Sat Aug 31 15:14:23 EDT 2002
Messages: 61

FOM: Question: Aximoatizing PA-rnt and EL(c)-rft Peter Lietz
FOM: an online survey of CAs vznuri at earthlink.net
FOM: Date: Mon, 5 Aug 2002 19:32:01 -0500 abuchan at mail.unomaha.edu
FOM: cardinals in ZFC fragments Harvey Friedman
- FOM: cardinals in ZFC fragments Rupert McCallum
- FOM: cardinals in ZFC fragments Rupert McCallum
- FOM: cardinals in ZFC fragments Adrian-Richard-David Mathias
FOM: more juicy CA refs.. free online!! vznuri at earthlink.net
FOM: Primality is in P Piyush P Kurur
- FOM: Primality is in P Anatoly Vorobey
- FOM: Re: Primality is in P Robin Houston
FOM: cardinals in ZFC fragments Kanovei
FOM: P time primality proof vznuri at earthlink.net
FOM: Cardinals in ZFC fragments A.P. Hazen
- FOM: Cardinals in ZFC fragments Adrian-Richard-David Mathias
- FOM: A slip comes to light Adrian-Richard-David Mathias
FOM: Death of Edsger Dijkstra Steve Stevenson
FOM: AKS primality algorithm makes NYT vznuri at earthlink.net
FOM: on subs and witticism a at basecamp (+oo) 39 339 454 7204 reply to palma at gmx.co.uk
FOM: CAs as mappings from reals to reals vznuri at earthlink.net
FOM: 155:A way out Harvey Friedman
FOM: 156:Societies Harvey Friedman
FOM: 157:Finite societies Harvey Friedman
- FOM: RE: 157:Finite societies Matt Insall
FOM: 1-1 correspondence Dean Buckner
- FOM: 1-1 correspondence Ayan Mahalanobis
FOM: Truth for Sentence Tokens Sandy Hodges
- FOM: Truth for Sentence Tokens Till Mossakowski
FOM: RE: 1-1 correspondence Dennis E. Hamilton
FOM: Re: 1-1 corespondence A.P. Hazen
- FOM: The Liar charles silver
  - FOM: The Liar Till Mossakowski
  - FOM: The Liar Neil Tennant
    - FOM: The Liar Dean Buckner
FOM: 1-1 correspondence (dancing partners) Dean Buckner
FOM: U Penn Rademacher Lectures September 17-20, 2002 Andre Scedrov
FOM: Truth for Sentence Tokens Sandy Hodges
FOM: new Model Theory text Dave Marker
- FOM: RE: new Model Theory text Duraid Madina
FOM: {n: n notin f(n)} Dean Buckner
- FOM: {n: n notin f(n)} Richard Heck
FOM: {n: n notin f(n)} ADDENDUM Richard Heck
FOM: {n: n notin f(n)} Dean Buckner
- FOM: {n: n notin f(n)} Chris Menzel
  - FOM: {n: n notin f(n)} - anaphora Dean Buckner
- FOM: {n: n notin f(n)} Richard Heck
  - FOM: {n: n notin f(n)} Harvey Friedman
FOM: 1-1 correspondence (failure of induction) Dean Buckner
FOM: Truth for sentence tokens Sandy Hodges
- FOM: Truth for sentence tokens Harvey Friedman
No subject Thomas Forster
FOM: Constructive analysis Steve Stevenson
- FOM: Constructive analysis Vladimir N.Krupski
- FOM: Constructive analysis Vladimir Komendantsky
FOM: Truth for sentence tokens Axiomize at aol.com
FOM: stepping down Stephen G Simpson
- FOM: stepping down Neil Tennant
FOM: Constructive analysis richman at acc.fau.edu
FOM: Re: Friedman 29 Aug 2002 David Isles
FOM: Anaphoric truth and living well Sandy Hodges
[FOM] test message Martin Davis

Last message date: Sat Aug 31 15:14:23 EDT 2002
Archived on: Fri Mar 11 12:49:41 EDT 2005

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

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