July 1998 Archives by thread

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

Starting: Sun Jul 5 22:16:14 EDT 1998
Ending: Fri Jul 31 13:55:25 EDT 1998
Messages: 51

• FOM: new book: Subsystems of Second Order Arithmetic   Stephen G Simpson
• FOM: foundational significance of proof theory   Stephen G Simpson
• FOM: MSC abolishes Set Theory !!!   Stephen G Simpson
  • FOM: MSC abolishes Set Theory !!!   Alex
    • FOM: MSC abolishes Set Theory !!!   Stephen G Simpson
• FOM: MSC abolishes Set Theory !!!   Thomas Forster
  • FOM: MSC abolishes Set Theory !!!   Stephen G Simpson
• FOM: Set theory independent of foundations?   JOE SHIPMAN, BLOOMBERG/ SKILLMAN
• FOM: MSC abolishes Set Theory !!!   Thomas Forster
  • FOM: hostility toward f.o.m.   Stephen G Simpson
• FOM: administrative note; the 'right' proof   Stephen G Simpson
• FOM: Reasons for letting set theory keep its MSC classification   JOE SHIPMAN, BLOOMBERG/ SKILLMAN
  • FOM: non-foundational foundations?   Stephen G Simpson
• FOM: hostility toward f.o.m.   Thomas Forster
  • FOM: hostility toward f.o.m.   Stephen G Simpson
• FOM: proof theory and foundations   Jeremy Avigad
  • FOM: proof theory and foundations   Stephen G Simpson
  • FOM: structuralists; quasi-empiricists   Stephen G Simpson
• FOM: Re: your FOM posting on proof theory   Jeremy Avigad
• FOM: Craig Interpolation   Till Mossakowski
• FOM: Re: your FOM posting on proof theory   wtait at ix.netcom.com
• FOM: Math Reviews classification   Andreas Blass
• FOM: hostility toward f.o.m.   Thomas Forster
  • FOM: hostility toward f.o.m.   Stephen G Simpson
    • FOM: hostility toward f.o.m.   Doug McKay
• FOM: Math Reviews classification   Neil Tennant
• FOM: hostility toward f.o.m.   Neil Tennant
  • FOM: hostility toward f.o.m.   Stephen G Simpson
• FOM: hostility toward f.o.m.   Thomas Forster
• FOM: hostility toward f.o.m.   Thomas Forster
• FOM: proof theory and foundations   Colin McLarty
  • FOM: proof theory and foundations   Stephen G Simpson
• FOM: hostility toward f.o.m.   NOROP at hum.aau.dk
  • FOM: hostility toward f.o.m.   Stephen G Simpson
• FOM: hostility toward f.o.m.   Dan Halpern
  • FOM: hostility toward f.o.m.   Stephen G Simpson
    • FOM: a question of vocabulary   Adrian Mathias
  • FOM: hostility toward f.o.m.   tempodaperder
• FOM: Feferman's draft paper "Intuition vs Monsters"   Stephen G Simpson
  • FOM: Re: Feferman's draft paper "Intuition vs Monsters"   Solomon Feferman
    • FOM: Feferman's draft paper "Intuition vs Monsters"   Stephen G Simpson
• FOM: Hostility toward F.O.M.   JoeShipman at aol.com
• FOM: The Banality of Hostility to fom   Robert Tragesser
• FOM: hostility toward f.o.m.   Moshe' Machover
• FOM: Krauss   Moshe' Machover
• FOM: Mathematics, logic and the rational   Doug McKay
  • FOM: Mathematics, logic and the rational   Vladimir Sazonov
• FOM: 19:Long Sequences   Harvey Friedman
• FOM: Epochal Significance?   Harvey Friedman
• FOM: Reply to Simpson   Jeremy Avigad
  • FOM: proof-theoretic ordinals; core mathematics; Tymoczko   Stephen G Simpson

Last message date: Fri Jul 31 13:55:25 EDT 1998
Archived on: Fri Mar 11 12:48:07 EDT 2005

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