September 2004 Archives by thread

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

Starting: Wed Sep 1 02:29:51 EDT 2004
Ending: Thu Sep 30 10:04:39 EDT 2004
Messages: 85

• [FOM] Proof "from the book" (the last reply)   Arnon Avron
• [FOM] Proof "from the book"   Aatu Koskensilta
• [FOM] Re: The rule of generalization in FOL, and pseudo-theorems   Marcin Mostowski
• [FOM] Re: On Gödel's Enigmatic Footnote 48a   praatika at mappi.helsinki.fi
• [FOM] On Godel's Enigmatic Footnote 48a   Alasdair Urquhart
• [FOM] BUFFALO LOGIC COLLOQUIUM   John Corcoran
• [FOM] WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S EVIDENCE AGAINST THE CONTINUUM HYPOTHESIS?   John McCarthy
  • [FOM] WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S   Arnon Avron
  • [FOM] WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S EVIDENCE AGAINST THE CONTINUUM HYPOTHESIS?   Moses Klein
• [FOM] Re: The rule of generalization in FOL, and pseudo-theorems   Kai Brünnler
• [FOM] Re: WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S EVIDENCE AGAINST THE CONTINUUM HYPOTHESIS?   Timothy Y. Chow
  • [FOM] Re: WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S EVIDENCE AGAINST THE CONTINUUM HYPOTHESIS?   Robert M. Solovay
    • [FOM] Re: WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S EVIDENCE AGAINST THE CONTINUUM HYPOTHESIS?   Timothy Y. Chow
• ``PA is consistent'' - Was Re: [FOM] Proof "from the book"   Matt Insall
  • ``PA is consistent'' - Was Re: [FOM] Proof "from the book"   Robert M. Solovay
  • ``PA is consistent'' - Was Re: [FOM] Proof "from the book"   Aatu Koskensilta
• [FOM] Why do set theorists dislike Chris Freiling's evidence against the continuum hypothesis?   Alasdair Urquhart
• [FOM] Proofs Without Syntax   Dominic Hughes
• [FOM] Reflection and the Lucas-Penrose Argument   Jeffrey Ketland
  • [FOM] Re: Reflection and the Lucas-Penrose Argument   Timothy Y. Chow
• [FOM] The rule of generalization in FOL, and pseudo-theorems   Richard Zach
  • [FOM] The rule of generalization in FOL, and pseudo-theorems   Neil Tennant
    • [FOM] The rule of generalization in FOL   Arnon Avron
      • [FOM] The rule of generalization in FOL   Neil Tennant
      • [FOM] The rule of generalization in FOL   Arnon Avron
      • [FOM] Tennant's (Prawitz's) rule of generalization   Michael Kremer
  • [FOM] The rule of generalization in FOL, and pseudo-theorems   Charles Parsons
• ``PA is consistent'' - Was Re: [FOM] Proof "from the book"   Michael Kremer
• [FOM] Proof "from the book"   Jeffrey Ketland
  • [FOM] Proof "from the book"   Aatu Koskensilta
• [FOM] Freiling's axioms   John McCarthy
• [FOM] FROM "Laura Elena Morales Gro." <lemg@matem.unam.mx> Re: WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S EVIDENCE   Martin Davis
• [FOM] Re: WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S EVIDENCE   Timothy Y. Chow
• [FOM] Consistent logics with non-well-founded definitions?   Bryan Ford
  • [FOM] Consistent logics with non-well-founded definitions?   Andrew Boucher
  • [FOM] Countable Choice   henriknordmark at mac.com
• [FOM] Re: Reflection and the Lucas-Penrose Argument   Jeffrey Ketland
• [FOM] Consistent logics with non-well-founded definitions   A.P. Hazen
• [FOM] what prohibits AC--->CH? (was:: Re: WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S EVIDENCE)   Matt Insall
• [FOM] RE: Re: WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S EVIDENCE AGAINST THE CONTINUUM HYPOTHESIS?   Matt Insall
• [FOM] Call for Papers: Special Issue M4M   Carlos Areces
• [FOM] systems that prove their own consistency   Michael Detlefsen
• [FOM] The rule of generalization in FOL   Arnon Avron
• [FOM] Proof "from the book"   Jeffrey Ketland
• [FOM] Re: Consistent logics with non-well-founded definitions?   Timothy Y. Chow
• [FOM] Re: The rule of generalization in FOL   Timothy Y. Chow
  • [FOM] question about Cook and Gentzen   Michael Kremer
  • [FOM] Re: The rule of generalization in FOL   Stephen Cook
  • [FOM] Re: The rule of generalization in FOL   Arnon Avron
    • [FOM] Re: The rule of generalization in FOL   Timothy Y. Chow
• [FOM] "Global" versus "local" dimensions in logic   Joao Marcos
• [FOM] The rule of generalization in FOL, and pseudo-theorems   Victor Makarov
• [FOM] Re: On Gödel's Enigmatic Footnote 48a   Jeffrey Ketland
• [FOM] A formal system which uses only sentences   Arnon Avron
• [FOM] chow and avron on generalization in the sequent calculus   Michael Kremer
  • [FOM] Re: [FOThe meaning and use of Gentzen-type rules   Arnon Avron
    • [FOM] Re: [FOThe meaning and use of Gentzen-type rules   Alessio Guglielmi
• [FOM] formal verification of the prime number theorem   Jeremy Avigad
• [FOM] Teneant, Avron, Constants, and Variables   A.P. Hazen
• [FOM] Announcement   Michael Detlefsen
• [FOM] Re: countable choice and the Banach-Tarski paradox   Ali Enayat
• [FOM] Re: formal verification of the prime number theorem   Timothy Y. Chow
• [FOM] POSTDOCTORAL POSITION at CLC Lisbon   Amilcar Sernadas
• [FOM] Submission EUMAS open   Wiebe van der Hoek
• [FOM] BRT book   Harvey Friedman
• [FOM] truth preservation of Gentzen rules?   Randall Holmes
• [FOM] call for papers   L A C L 2 0 0 5
• [FOM] moderator in Portugal   Martin Davis
• [FOM] 220:Brand New Corrected Pi01 Statements   Harvey Friedman
• [FOM] Retraction   A.P. Hazen
• [FOM] ALC 2005   Vladik Kreinovich
• [FOM] Eliot Mendelson   Thomas Forster
  • [FOM] Eliot Mendelson   William Tait
    • [FOM] Eliot Mendelson   Thomas Forster
• [FOM] LICS 2005: Call for Workshop Proposals   Vladik Kreinovich
• [FOM] sequent calculus via algebraic logic   Randall Holmes
• [FOM] Godel's Theorems: An Introduction   Peter Smith
• [FOM] LaTeX for Logicians (for your grad students?)   Peter Smith
• [FOM] Summer School on Topos Theory (fwd)   Thomas Forster
• [FOM] METAMATHEMATICAL THEORIES, OBJEKTS AND MORPHISMS   Stanislav Barov
• [FOM] Exponentiation and Goedel's incompleteness theorems (II)   d.isles at comcast.net
• [FOM] Call for Papers: Special Issue M4M   Carlos Areces
• [FOM] WHAT DO THE INTUITIONISTS CALL PEOPLE WHO SUBSCRIBE TO CLASSICAL LOGIC?   John Corcoran
• [FOM] Knot theory puzzle   Thomas Forster
• [FOM] FOM: Re: comments on RT2 paper   Andreas Weiermann

Last message date: Thu Sep 30 10:04:39 EDT 2004
Archived on: Fri Mar 11 12:50:49 EDT 2005

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