science.mathematics.fom (date)

science.mathematics.fom (date)

March 31, 2006

Re Question for Gabriel Stolzenberg, Gabriel Stolzenberg
Re: on Bas Spitters on "constructive impredicativity?", Harvey Friedman
Re: on Bas Spitters on "constructive impredicativity?", Bas Spitters
Re: on Bas Spitters on "constructive impredicativity?", Bas Spitters
on Bas Spitters on "constructive impredicativity?", Nik Weaver
Re: on Bas Spitters on "constructive impredicativity?", Harvey Friedman

March 30, 2006

Re: feasible numbers (WAS: n(3) < Graham's number < n(4) < TREE[3]), Vladimir Sazonov
Re: on Bas Spitters on "constructive impredicativity?", Gabriel Stolzenberg
Re: on Bas Spitters on "constructive impredicativity?", Bas Spitters
feasible numbers (WAS: n(3) < Graham's number < n(4) < TREE[3]), hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Re: Re Harvey Friedman's "Sigma01/optimal" 24 Mar (I), Harvey Friedman
Re: 271:Clarification of Smith Article, Harvey Friedman
Re: refs on feasible realisability, Vladimir Sazonov
n(3) < Graham's number < n(4) < TREE[3], Harvey Friedman
Re Harvey Friedman's "Sigma01/optimal" 24 Mar (II), Gabriel Stolzenberg
Re Harvey Friedman's "Sigma01/optimal" 24 Mar (I), Gabriel Stolzenberg
Re: 271:Clarification of Smith Article, Timothy Y. Chow

March 29, 2006

271:Clarification of Smith Article, Andreas Weiermann
Re: re re re Harvey on "a very exciting claim.", Harvey Friedman
Re: 273:Sigma01/optimal/size, Timothy Y. Chow
refs on feasible realisability, Mirco Mannucci
on Bas Spitters on "constructive impredicativity?", Gabriel Stolzenberg
Big numbers - confusion, Harvey Friedman
Question for Gabriel Stolzenberg, Bill Taylor
273:Sigma01/optimal/size, Harvey Friedman
Second Call for Papers -- Information-MFCSIT'06, Seda, Tony
Re: 271:Clarification of Smith Article, Timothy Y. Chow
About Harvey Friedman's "Classical/Constructive Arithmetic", Gabriel Stolzenberg
Graham's Number, Re: 271:Clarification of Smith Article, Andrew Aberdein
re re re Harvey on "a very exciting claim.", Gabriel Stolzenberg
PhD position, John Tucker
Re: constructive impredicativity?, Bas Spitters

March 28, 2006

Re: 271:Clarification of Smith Article, Andreas Weiermann

March 27, 2006

constructive impredicativity?, Gabriel Stolzenberg
advances in busy beaver problem & auto thm proving, vznuri-ihVZJaRskl1bRRN4PJnoQQ
Re: re Harvey on "a very exciting claim.", Harvey Friedman

March 26, 2006

CfP "Rudolf Carnap", Bernd Buldt
re Harvey on "a very exciting claim.", Gabriel Stolzenberg

March 25, 2006

Workshop in Berlin "Towards a New Epistemology of Mathematics", Benedikt Loewe
Allen Hazen validated my perception, Gabriel Stolzenberg
Re: Classical/Constructive Arithmetic, Timothy Y. Chow
recursion theory question, Harvey Friedman
Re: Classical/Constructive Arithmetic, S. Spijkerman / F. Waaldijk
272:Sigma01/optimal, Harvey Friedman
Re: Deflationism, A.S.Virdi-QBqurZHE+u5aa/9Udqfwiw
ESCoR Workshop, Martin Davis
Re: Godel's First/corrected, Harvey Friedman

March 24, 2006

a correction to "on bill tait's answers to my questions (V)", Gabriel Stolzenberg
Conf: (Anti-)Realisms, Logic & Metaphysics, Manuel Rebuschi
Re: Classical/Constructive Arithmetic, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Re: Classical/Constructive Arithmetic, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Computability in Europe 2006 - Call for Informal Presentations, S B Cooper
on bill tait's answers to my questions (V), Gabriel Stolzenberg
on bill tait's answers to my questions (IV), Gabriel Stolzenberg
Re: Classical/Constructive Arithmetic, Harvey Friedman
Re: PA and recursive saturation: correction, Harvey Friedman
on bill tait's answers to my questions (III), Gabriel Stolzenberg
the role of local compactness, Stephen G Simpson

March 23, 2006

Kruskal's theorem and predicativism, Nik Weaver
271:Clarification of Smith Article, Harvey Friedman
Reply to Eray re "No other object is X", Gabriel Stolzenberg
Re: Deflationism, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
workshop: Kurt Gödel (Lille, France), Mark van Atten
PA and recursive saturation: correction, Jeremy Avigad
Re: Classical/Constructive Arithmetic, S. Spijkerman / F. Waaldijk
Re: a very exciting claim, Andrej Bauer
Re: on bill tait's answers to GS's questions, A.P. Hazen
Re: Classical/Constructive Arithmetic, Bill Taylor
Re: Deflationism, Neil Tennant

March 22, 2006

Re: Deflationism, A.S.Virdi-QBqurZHE+u5aa/9Udqfwiw
Re: a very exciting claim 1, Harvey Friedman
on bill tait's answers to my questions (II), Gabriel Stolzenberg
Re: Classical/Constructive Arithmetic, Timothy Y. Chow
Re: a very exciting claim, Eray Ozkural
Re: Classical/Constructive Arithmetic, Harvey Friedman
Re: Iterating under Con(T), hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Re: Classical/Constructive Arithmetic, Andrej Bauer
Strong forms of Gödel's incompletenewss theorem, Martin Davis
Re: Classical/Constructive Arithmetic, Bill Taylor
on bill tait's answers to my questions (I), Gabriel Stolzenberg
ACL2 2006 Second Call for Papers, Martin Davis
Re: Virdi on Deflationism, Leon Horsten
Re: PA and recursive saturation, Jeremy Avigad
Re: Classical/Constructive Arithmetic, S. Spijkerman / F. Waaldijk
a very exciting claim, Gabriel Stolzenberg
deflationism, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Classical/Constructive Arithmetic, Bas Spitters
Re: PA and recursive saturation, Neil Tennant

March 20, 2006

Re: PA and recursive saturation, A.S.Virdi-QBqurZHE+u5aa/9Udqfwiw
Re: Classical/Constructive Arithmetic, Andrej Bauer

March 19, 2006

many/multi-sorted logic, John Tucker
NYC Logic Conference in memory of Stanley Tennenbaum, New York City April 7, 2006, Joel David Hamkins
reply to Andre Bauer re my March 10 response to Bill Tait, Gabriel Stolzenberg
Re: Classical/Constructive Arithmetic, Rob Arthan
Re: PA and recursive saturation, Harvey Friedman
Classical/Constructive Arithmetic, Harvey Friedman

March 18, 2006

Godel's First, Harvey Friedman
Re: relevant logic and paraconsistent logic, Harvey Friedman

March 17, 2006

Re: relevant logic and paraconsistent logic, Katalin Bimbo

March 16, 2006

LFCS 2007, New York, first call for papers: for FOM posting, Sergei Artemov
Re: name for an ordinal, Robert M. Solovay

March 15, 2006

Re: Ask Dr. Bill, William Tait
name for an ordinal, Mark Lance
NSM 2006 "NonStandard Methods and Applications in Mathematics", Martin Davis
Ask Dr. Bill, Gabriel Stolzenberg
Re: multi-sorted logic, Arnon Avron
Re: multi-sorted logic, Richard Heck

March 13, 2006

Gödel Centenary 2006 in Vienna, Martin Davis
3rd CFP LPAR 2006, Phnom Penh, SUBMISSION IS OPEN NOW, Miki Hermann
Harclay, Frege, Dean Buckner
multi-sorted logic, Aldo Antonelli
seen this before?, Harvey Friedman

March 12, 2006

Latest additions to the Logic Museum, Dean Buckner
Re: HELP WITH ORDINAL NOTATIONS, William Tait
Re: Suarez on Proper Subsets and Actual Infinities, William Tait
Re: Iterating under Con(T), Aatu Koskensilta
Re: multi-sorted logic, Richard Heck
Re: multi-sorted logic, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: multi-sorted logic, A.P. Hazen
multi-sorted logic, abaker1-Mvf1E5Z1flgA+OwIx0YR/Q
Iterating under Con(T), Nik Weaver
Re: end of my response to Bill Tait's reply to "reading the bible with Bill", Andrej Bauer
Re: Suarez on Proper Subsets and Actual Infinities, John Baldwin

March 11, 2006

end of my response to Bill Tait's reply to "reading the bible with Bill", Gabriel Stolzenberg
Re: Iterating under Con(T), Richard Zach
Suarez on Proper Subsets and Actual Infinities, Dean Buckner
Re: Iterating under Con(T), Alasdair Urquhart
Re: Iterating under Con(T), Dmytro Taranovsky
HELP WITH ORDINAL NOTATIONS, laureano luna

March 10, 2006

Re: Iterating under Con(T), Richard Heck
Re: Iterating under Con(T), joeshipman-YDxpq3io04c
PA and recursive saturation, Jeremy Avigad
Iterating under Con(T), Richard Heck
re reading the bible with Bill: hermenutics with Gabriel, Gabriel Stolzenberg
Logic Colloquium 2006 (Nijmegen NL): Call for Participation/Call for Contributed Talks, Herman Geuvers

March 09, 2006

CCA 2006, Second Call, Change of Date, Klaus Weihrauch
Music and Mathematics, Moreno Andreatta
a query about PRA, Robert Black
PA and recursive saturation, A.S.Virdi-QBqurZHE+u5aa/9Udqfwiw
Re: Tennant on Relevant Logic, Neil Tennant

March 08, 2006

Relevant Logic, Andreas Weiermann
Re: NF anniversary conference in Cambridge, Thomas Forster
Tennant on Relevant Logic, A.P. Hazen
Arithmetical statements that apply to cryptography and are undecidable in PA, Giovanni Lagnese

March 07, 2006

Axiomatic Dimension (additional examples), joeshipman-YDxpq3io04c
Tight and Loose Axiomatizations; Axiomatic Dimension, JoeShipman-YDxpq3io04c
strengths and weaknesses of Zermelo set theory, A.R.D.Mathias
Re: The Category of Categories, and Sketches, Andrej Bauer
Re: Questions on axiomatizations of complete theories, H Z
Questions on axiomatizations of complete theories (fwd), John Baldwin

March 06, 2006

Re: Tennant on relevant logic, Neil Tennant
Re: Tennant on relevant logic, Neil Tennant
LPAR 2006, 2nd Call For Papers, Miki Hermann
Re: relevant logic and paraconsistent logic, Neil Tennant
Relevant logic and paraconsistent logic, A.P. Hazen
The Category of Categories, and Sketches, Laurent Delattre
"argument from authority in disguise" (reply to Eray Ozkural), Gabriel Stolzenberg
Questions on axiomatizations of complete theories, joeshipman-YDxpq3io04c
reply to Panu's reply to my reply to his reply., Gabriel Stolzenberg
Re: An alternative to the real numbers as a basis for physics, Gabriel Stolzenberg
Re: relevant logic and paraconsistent logic, Joao Marcos
intuitionistic theories, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Weaker foundations for FLT, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Tennant on relevant logic, A.P. Hazen
An alternative to the real numbers as a basis for physics, Ben Crowell

March 04, 2006

More Descriptive FOM, A. Mani
Tychonoff and Choice, Andreas Blass
re relevant logic and paraconsistent, Mark Lance
An alternative to the real numbers as a basis for physics, joeshipman-YDxpq3io04c
Re: relevant logic and paraconsistent logic, Joseph Vidal-Rosset
Re: relevant logic and paraconsistent logic, Neil Tennant
About results Harvey Friedman, dorin alex
Re: relevant logic and paraconsitent logic, A. Mani
Re: relevant logic and paraconsistent logic, Arnon Avron
Re: Tychonoff/choice, Andrej Bauer
Re: Status of AC, joeshipman-YDxpq3io04c
Re: Weaker foundations for FLT, Harvey Friedman

March 03, 2006

Re: relevant logic and paraconsistent logic, Eray Ozkural
Re: Status of AC, Harvey Friedman
Re: relevant logic and paraconsitent logic, Neil Tennant

March 02, 2006

Re: relevant logic and paraconsistent logic, Neil Tennant
Re: Weaker foundations for FLT, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Status of AC, joeshipman-YDxpq3io04c
Re: Tychonoff/choice, Andrej Bauer
Re: relevant logic and paraconsitent logic, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: relevant logic and paraconsitent logic, Arnon Avron
Re: Status of AC, Robert M. Solovay
Tychonoff/choice, Harvey Friedman
Re: Status of AC, Harvey Friedman
Re: Must every proper class contain an infinite subset?, Harvey Friedman
Re: Status of AC, joeshipman-YDxpq3io04c
Re: Proving FLT in PA, Timothy Y. Chow
Re: Question about Set Theory as a formal basis for mathematics, Arnon Avron
Coding in Z(F)C, Robert Smith
Weaker foundations for FLT, Colin McLarty
Must every proper class contain an infinite subset?, Johan Belinfante
Re: relevant logic and paraconsitent logic, Edwin Mares
Proving FLT in PA, Ben Crowell
Re: relevant logic and paraconsitent logic, Richard Heck
PHINEWS Bulletin, February 2006 (plain text), vincent-lbH4SfjcqSk
re elevant logic and paraconsitent logic, Mark Lance

March 01, 2006

Re: Proving FLT in ZF or PA, Harvey Friedman
relevant logic and paraconsitent logic, Joseph Vidal-Rosset
Status of AC, Andreas Blass
Re: No coding in ZC???, Harvey Friedman
Re: Status of AC, Andrej Bauer
Re: Proving FLT in ZF (was in PA), Harvey Friedman
Re: Proving FLT in PA, joeshipman-YDxpq3io04c
Coding in Z(F)C; "Heavy-duty" axioms, joeshipman-YDxpq3io04c
Automorphisms of nonstandard reals, revisited, ali enayat
Re: A definition of an algorithm, Victor Makarov
Re: intuitions of logic in Helsinki and Cambridge, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Proli's Question about Set Theory, Aatu Koskensilta
Status of AC, Dung Nguyen
intuitions of logic in Helsinki and Cambridge, Gabriel Stolzenberg
Re: Proving FLT in PA, Timothy Y. Chow
Re: predicative foundations, Robert M. Solovay
Proving FLT in PA, Ben Crowell
Re: Question about Set Theory as a formal basis for mathematics, John McCarthy
No coding in ZC???, Arnon Avron

News | FAQ | advertise