June 2003 Archives by thread

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

Starting: Sun Jun 1 01:28:19 EDT 2003
Ending: Mon Jun 30 22:59:51 EDT 2003
Messages: 256

• [FOM] Query for Martin Davis. was:truth and consistency   Bill Taylor
  • [FOM] Query for Martin Davis. was:truth and consistency   Roger Bishop Jones
  • [FOM] Query for Martin Davis. was:truth and consistency   Vladimir Sazonov
    • [FOM] Query for Martin Davis. was:truth and consistency   Robin Adams
      • [FOM] Query for Martin Davis. was:truth and consistency   Vladimir Sazonov
      • [FOM] Query for Martin Davis. was:truth and consistency   Robin Adams
      • [FOM] Query for Martin Davis. was:truth and consistency   Vladimir Sazonov
• [FOM] Davis's honor Roll   A.P. Hazen
  • [FOM] Davis's honor Roll   William Tait
• [FOM] truth and consistency   Charles Parsons
  • [FOM] truth and consistency   Martin Davis
    • [FOM] truth and consistency   Charles Parsons
  • [FOM] truth and consistency   Thomas Forster
• [FOM] Non-Arithmetical "Godel" Incompleteness.   Steve Newberry
• [FOM] Devlin on incorrect proofs   JoeShipman at aol.com
  • [FOM] Devlin on incorrect proofs   Neil Tennant
    • [FOM] Devlin on incorrect proofs   Jasper Stein
• [FOM] Truth and Consistency   Lucas Wiman
  • [FOM] Truth and Consistency   Neil Tennant
    • [FOM] Truth and Consistency   mjmurphy
• [FOM] Paul Levy 1926   Karlis Podnieks
• [FOM] Maximal Principle in Arithmetic   Harvey Friedman
• [FOM] Is ZFC consistent?   Harvey Friedman
  • [FOM] Is ZFC consistent?   Mark Steiner
• [FOM] translations of quotes from Karlis Podnieks' recentposting   Martin Davis
• [FOM] Godel numbers, use, and mention   Sandy Hodges
• [FOM] Godel numbers, use, and mention   Hartley Slater
• [FOM] Did Gödel believe V=L?   A.P. Hazen
• [FOM] Query for Martin Davis. was:truth and consistency   Bill Taylor
  • [FOM] Query for Martin Davis. was:truth and consistency   Vladimir Sazonov
    • [FOM] To Vladimir Sazonov and others doubting the unambiguity of N   Aatu Koskensilta
      • [FOM] To Vladimir Sazonov and others doubting the unambiguity of N   Vladimir Sazonov
      • [FOM] To Vladimir Sazonov and others doubting the unambiguity of N   Lucas Wiman
      • [FOM] To Vladimir Sazonov and others doubting the unambiguity of N   Aatu Koskensilta
      • [FOM] To Vladimir Sazonov and others doubting the unambiguity ofN   Vladimir Sazonov
      • [FOM] To Vladimir Sazonov and others doubting the unambiguity of N   Aatu Koskensilta
      • [FOM] To Vladimir Sazonov and others doubting the unambiguityof N   Vladimir Sazonov
      • [FOM] To Vladimir Sazonov and others doubting the unambiguityof N   Aatu Koskensilta
      • [FOM] To Vladimir Sazonov and others doubting the unambiguity of N   Karlis Podnieks
• [FOM] Davis's honor Roll   praatika at mappi.helsinki.fi
  • [FOM] Davis's honor Roll   William Tait
    • [FOM] Davis's honor Roll---a correction   William Tait
• [FOM] On the decision problem for fragments of set theory   Franco Parlamento
• [FOM] 174:Directly Honest 2nd Incompleteness   Harvey Friedman
  • [FOM] 174:Directly Honest 2nd Incompleteness   Andrej Bauer
    • [FOM] 174:Directly Honest 2nd Incompleteness   Harvey Friedman
• [FOM] Godel numbers, use, and mention   Dean Buckner
  • [FOM] Godel numbers, use, and mention   mjmurphy
• [FOM] Semantical entailment between theories (to H. Friedman)   addamo at wp.pl
  • [FOM] Semantical entailment between theories (to H. Friedman)   Harvey Friedman
• [FOM] Applications of the Riemann hypothesis and the ABC conjecture to independence results   weiermann at math.uu.nl
• [FOM] N vs. FOL   Dana Scott
  • [FOM] N vs. FOL   Vladimir Sazonov
  • [FOM] N vs. FOL   Andrew Boucher
    • [FOM] N vs. FOL   Vladimir Sazonov
• [FOM] Godel numbers, use, and mention   Dean Buckner
  • [FOM] Leibniz's Law (Was: Goedel numbers, use, and mention)   Richard Heck
  • [FOM] Godel numbers, use, and mention   mjmurphy
    • [FOM] Godel numbers, use, and mention   Richard Heck
    • [FOM] Godel numbers, use, and mention   Dean Buckner
• [FOM] How to change the email address under which you've subscribed   Martin Davis
• [FOM] Godel numbers, use, and mention   Hartley Slater
• [FOM] Query for Martin Davis. was:truth and consistency   Bill Taylor
  • [FOM] Query for Martin Davis. was:truth and consistency   Vladimir Sazonov
• [FOM] On refusing to join clubs   Dean Buckner
• [FOM] virus in message purporting to come from Harvey   Martin Davis
• [FOM] Godel numbers, use, and mention   Dean Buckner
  • [FOM] Godel numbers, use, and mention   Richard Heck
    • [FOM] Godel numbers, use, and mention   mjmurphy
      • [FOM] Godel numbers, use, and mention   Richard Heck
      • [FOM] Godel numbers, use, and mention   Michael Zeleny
• [FOM] "Leibniz's Law"   Dean Buckner
  • [FOM] Re: "Leibniz's Law"   Richard Heck
    • [FOM] Re: "Leibniz's Law"   William Tait
      • [FOM] Re: "Leibniz's Law"   Dean Buckner
    • [FOM] Re: "Leibniz's Law"   Dean Buckner
      • [FOM] Re: "Leibniz's Law"   Richard Heck
• [FOM] "Leibniz's Law"   Jeffrey Ketland
• [FOM] Godel numbers, use, and mention   Hartley Slater
• [FOM] Godel numbers, use, and mention   mjmurphy
• [FOM] 175:Maximal Principle/Hilbert's Program   Harvey Friedman
• [FOM] Mathematical concepts and intensions   Aatu Koskensilta
• [FOM] Davis's honor Roll   praatika at mappi.helsinki.fi
• [FOM] Question about entailment between sentences belonging to different theories   addamo at wp.pl
  • [FOM] Question about entailment between sentences belonging to different theories   Richard Heck
    • [FOM] Question about entailment between sentences belongingto different theories   addamo at wp.pl
• [FOM] "not predicatively provable"   steve newberry
  • [FOM] "not predicatively provable"   Harvey Friedman
• [FOM] 176:Count Arithmetic   Harvey Friedman
  • [FOM] 176:Count Arithmetic   Neil Tennant
  • [FOM] 176:Count Arithmetic   Dean Buckner
• [FOM] ASL Annual Meeting   Alasdair Urquhart
  • [FOM] ASL Annual Meeting   Stephen G Simpson
    • [FOM] ASL Annual Meeting   Harvey Friedman
• [FOM] 177:Strict Reverse Mathematics 1   Harvey Friedman
• [FOM] Re: 176:Count Arithmetic   Harvey Friedman
  • [FOM] Re: 176:Count Arithmetic   Neil Tennant
    • [FOM] 176:Count Arithmetic   Dean Buckner
• [FOM] Re: 177:Strict Reverse Mathematics 1   Harvey Friedman
• [FOM] Re: "Leibniz's Law"   William Tait
• [FOM] Consistency of formal systems   Matt Insall
  • [FOM] Consistency of formal systems   William Tait
    • [FOM] Consistency of formal systems   Torkel Franzen
• [FOM] My FOM reviews   Harvey Friedman
• [FOM] FOM: Zilber's Program   Dave Marker
• [FOM] June 2003 issue of the BSL   Alasdair Urquhart
  • [FOM] June 2003 issue of the BSL   Todd Wilson
    • [FOM] June 2003 issue of the BSL   Andre Scedrov
  • [FOM] June 2003 issue of the BSL   David J. Pym
• [FOM] My FOM reviews   Harvey Friedman
• [FOM] Satisfies   Peter Tenriffe
• [FOM] Count Arithmetic   Bill Taylor
  • [FOM] Count Arithmetic   Harvey Friedman
• [FOM] Query for Martin Davis. was:truth and consistency   Bill Taylor
• [FOM] Consistency of formal systems   Richard Zach
  • [FOM] Consistency of formal systems   Torkel Franzen
    • [FOM] Progressions of theories (was: Consistency of formal systems)   Richard Zach
• [FOM] 178:Diophantine Shift Sequences   Harvey Friedman
  • [FOM] 179:Polynomial Shift Sequences/Correction   Harvey Friedman
• [FOM] Mismatch   Alessio Guglielmi
  • [FOM] About linear logic (was Re:Mismatch)   Alessio Guglielmi
    • [FOM] Theory of Actual Proofs   Harvey Friedman
      • [FOM] Theory of Actual Proofs   Neil Tennant
      • [FOM] Theory of Actual Proofs   Harvey Friedman
      • [FOM] Theory of Actual Proofs   Mark Steiner
• [FOM] Query for Martin Davis. was:truth and consistency   Bill Taylor
  • [FOM] Query for Martin Davis. was:truth and consistency   Aatu Koskensilta
  • [FOM] Query for Martin Davis. was:truth and consistency   Vladimir Sazonov
• [FOM] My Review List   Harvey Friedman
• [FOM] Mismatch   Harvey Friedman
• [FOM] Advanced systems programming and the consistency of PA^{2}   Peter Apostoli
  • [FOM] Advanced systems programming and the consistency of PA^{2}   Robert Black
• [FOM] Re: FOM: Zilber's Program   Everdell at aol.com
• [FOM] 180:Provable Functions of PA   Harvey Friedman
  • [FOM] 180:Provable Functions of PA   William Tait
    • [FOM] 180:Provable Functions of PA   William Tait
      • [FOM] 180:Provable Functions of PA   Harvey Friedman
      • [FOM] 180:Provable Functions of PA   William Tait
• [FOM] Count Calculus   Harvey Friedman
• [FOM] Girard's new program   Alasdair Urquhart
• [FOM] Girard's new program   Andre Scedrov
• [FOM] To Vladimir Sazonov and others doubting the unambiguity of N   Aatu Koskensilta
• [FOM] Re: Progressions of theories (was: Consistency of formal systems)   Torkel Franzen
  • [FOM] Re: Progressions of theories (was: Consistency of formal systems)   Richard Zach
    • [FOM] Re: Progressions of theories (was: Consistency of formal systems)   Torkel Franzen
• [FOM] Girard's new program   Alasdair Urquhart
  • [FOM] Girard's new program   Alessio Guglielmi
  • [FOM] Girard's new program   aa at post.tau.ac.il
• [FOM] the essences of (nonclassical) logics (it was: mismatch)   giovanni sambin
  • [FOM] the essences of (nonclassical) logics (it was: mismatch)   Alessio Guglielmi
• [FOM] Count Calculus   Dean Buckner
• [FOM] Re: Progressions of theories (was: Consistency of formal systems)   Richard Zach
  • [FOM] Re: Progressions of theories (was: Consistency of formal systems)   Torkel Franzen
• [FOM] RE: FOM Digest, Consistency of Formal Theories   Matt Insall
• [FOM] 181:Strict Reverse Mathematics 2   Harvey Friedman
• [FOM] Mathematical Experiments.   Bill Taylor
  • [FOM] Mathematical Experiments.   Dan Goodman
• [FOM] real numbers   Andreas Blass
  • [FOM] real numbers   Neil Tennant
    • [FOM] real numbers/flexible set theory   Harvey Friedman
• [FOM] Mathematical Experiments.   Bill Taylor
  • [FOM] Mathematical Certainty?   Harvey Friedman
    • [FOM] Mathematical Certainty?   Dan Goodman
    • [FOM] Solution (?) to Mathematical Certainty Problem   Harvey Friedman
      • [FOM] Solution (?) to Mathematical Certainty Problem   Roger Bishop Jones
      • [FOM] Solution (?) to Mathematical Certainty Problem   Freek Wiedijk
      • [FOM] Solution (?) to Mathematical Certainty Problem   Steve Newberry
    • [FOM] Mathematical Certainty?   Roger Bishop Jones
• [FOM] real numbers   Kanovei
  • [FOM] real numbers   Andreas Blass
• [FOM] RE: Experimental mathematics   David Corfield
• [FOM] Ludics:   Thomas Forster
• [FOM] Re: Consistency of Formal Theories   Richard Zach
• [FOM] Mathematical Certainty?   Miguel A. Lerma
• [FOM] Mathematical Aesthetics   Wei Zhao
• [FOM] CATEGORICITY and STRONGLY MINIMAL SETS   John T. Baldwin
  • [FOM] CATEGORICITY and STRONGLY MINIMAL SETS   Harvey Friedman
    • [FOM] CATEGORICITY and STRONGLY MINIMAL SETS   Richard Zach
• [FOM] Friedman's Simplified Foundations   Sandy Hodges
• [FOM] retaining "certainty"   Martin Davis
• [FOM] Responses re Certainty, Simplified Foundations   Harvey Friedman
• [FOM] Certainty of formal proofs   Rene Vestergaard
  • [FOM] Certainty of formal proofs   Harvey Friedman
• [FOM] 182:Ideas in Proof Checking 1   Harvey Friedman
  • [FOM] 182:Ideas in Proof Checking 1   Michael Thayer
    • [FOM] 182:Ideas in Proof Checking 1   Roger Bishop Jones
• [FOM] Solution (?) to Mathematical Certainty Problem   Harvey Friedman
  • [FOM] Solution (?) to Mathematical Certainty Problem   Robbie Lindauer
    • [FOM] Solution (?) to Mathematical Certainty Problem   Harvey Friedman
      • [FOM] Solution (?) to Mathematical Certainty Problem   Robbie Lindauer
      • [FOM] Solution (?) to Mathematical Certainty Problem   Harvey Friedman
      • [FOM] Solution (?) to Mathematical Certainty Problem   Robbie Lindauer
      • [FOM] Solution (?) to Mathematical Certainty Problem   Harvey Friedman
      • [FOM] Solution (?) to Mathematical Certainty Problem   Robbie Lindauer
      • [FOM] Solution (?) to Mathematical Certainty Problem   mjmurphy
      • [FOM] Solution (?) to Mathematical Certainty Problem   Robbie Lindauer
• [FOM] None   Michael Makkai
  • [FOM] None   Harvey Friedman
• [FOM] 183:Ideas in Proof Checking 2   Harvey Friedman
• [FOM] Re: Michael Makkai's programme   A.P. Hazen
• [FOM] Dan Goodman on proof checkers   A.P. Hazen
• [FOM] Choice sequences and excluded middle   William Tait
  • [FOM] Choice sequences and excluded middle   Giuseppina Ronzitti
    • [FOM] Choice sequences and excluded middle   William Tait
    • [FOM] Choice sequences and excluded middle   William Tait
  • [FOM] Choice sequences and excluded middle   Harvey Friedman
• [FOM] Re: Mathematical Experiments   Don Fallis
• [FOM] Minor result. New, or known to Cantor?   BillOrEllen
• [FOM] Mathematical Certainty?   David Corfield
• [FOM] 184:Ideas in Proof Checking 3   Harvey Friedman
  • [FOM] 185:Ideas in Proof Checking 4   Harvey Friedman
• [FOM] Re:Certainty (Ideas in Proof Checking)   William.Piper at colorado.edu
  • [FOM] Re:Certainty (Ideas in Proof Checking)   Harvey Friedman
• [FOM] Wolfram and intermediate degrees   John T. Baldwin
  • [FOM] Wolfram and intermediate degrees   Harvey Friedman
• [FOM] Re: Mathematical Experiments   Bill Taylor
  • [FOM] Re: Mathematical Experiments   Don Fallis
• [FOM] Re: A new foundation for abstract mathematics   Bill Taylor
• [FOM] Minor result. New, or known to Cantor?   Ignasi Jane
• [FOM] Mathematical Aesthetics   Sean C Stidd
• [FOM] Church's thesis and Bounded Arithmetic   addamo at wp.pl
  • [FOM] Church's thesis and Bounded Arithmetic   Vladimir Sazonov
• [FOM] One Real number   Dean Buckner
• [FOM] Wolfram and intermediate degrees   Harvey Friedman
• [FOM] the Continuum Hypothesis: where I stand.   Adrian-Richard-David Mathias
  • [FOM] Mathias on the Continuum Hypothesis.   Harvey Friedman
• [FOM] formalizing "trivialities"   Martin Davis
• [FOM] finite variable logics   John T. Baldwin
• [FOM] FOL as its own meta-language : Satisfies   Sandy Hodges
• [FOM] New Axioms(?)   Todd Eisworth (Math Fac)
  • [FOM] New Axioms(?)   Adrian-Richard-David Mathias
• [FOM] New Axioms(?)   Harvey Friedman
  • [FOM] New Axioms(?)   Karlis Podnieks
• [FOM] New Axioms(?)   Bill Taylor
• [FOM] Re: Mathematical Experiments   Bill Taylor
• [FOM] RE: FOM New Axioms   Matt Insall
  • [FOM] RE: FOM New Axioms   Ralph Hartley
    • [FOM] RE: FOM New Axioms   Matt Insall
      • [FOM] RE: FOM New Axioms   Todd Wilson
    • [FOM] RE: FOM New Axioms   E. Todd Eisworth
• [FOM] RE: FOM New Axioms   Matt Insall
• [FOM] RE: FOM New Axioms   Matt Insall
• [FOM] ZFC   Martin Davis
  • [FOM] ZFC   Harvey Friedman
• [FOM] Tim Gowers work (was: One Real Number)   Dean Buckner
• [FOM] Mathias on the Continuum Hypothesis   E. Todd Eisworth
• [FOM] Insall on GCH   E. Todd Eisworth
• [FOM] "x is Mortal" is Satisfied by Socrates   Sandy Hodges
• [FOM] CATEGORICITY and STRONGLY MINIMAL SETS   Harvey Friedman
• [FOM] choice sequences   Markus Van Atten
  • [FOM] choice sequences (addendum)   Markus Van Atten
  • [FOM] choice sequences (correction)   Markus Van Atten
• [FOM] RE: New Axioms   Matt Insall
• [FOM] Re: CATEGORICITY and STRONGLY MINIMAL SETS   Dave Marker
• [FOM] Re: Eisworth on Axiom of Infinity   A.P. Hazen
• [FOM] A ... cute? ... axiomatic system   A.P. Hazen

Last message date: Mon Jun 30 22:59:51 EDT 2003
Archived on: Fri Mar 11 12:50:09 EDT 2005

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