October 2000 Archives by thread

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

Starting: Mon Oct 2 15:49:11 EDT 2000
Ending: Tue Oct 31 18:30:09 EDT 2000
Messages: 85

FOM: standard framework Kanovei
FOM: standard framework Thomas Forster
FOM: determinate truth values, coherent pragmatism Joe Shipman
- FOM: Re: determinate truth values, coherent pragmatism Harvey Friedman
FOM: event at NYU - PROOF: a symposium Stephen G Simpson
FOM: Midwest PhilMath Workshop, December 9 Jeremy Avigad
FOM: Correction: Midwest PhilMath Workshop, December 9 Jeremy Avigad
FOM: CH and 2nd-order validity Roger Bishop Jones
- FOM: CH and 2nd-order validity Robert Black
- FOM: CH and 2nd-order validity John Mayberry
- FOM: CH and 2nd-order validity I Jane
FOM: CH and 2nd-order validity Thomas Forster
- FOM: CH and 2nd-order validity John Mayberry
FOM: CH and 2nd-order validity H. Enderton
FOM: CH and second-order Allen Hazen
FOM: brief question Thomas Forster
FOM: CH and 2nd-order validity Roger Bishop Jones
- FOM: Re: CH and 2nd-order validity Harvey Friedman
  - FOM: Re: CH and 2nd-order validity Roger Bishop Jones
    - FOM: Re: CH and 2nd-order validity John Steel
    - FOM: CH and 2nd-order validity Robert Black
    - FOM: CH and 2nd-order validity John Steel
    - FOM: CH and 2nd-order validity Robert Black
    - FOM: CH and 2nd-order validity John Steel
    - FOM: CH and 2nd-order validity Robert Black
    - FOM: Re: CH and 2nd-order validity Roger Bishop Jones
FOM: ANNOUNCEMENT MOHAMMAD SAL MOSLEHIAN
FOM: MAMLS meeting, Dec 1-2, nonstandard set theory Stephen G Simpson
FOM: Goedel Collected Works Alasdair Urquhart
- FOM: Goedel Collected Works Charles Parsons
FOM: theology Thomas Forster
- FOM: Re: theology Roger Bishop Jones
FOM: Goedel vols Thomas Forster
FOM: Re: CH and 2nd-order validity Harvey Friedman
FOM: Re: CH and 2nd-order validity Kanovei
FOM: CH and second-order logic William Tait
FOM: CH and 2nd-order validity Kanovei
- FOM: CH and 2nd-order validity Robert Black
FOM: CH and 2nd-order validity Kanovei
- FOM: CH and 2nd-order validity Robert Black
  - FOM: CH and 2nd-order validity Matt Insall
    - FOM: CH and 2nd-order validity Robert Black
FOM: Having truth-values William Tait
FOM: 95:Most Mathematically Normal Independence from PA? Harvey Friedman
FOM: Re: Having truth-values Roger Bishop Jones
FOM: On claiming that CH has a truth value Roger Bishop Jones
FOM: Position Available Iraj_Kalantari at ccmail.wiu.edu
FOM: Semantics and the problem of reference Jeffrey Ketland
- FOM: Semantics and the problem of reference Robert Black
FOM: FW: Semantics and the problem of reference Cristian Cocos
FOM: Goedel: truth and misinterpretations Kanovei
FOM: Re: Goedel: truth and misinterpretations Jeffrey Ketland
FOM: Goedel: truth and misinterpretations Torkel Franzen
FOM: Goedel: truth and misinterpretations Kanovei
- FOM: Goedel: truth and misinterpretations V. Sazonov
  - FOM: Goedel: truth and misinterpretations Torkel Franzen
    - FOM: Goedel: truth and misinterpretations V. Sazonov
    - FOM: Goedel: truth and misinterpretations Torkel Franzen
    - FOM: Goedel: truth and misinterpretations V. Sazonov
    - FOM: Goedel: truth and misinterpretations Torkel Franzen
FOM: Semantics and the problem of reference William Tait
FOM: Goedel: truth and misinterpretations Torkel Franzen
FOM: Semantics and the problem of reference Jeffrey Ketland
FOM: Goedel: truth and misinterpretations Kanovei
- FOM: Goedel: truth and misinterpretations Martin Davis
- FOM: Goedel: truth and misinterpretations Matt Insall
- FOM: Goedel: truth and misinterpretations Torkel Franzen
FOM: Goedel: truth and misinterpretations Kanovei
- FOM: Goedel: truth and misinterpretations Martin Davis
FOM: Goedel: truth and misinterpretations Kanovei
- FOM: Goedel: truth and misinterpretations Martin Davis
FOM: Goedel: truth and misinterpretations Kanovei
- FOM: Goedel: truth and misinterpretations Martin Davis
FOM: Goedel: truth and misinterpretations Kanovei
- FOM: Goedel: truth and misinterpretations Torkel Franzen
FOM: Goedel: truth and misinterpretations Kanovei
- FOM: Goedel: truth and misinterpretations Torkel Franzen
FOM: counterexamples (?) to FOM 94: Relative Completeness Matthew Frank
FOM: Relative Incompleteness of Q Jeffrey Ketland
FOM: true but not provable William Tait
- FOM: true but not provable Torkel Franzen
  - FOM: true but not provable Torkel Franzen
- FOM: true but not provable V. Sazonov
FOM: Goedel: truth and misinterpretations Kanovei
- FOM: Goedel: truth and misinterpretations Matt Insall

Last message date: Tue Oct 31 18:30:09 EDT 2000
Archived on: Fri Mar 11 12:49:07 EDT 2005

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

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