March 2006 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Wed Mar 1 01:11:28 EDT 2006
Ending: Fri Mar 31 18:12:52 EDT 2006
Messages: 208

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

Last message date: Fri Mar 31 18:12:52 EDT 2006
Archived on: Sat Apr 1 19:17:46 EDT 2006

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...