science.mathematics.fom (thread)

Re Question for Gabriel Stolzenberg, Gabriel Stolzenberg
n(3) < Graham's number < n(4) < TREE[3], Harvey Friedman
- Message not available
  - feasible numbers (WAS: n(3) < Graham's number < n(4) < TREE[3]), hendrik-e9JHxFxFq/nmOAo1QFYKGQ
    - Message not available
    - Re: feasible numbers (WAS: n(3) < Graham's number < n(4) < TREE[3]), Vladimir Sazonov
Re Harvey Friedman's "Sigma01/optimal" 24 Mar (II), Gabriel Stolzenberg
Re Harvey Friedman's "Sigma01/optimal" 24 Mar (I), Gabriel Stolzenberg
- Message not available
  - Re: Re Harvey Friedman's "Sigma01/optimal" 24 Mar (I), Harvey Friedman
Re: 273:Sigma01/optimal/size, Timothy Y. Chow
refs on feasible realisability, Mirco Mannucci
- Re: refs on feasible realisability, Vladimir Sazonov
on Bas Spitters on "constructive impredicativity?", Gabriel Stolzenberg
- Message not available
  - Re: on Bas Spitters on "constructive impredicativity?", Bas Spitters
    - Message not available
    - Re: on Bas Spitters on "constructive impredicativity?", Gabriel Stolzenberg
    - Message not available
    - Re: on Bas Spitters on "constructive impredicativity?", Bas Spitters
    - Message not available
    - Re: on Bas Spitters on "constructive impredicativity?", Harvey Friedman
    - Message not available
    - Re: on Bas Spitters on "constructive impredicativity?", Harvey Friedman
    - Message not available
    - Re: on Bas Spitters on "constructive impredicativity?", Bas Spitters
- on Bas Spitters on "constructive impredicativity?", Nik Weaver
Big numbers - confusion, Harvey Friedman
Question for Gabriel Stolzenberg, Bill Taylor
Second Call for Papers -- Information-MFCSIT'06, Seda, Tony
About Harvey Friedman's "Classical/Constructive Arithmetic", Gabriel Stolzenberg
re re re Harvey on "a very exciting claim.", Gabriel Stolzenberg
- Message not available
  - Re: re re re Harvey on "a very exciting claim.", Harvey Friedman
PhD position, John Tucker
constructive impredicativity?, Gabriel Stolzenberg
- Message not available
  - Re: constructive impredicativity?, Bas Spitters
advances in busy beaver problem & auto thm proving, vznuri-ihVZJaRskl1bRRN4PJnoQQ
CfP "Rudolf Carnap", Bernd Buldt
re Harvey on "a very exciting claim.", Gabriel Stolzenberg
- Message not available
  - Re: re Harvey on "a very exciting claim.", Harvey Friedman
Workshop in Berlin "Towards a New Epistemology of Mathematics", Benedikt Loewe
Allen Hazen validated my perception, Gabriel Stolzenberg
recursion theory question, Harvey Friedman
ESCoR Workshop, Martin Davis
a correction to "on bill tait's answers to my questions (V)", Gabriel Stolzenberg
Conf: (Anti-)Realisms, Logic & Metaphysics, Manuel Rebuschi
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
on bill tait's answers to my questions (III), Gabriel Stolzenberg
Kruskal's theorem and predicativism, Nik Weaver
271:Clarification of Smith Article, Harvey Friedman
- Message not available
  - 272:Sigma01/optimal, Harvey Friedman
    - Message not available
    - 273:Sigma01/optimal/size, Harvey Friedman
- Re: 271:Clarification of Smith Article, Andreas Weiermann
  - Message not available
    - Graham's Number, Re: 271:Clarification of Smith Article, Andrew Aberdein
- Re: 271:Clarification of Smith Article, Timothy Y. Chow
- 271:Clarification of Smith Article, Andreas Weiermann
  - Message not available
    - Re: 271:Clarification of Smith Article, Harvey Friedman
- Re: 271:Clarification of Smith Article, Timothy Y. Chow
Reply to Eray re "No other object is X", Gabriel Stolzenberg
workshop: Kurt Gödel (Lille, France), Mark van Atten
PA and recursive saturation: correction, Jeremy Avigad
- Message not available
  - Re: PA and recursive saturation: correction, Harvey Friedman
on bill tait's answers to my questions (II), Gabriel Stolzenberg
- Message not available
  - Re: on bill tait's answers to GS's questions, A.P. Hazen
Strong forms of Gödel's incompletenewss theorem, Martin Davis
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
a very exciting claim, Gabriel Stolzenberg
- Message not available
  - Re: a very exciting claim, Eray Ozkural
    - Message not available
    - Re: a very exciting claim, Andrej Bauer
- Message not available
  - Re: a very exciting claim 1, Harvey Friedman
deflationism, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Re: Deflationism, A.S.Virdi-QBqurZHE+u5aa/9Udqfwiw
  - Message not available
    - Re: Deflationism, Neil Tennant
- Re: Deflationism, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Re: Deflationism, A.S.Virdi-QBqurZHE+u5aa/9Udqfwiw
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
Classical/Constructive Arithmetic, Harvey Friedman
- Message not available
  - Re: Classical/Constructive Arithmetic, Rob Arthan
- Message not available
  - Re: Classical/Constructive Arithmetic, Andrej Bauer
    - Message not available
    - Re: Classical/Constructive Arithmetic, Bas Spitters
    - Re: Classical/Constructive Arithmetic, S. Spijkerman / F. Waaldijk
    - Re: Classical/Constructive Arithmetic, Andrej Bauer
    - Re: Classical/Constructive Arithmetic, S. Spijkerman / F. Waaldijk
    - the role of local compactness, Stephen G Simpson
    - Re: Classical/Constructive Arithmetic, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
    - Re: Classical/Constructive Arithmetic, S. Spijkerman / F. Waaldijk
- Re: Classical/Constructive Arithmetic, Bill Taylor
  - Message not available
    - Re: Classical/Constructive Arithmetic, Harvey Friedman
- Re: Classical/Constructive Arithmetic, Timothy Y. Chow
- Re: Classical/Constructive Arithmetic, Bill Taylor
  - Message not available
    - Re: Classical/Constructive Arithmetic, Harvey Friedman
  - Message not available
    - Re: Classical/Constructive Arithmetic, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
- Re: Classical/Constructive Arithmetic, Timothy Y. Chow
Godel's First, Harvey Friedman
- Message not available
  - Re: Godel's First/corrected, Harvey Friedman
LFCS 2007, New York, first call for papers: for FOM posting, Sergei Artemov
name for an ordinal, Mark Lance
- Message not available
  - Re: name for an ordinal, Robert M. Solovay
NSM 2006 "NonStandard Methods and Applications in Mathematics", Martin Davis
Ask Dr. Bill, Gabriel Stolzenberg
- Message not available
  - Re: Ask Dr. Bill, William Tait
Gödel Centenary 2006 in Vienna, Martin Davis
3rd CFP LPAR 2006, Phnom Penh, SUBMISSION IS OPEN NOW, Miki Hermann
Harclay, Frege, Dean Buckner
seen this before?, Harvey Friedman
Latest additions to the Logic Museum, Dean Buckner
Re: multi-sorted logic, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- multi-sorted logic, Aldo Antonelli
  - Message not available
    - Re: multi-sorted logic, Richard Heck
  - Message not available
    - Re: multi-sorted logic, Arnon Avron
end of my response to Bill Tait's reply to "reading the bible with Bill", Gabriel Stolzenberg
- Message not available
  - Re: end of my response to Bill Tait's reply to "reading the bible with Bill", Andrej Bauer
Suarez on Proper Subsets and Actual Infinities, Dean Buckner
- Re: Suarez on Proper Subsets and Actual Infinities, John Baldwin
  - Re: Suarez on Proper Subsets and Actual Infinities, William Tait
HELP WITH ORDINAL NOTATIONS, laureano luna
- Message not available
  - Re: HELP WITH ORDINAL NOTATIONS, William Tait
Iterating under Con(T), Richard Heck
- Message not available
  - Re: Iterating under Con(T), joeshipman-YDxpq3io04c
    - Message not available
    - Re: Iterating under Con(T), Richard Heck
    - Message not available
    - Re: Iterating under Con(T), Alasdair Urquhart
    - Message not available
    - Re: Iterating under Con(T), Aatu Koskensilta
    - Message not available
    - Re: Iterating under Con(T), Richard Zach
    - Message not available
    - Re: Iterating under Con(T), hendrik-e9JHxFxFq/nmOAo1QFYKGQ
- Message not available
  - Re: Iterating under Con(T), Dmytro Taranovsky
- Iterating under Con(T), Nik Weaver
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
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
- Message not available
  - Re: PA and recursive saturation, Harvey Friedman
- PA and recursive saturation, Jeremy Avigad
- Re: PA and recursive saturation, A.S.Virdi-QBqurZHE+u5aa/9Udqfwiw
  - Message not available
    - Re: PA and recursive saturation, Neil Tennant
- Re: PA and recursive saturation, Jeremy Avigad
Relevant Logic, Andreas Weiermann
Re: NF anniversary conference in Cambridge, Thomas Forster
- Message not available
  - multi-sorted logic, abaker1-Mvf1E5Z1flgA+OwIx0YR/Q
    - Message not available
    - Re: multi-sorted logic, A.P. Hazen
    - Message not available
    - Re: multi-sorted logic, Richard Heck
Arithmetical statements that apply to cryptography and are undecidable in PA, Giovanni Lagnese
Tight and Loose Axiomatizations; Axiomatic Dimension, JoeShipman-YDxpq3io04c
- Message not available
  - Axiomatic Dimension (additional examples), joeshipman-YDxpq3io04c
strengths and weaknesses of Zermelo set theory, A.R.D.Mathias
Questions on axiomatizations of complete theories (fwd), John Baldwin
LPAR 2006, 2nd Call For Papers, Miki Hermann
"argument from authority in disguise" (reply to Eray Ozkural), Gabriel Stolzenberg
Questions on axiomatizations of complete theories, joeshipman-YDxpq3io04c
- Message not available
  - Re: Questions on axiomatizations of complete theories, H Z
reply to Panu's reply to my reply to his reply., Gabriel Stolzenberg
Re: relevant logic and paraconsistent logic, Joao Marcos
- Relevant logic and paraconsistent logic, A.P. Hazen
intuitionistic theories, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Tennant on relevant logic, A.P. Hazen
- Re: Tennant on relevant logic, Neil Tennant
  - Message not available
    - Re: Tennant on relevant logic, Neil Tennant
- Tennant on Relevant Logic, A.P. Hazen
  - Re: Tennant on Relevant Logic, Neil Tennant
More Descriptive FOM, A. Mani
- Message not available
  - The Category of Categories, and Sketches, Laurent Delattre
    - Message not available
    - Re: The Category of Categories, and Sketches, Andrej Bauer
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
- An alternative to the real numbers as a basis for physics, Ben Crowell
- Re: An alternative to the real numbers as a basis for physics, Gabriel Stolzenberg
About results Harvey Friedman, dorin alex
Tychonoff/choice, Harvey Friedman
- Message not available
  - Re: Tychonoff/choice, Andrej Bauer
- Re: Tychonoff/choice, Andrej Bauer
Coding in Z(F)C, Robert Smith
Weaker foundations for FLT, Colin McLarty
- Re: Weaker foundations for FLT, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
  - Message not available
    - Re: Weaker foundations for FLT, Harvey Friedman
- Re: Weaker foundations for FLT, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Must every proper class contain an infinite subset?, Johan Belinfante
- Message not available
  - Re: Must every proper class contain an infinite subset?, Harvey Friedman
PHINEWS Bulletin, February 2006 (plain text), vincent-lbH4SfjcqSk
re elevant logic and paraconsitent logic, Mark Lance
relevant logic and paraconsitent logic, Joseph Vidal-Rosset
- Re: relevant logic and paraconsitent logic, Richard Heck
- Re: relevant logic and paraconsitent logic, Edwin Mares
- Re: relevant logic and paraconsitent logic, Arnon Avron
  - Message not available
    - Re: relevant logic and paraconsistent logic, Neil Tennant
    - Message not available
    - Re: relevant logic and paraconsistent logic, Eray Ozkural
    - Message not available
    - Re: relevant logic and paraconsistent logic, Neil Tennant
    - Message not available
    - Re: relevant logic and paraconsistent logic, Arnon Avron
    - Message not available
    - Re: relevant logic and paraconsistent logic, Neil Tennant
    - Message not available
    - Re: relevant logic and paraconsistent logic, Joseph Vidal-Rosset
    - Re: relevant logic and paraconsistent logic, Katalin Bimbo
    - Message not available
    - Re: relevant logic and paraconsistent logic, Harvey Friedman
  - Message not available
    - Re: relevant logic and paraconsitent logic, A. Mani
- Re: relevant logic and paraconsitent logic, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
  - Message not available
    - Re: relevant logic and paraconsitent logic, Neil Tennant
Re: Proving FLT in ZF (was in PA), Harvey Friedman
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: Proli's Question about Set Theory, Aatu Koskensilta
Status of AC, Dung Nguyen
- Message not available
  - Re: Status of AC, Andrej Bauer
- Message not available
  - Re: Status of AC, joeshipman-YDxpq3io04c
    - Message not available
    - Re: Status of AC, Harvey Friedman
    - Message not available
    - Re: Status of AC, joeshipman-YDxpq3io04c
    - Message not available
    - Re: Status of AC, Harvey Friedman
    - Message not available
    - Re: Status of AC, joeshipman-YDxpq3io04c
    - Message not available
    - Re: Status of AC, Robert M. Solovay
- Status of AC, Andreas Blass
intuitions of logic in Helsinki and Cambridge, Gabriel Stolzenberg
- Re: intuitions of logic in Helsinki and Cambridge, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: predicative foundations, Robert M. Solovay
Proving FLT in PA, Ben Crowell
- Message not available
  - Re: Proving FLT in PA, joeshipman-YDxpq3io04c
- Message not available
  - Re: Proving FLT in ZF or PA, Harvey Friedman
- Re: Proving FLT in PA, Timothy Y. Chow
- Proving FLT in PA, Ben Crowell
- Re: Proving FLT in PA, Timothy Y. Chow
Re: Question about Set Theory as a formal basis for mathematics, John McCarthy
- Message not available
  - Re: Question about Set Theory as a formal basis for mathematics, Arnon Avron
No coding in ZC???, Arnon Avron
- Message not available
  - Re: No coding in ZC???, Harvey Friedman