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