March 2000 Archives by subject

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

Starting: Wed Mar 1 17:39:48 EDT 2000
Ending: Wed Mar 29 09:37:19 EDT 2000
Messages: 46

• FOM: RT(2,2) implies FS(2)   Jeff Hirst
• FOM: #86:Invariant Subspace Problem/fA not= U   Harvey Friedman
• FOM: 80:Boolean Relation Theory   Harvey Friedman
• FOM: 81:Finite Distribution   Harvey Friedman
• FOM: 82:Simplified Boolean Relation Theory   Harvey Friedman
• FOM: 83:Tame Boolean Relation Theory   Harvey Friedman
• FOM: 84:BRT/First Major Classification   Harvey Friedman
• FOM: 85:General Framework/BRT   Harvey Friedman
• FOM: a correction   holmes at catseye.idbsu.edu
• FOM: A dual view of foundations   Todd Wilson
• FOM: Answers to some questions of Shipman   Andrian-Richard-David Mathias
• FOM: Axioms for normal mathematicians   Joe Shipman
• FOM: BHK semantics for consequence?   Neil Tennant
• FOM: Category of ALL categories   Stephen G Simpson
• FOM: Category of ALL categories   Colin McLarty
• FOM: comments on Wilson's dual view of foundations   Stephen G Simpson
• FOM: comments on Wilson's dual view of foundations   Stephen G Simpson
• FOM: comments on Wilson's dual view of foundations   Thomas Forster
• FOM: comments on Wilson's dual view of foundations   Stephen G Simpson
• FOM: comments on Wilson's dual view of foundations   Thomas Forster
• FOM: comments on Wilson's dual view of foundations.   Erik Palmgren
• FOM: Completeness of Intuitionistic Logic   Harvey Friedman
• FOM: Completeness of Intuitionistic Logic   urquhart at urquhart.theory.toronto.edu
• FOM: Completeness of Intuitionistic Logic   Harvey Friedman
• FOM: Completeness of Intuitionistic Logic   Harvey Friedman
• FOM: Completeness of Intuitionistic Logic   Harvey Friedman
• FOM: Completeness of Intuitionistic Logic   Harvey Friedman
• FOM: Conference/Call for papers   Bernd Buldt
• FOM: defining ``mathematics''   Vladimir Sazonov
• FOM: f.o.m. for the general public   Stephen G Simpson
• FOM: forcing and Quine's NF   holmes at catseye.idbsu.edu
• FOM: Insall's questions re NF   holmes at catseye.idbsu.edu
• FOM: Invariant Subspace Problem   Harvey Friedman
• FOM: Invariant Subspace Problem   Harvey Friedman
• FOM: MK and Introspection   Harvey Friedman
• FOM: Orthogonal roles   Andrian-Richard-David Mathias
• FOM: Quine's NF   Matt Insall
• FOM: Re: Axioms for normal mathematicians   Harvey Friedman
• FOM: sad news about Jon Barwise   Stephen G Simpson
• FOM: Simpson on Russell's paradox for category theory   Robert M. Solovay
• FOM: Simpson on Russell's paradox for category theory   Stephen G Simpson
• FOM: Survery Results   James Robert Brown
• FOM: Survey/Constructibility/Issues   Harvey Friedman
• FOM: thanks to Simpson   holmes at catseye.idbsu.edu
• FOM: what is the view of sets in NF or NFU?   holmes at catseye.idbsu.edu
• Fwd: FOM: Re: Axioms for normal mathematicians   JoeShipman at aol.com

Last message date: Wed Mar 29 09:37:19 EDT 2000
Archived on: Fri Mar 11 12:48:53 EDT 2005

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