science.mathematics.fom (thread)

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