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