science.mathematics.fom (date)

science.mathematics.fom (date)

September 30, 2004

Knot theory puzzle, Thomas Forster
WHAT DO THE INTUITIONISTS CALL PEOPLE WHO SUBSCRIBE TO CLASSICAL LOGIC?, John Corcoran
Call for Papers: Special Issue M4M, Carlos Areces
Exponentiation and Goedel's incompleteness theorems (II), d . isles-Wuw85uim5zDR7s880joybQ
Re: Eliot Mendelson, Thomas Forster

September 28, 2004

Re: Eliot Mendelson, William Tait

September 27, 2004

LICS 2005: Call for Workshop Proposals, Vladik Kreinovich
ALC 2005, Vladik Kreinovich
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

September 16, 2004

moderator in Portugal, Martin Davis
Re: [FOThe meaning and use of Gentzen-type rules, Alessio Guglielmi
call for papers, L A C L 2 0 0 5

September 15, 2004

truth preservation of Gentzen rules?, Randall Holmes
BRT book, Harvey Friedman
Submission EUMAS open, Wiebe van der Hoek

September 14, 2004

Re: [FOThe meaning and use of Gentzen-type rules, Arnon Avron

September 13, 2004

POSTDOCTORAL POSITION at CLC Lisbon, Amilcar Sernadas
Re: formal verification of the prime number theorem, Timothy Y. Chow

September 11, 2004

Re: countable choice and the Banach-Tarski paradox, Ali Enayat
Announcement, Michael Detlefsen
Teneant, Avron, Constants, and Variables, A.P. Hazen

September 10, 2004

formal verification of the prime number theorem, Jeremy Avigad
Re: The rule of generalization in FOL, Arnon Avron
Tennant's (Prawitz's) rule of generalization, Michael Kremer
chow and avron on generalization in the sequent calculus, Michael Kremer
Re: The rule of generalization in FOL, Neil Tennant

September 09, 2004

RE: The rule of generalization in FOL, and pseudo-theorems, Victor Makarov
Re: The rule of generalization in FOL, Timothy Y. Chow
A formal system which uses only sentences, Arnon Avron
Re: On Gödel's Enigmatic Footnote 48a, Jeffrey Ketland
Re: Re: The rule of generalization in FOL, Arnon Avron
Re: Re: The rule of generalization in FOL, Stephen Cook
question about Cook and Gentzen, Michael Kremer

September 08, 2004

"Global" versus "local" dimensions in logic, Joao Marcos
Re: The rule of generalization in FOL, Timothy Y. Chow
Re: The rule of generalization in FOL, Arnon Avron
Re: Consistent logics with non-well-founded definitions?, Timothy Y. Chow
Re: Proof "from the book", Jeffrey Ketland
Re: The rule of generalization in FOL, Arnon Avron

September 07, 2004

systems that prove their own consistency, Michael Detlefsen
Re: The rule of generalization in FOL, and pseudo-theorems, Charles Parsons

September 06, 2004

Re: Proof "from the book", Aatu Koskensilta
Call for Papers: Special Issue M4M, Carlos Areces

September 05, 2004

Countable Choice, henriknordmark-ee4meeAH724
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
Re: Consistent logics with non-well-founded definitions?, Andrew Boucher
Consistent logics with non-well-founded definitions, A.P. Hazen
Consistent logics with non-well-founded definitions?, Bryan Ford
Re: Re: Reflection and the Lucas-Penrose Argument, Jeffrey Ketland
Re: WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S EVIDENCE, Timothy Y. Chow

September 04, 2004

Re: The rule of generalization in FOL, and pseudo-theorems, Neil Tennant
FROM "Laura Elena Morales Gro." <lemg-xu5SwJMA4QAcMAL/gngPTw@xxxxxxxxxxxxxxxx> Re: WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S EVIDENCE, Martin Davis
Re: Proof "from the book", Jeffrey Ketland
Re: The rule of generalization in FOL, and pseudo-theorems, Richard Zach
Freiling's axioms, John McCarthy
Re: Reflection and the Lucas-Penrose Argument, Timothy Y. Chow
Re: ``PA is consistent'' - Was Re: Proof "from the book", Aatu Koskensilta
Re: ``PA is consistent'' - Was Re: Proof "from the book", Michael Kremer

September 03, 2004

Reflection and the Lucas-Penrose Argument, Jeffrey Ketland
Re: WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S EVIDENCE AGAINST THE CONTINUUM HYPOTHESIS?, Moses Klein
Re: ``PA is consistent'' - Was Re: Proof "from the book", Robert M. Solovay

September 02, 2004

Re: WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S EVIDENCE AGAINST THE CONTINUUM HYPOTHESIS?, Timothy Y. Chow
Proofs Without Syntax, Dominic Hughes
Re: Re: WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S EVIDENCE AGAINST THE CONTINUUM HYPOTHESIS?, Robert M. Solovay
``PA is consistent'' - Was Re: Proof "from the book", Matt Insall
Why do set theorists dislike Chris Freiling's evidence against the continuum hypothesis?, Alasdair Urquhart
Re: WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S EVIDENCE AGAINST THE CONTINUUM HYPOTHESIS?, Timothy Y. Chow
Re: The rule of generalization in FOL, and pseudo-theorems, Kai Brünnler
Re: WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S, Arnon Avron
WHY DO SET THEORISTS DISLIKE CHRIS FREILING'S EVIDENCE AGAINST THE CONTINUUM HYPOTHESIS?, John McCarthy

September 01, 2004

On Godel's Enigmatic Footnote 48a, Alasdair Urquhart
Re: The rule of generalization in FOL, and pseudo-theorems, Marcin Mostowski
BUFFALO LOGIC COLLOQUIUM, John Corcoran
Re: Proof "from the book", Aatu Koskensilta
Re: On Gödel's Enigmatic Footnote 48a, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Proof "from the book" (the last reply), Arnon Avron
Re: Proof "from the book", Jesse Alama
On Gödel's Enigmatic Footnote 48a, Jeffrey Ketland
Re: Proof "from the book", charles silver
Re:The rule of generalization in FOL, and pseudo-theorems, Alessio Guglielmi
Re: Proof "from the book", Timothy Y. Chow

News | FAQ | advertise