|
|
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 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 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 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 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
|
|