February 2006 Archives by date

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

Starting: Wed Feb 1 08:07:20 EDT 2006
Ending: Tue Feb 28 23:11:48 EDT 2006
Messages: 441

• [FOM] LPAR 2006 call for papers   Miki Hermann
• [FOM] WRS06 1st call for paper   wrs06 at redstar.cs.pdx.edu
• [FOM] Least class that ...   giovanni sambin
• [FOM] paper on decision procedures for the reals   Jeremy Avigad
• [FOM] review of Tait's *Provenance of Pure Reason*   Jeremy Avigad
• [FOM] Axiom of Choice in Category Theory   Laurent Delattre
• [FOM] Feferman's natural well-ordering problem.   Bill Taylor
• [FOM] The irrelevance of Friedman's polemics and results   Arnon Avron
• [FOM] A new geometry (in Klein's sense)?   Giovanni Lagnese
• [FOM] Harvey Friedman and PD vs V=L   Martin Davis
• [FOM] The irrelevance of Friedman's polemics and results   hendrik at topoi.pooq.com
• [FOM] Feferman's natural well-ordering problem.   William Tait
• [FOM] The irrelevance of Friedman's polemics and results   John Steel
• [FOM] The irrelevance of Friedman's polemics and results   Eray Ozkural
• [FOM] polemics restricting methods   Harvey Friedman
• [FOM] hierarchy of methods   Harvey Friedman
• [FOM] The irrelevance of Friedman's polemics and results   John McCarthy
• [FOM] Axioms that imply AC   Andrej Bauer
• [FOM] mathematics as phenomena   Harvey Friedman
• [FOM] Extended deadline: ESSLLI Student Session 2006   Sophia Katrenko
• [FOM] Axioms that imply AC   Thomas Forster
• [FOM] Axioms that imply AC   William Tait
• [FOM] The irrelevance or its relevance   José Félix Costa
• [FOM] polemic, predicativism, and absolute certainty   Curtis Franks
• [FOM] The irrelevance or its relevance   Eray Ozkural
• [FOM] Duality Theorems and Set Theory +   A. Mani
• [FOM] Axioms that Imply AC   Robert Smith
• [FOM] Axiom of Choice in Category Theory   Laurent Delattre
• [FOM] Axioms that imply AC   Adam Kolany
• [FOM] FOM - reply to Haney and others   giovanni sambin
• [FOM] Feferman's natural well-ordering problem.   mario
• [FOM] The irrelevance of Friedman's polemics and results   Joseph Vidal-Rosset
• [FOM] Axioms that imply AC   Timothy Y. Chow
• [FOM] Axioms that imply AC   John Baldwin
• [FOM] Feferman's natural well-ordering problem.   William Tait
• [FOM] 266:Pi01/digraphs/unifying   Harvey Friedman
• [FOM] Axioms that imply AC   Andrej Bauer
• [FOM] The irrelevance of Friedman's polemics and results   Arnon Avron
• [FOM] RE Axioms that imply AC   John Bell
• [FOM] The irrelevance of Friedman's polemics and results   John Steel
• [FOM] predicative foundations?   Harvey Friedman
• [FOM] What would Weyl do?   Stephen Pollard
• [FOM] automorphisms of the hyperreals?   Ben Crowell
• [FOM] The irrelevance of Friedman's polemics and results   hendrik at topoi.pooq.com
• [FOM] Absolute truth vs. relative meaning and formal nature of mathematics   Vladimir Sazonov
• [FOM] Tolerance Principle   Arnon Avron
• [FOM] Predicativity and Certainty   Arnon Avron
• [FOM] Feferman's natural well-ordering problem.   Andreas Weiermann
• [FOM] polemic, predicativism, and absolute certainty   Timothy Y. Chow
• [FOM] Absolute truth vs. relative meaning and formal nature of mathematics   A. Mani
• [FOM] constructivism and physics   Steve Awodey
• [FOM] Tolerance Principle   Roger Bishop Jones
• [FOM] Predicativity and Certainty   Eray Ozkural
• [FOM] predicative foundations   Nik Weaver
• [FOM] constructivism and physics   John McCarthy
• [FOM] Tolerance Principle   Harvey Friedman
• [FOM] predicative foundations   Harvey Friedman
• [FOM] constructivism and physics   Jacques Carette
• [FOM] Tolerance Principle   Bill Taylor
• [FOM] Absolute truth vs. relative meaning and formal nature of mathematics   Harvey Friedman
• [FOM] Haney and Tait on intuitive sources of mathematics   Gabriel Stolzenberg
• [FOM] Tolerance Principle   Harvey Friedman
• [FOM] 267:Pi01/digraphs/progress   Harvey Friedman
• [FOM] Tolerance Principle   Roger Bishop Jones
• [FOM] Tolerance Principle   Thomas Forster
• [FOM] constructivism and physics   Bas Spitters
• [FOM] constructivism and physics   Jaap van Oosten
• [FOM] Least class that ...   Nik Weaver
• [FOM] CFP: Rationality and Knowledge Workshop   Carlos Areces
• [FOM] The irrelevance or its relevance   Ben Crowell
• [FOM] Feferman's natural well-ordering problem.   praatika at mappi.helsinki.fi
• [FOM] constructivism and physics   Charles Silver
• [FOM] Incorrect attribution   hendrik at topoi.pooq.com
• [FOM] What would Weyl do?   Harvey Friedman
• [FOM] Tolerance Principle   Joseph Vidal-Rosset
• [FOM] R: constructivism and physics   Antonino Drago
• [FOM] Tolerance Principle   Harvey Friedman
• [FOM] constructivism and physics   Neil Tennant
• [FOM] R: constructivism and physics   Todd Wilson
• [FOM] constructivism and physics   Harvey Friedman
• [FOM] Choice of new axioms 1   Harvey Friedman
• [FOM] Babbage 'Difference Engine' in Lego   José Félix Costa
• [FOM] constructivism and physics   Ben Crowell
• [FOM] Difference Engine   José Félix Costa
• [FOM] Tolerance Principle   Thomas Forster
• [FOM] The irrelevance or its relevance   Lasse Rempe
• [FOM] Absolute truth vs. relative meaning and formal nature of mathematics   Vladimir Sazonov
• [FOM] Tait on constructive mathematics   Gabriel Stolzenberg
• [FOM] Tolerance Principle   Randall Holmes
• [FOM] R: R: constructivism and physics   Antonino Drago
• [FOM] Difference Engine   praatika at mappi.helsinki.fi
• [FOM] Choice of new axioms 1   joeshipman at aol.com
• [FOM] Constructivism and physics; Absolute truth vs. relative meaning   joeshipman at aol.com
• [FOM] R: R: constructivism and physics   Alasdair Urquhart
• [FOM] Constructivism and physics   Alasdair Urquhart
• [FOM] constructivism and physics   Neil Tennant
• [FOM] constructivism and physics   Laura Elena Morales Guerrero
• [FOM] CFP: WORKSHOP ON LOGICS FOR RESOURCE BOUNDED AGENTS   Carlos Areces
• [FOM] constructivism and physics   Bas Spitters
• [FOM] Conference Announcement   Jeffrey Ketland
• [FOM] constructivism and physics   Neil Tennant
• [FOM] Re: Formal nature of mathematics   Dmytro Taranovsky
• [FOM] Haney and Tait on intuitive sources of mathematics   William Tait
• [FOM] Re: Choice of new axioms 1   Dmytro Taranovsky
• [FOM] Constructivism and physics; Absolute truth vs. relative meaning   joeshipman at aol.com
• [FOM] Formal nature of mathematics   Vladimir Sazonov
• [FOM] Choice of new axioms 1   Harvey Friedman
• [FOM] Re: Choice of new axioms 1   Harvey Friedman
• [FOM] Lengths of proofs 1   Harvey Friedman
• [FOM] constructivism and physics   dvanhorn at cems.uvm.edu
• [FOM] independence of RVM/attribution   Harvey Friedman
• [FOM] for harvey   Gabriel Stolzenberg
• [FOM] Choice of new axioms 1   Antonino Drago
• [FOM] constructivism and physics   Lew Gordeew
• [FOM] independence of RVM/attribution   joeshipman at aol.com
• [FOM] constructivism and physics (reply to Gordeew)   joeshipman at aol.com
• [FOM] constructivism and physics   Eray Ozkural
• [FOM] Choice of new axioms 1   John Baldwin
• [FOM] Choice of new axioms 1 (reply to Friedman)   Harvey Friedman
• [FOM] V = L mathematically   Harvey Friedman
• [FOM] predicative foundations   Nik Weaver
• [FOM] foundational philosophies and core mathematics   Nik Weaver
• [FOM] Choice of new axioms 1   Andrej Bauer
• [FOM] V = L mathematically/corrected   Harvey Friedman
• [FOM] Choice of new axioms 1 (reply to Friedman)   joeshipman at aol.com
• [FOM] Constructivism and physics   José Félix Costa
• [FOM] Difference Engine   José Félix Costa
• [FOM] CFP: FOCA - Formal Ontologies for Communicating Agents   Carlos Areces
• [FOM] Choice of new axioms 1   Eray Ozkural
• [FOM] foundational philosophies and core mathematics   Harvey Friedman
• [FOM] constructivism and physics (reply to Gordeew)   Lew Gordeew
• [FOM] Choice of new axioms 1 (reply to Friedman)   Eray Ozkural
• [FOM] Choice of new axioms 1   John Steel
• [FOM] Choice of new axioms 1   Jacques Carette
• [FOM] Choice of new axioms 1 (reply to Friedman)   joeshipman at aol.com
• [FOM] Difference Engine   A.P. Hazen
• [FOM] predicative foundations   Harvey Friedman
• [FOM] Choice of new axioms 1   Harvey Friedman
• [FOM] Choice of new axioms 1   praatika at mappi.helsinki.fi
• [FOM] Goedel Young Scholars' Competition - deadline 24 February, 2006   goedel2006 at logic.at
• [FOM] some references?   Saeed Salehi
• [FOM] Choice of new axioms 1   Andrej Bauer
• [FOM] Tolerance Principle   Lew Gordeew
• [FOM] Re: Choice of new axioms 1   Dmytro Taranovsky
• [FOM] constructivism and physics (reply to Gordeew)   Dmytro Taranovsky
• [FOM] Choice of new axioms 1   tulenhei at mappi.helsinki.fi
• [FOM] Tolerance Principle (re assertions made about Con(NF))   Randall Holmes
• [FOM] Difference Engine   Randall Holmes
• [FOM] some references?   John Steel
• [FOM] Choice of new axioms 1 (reply to Friedman)   Timothy Y. Chow
• [FOM] constructivism and physics   Timothy Y. Chow
• [FOM] Choice of new axioms 1   joeshipman at aol.com
• [FOM] predicative foundations   Robert M. Solovay
• [FOM] predicative foundations   Robert M. Solovay
• [FOM] some references?   joeshipman at aol.com
• [FOM] intuitionistic here, constructive there.   Gabriel Stolzenberg
• [FOM] BANNING impredicative mathematics   Nik Weaver
• [FOM] Tait on constructive mathematics   Mark van Atten
• [FOM] some references?   praatika at mappi.helsinki.fi
• [FOM] constructivism and physics   Ben Crowell
• [FOM] Existence property   Studtmann, Paul
• [FOM] workshop on "Effective content of ineffective proofs"   Martin Davis
• [FOM] Cut elimination in f.o. number theory   Hilbert Levitz
• [FOM] predicative foundations   Nik Weaver
• [FOM] The lure of the infinite   Martin Davis
• [FOM] Tolerance Principle (re assertions made about Con(NF))   Lew Gordeew
• [FOM] predicative foundations   Nik Weaver
• [FOM] Cut elimination in f.o. number theory   William Tait
• [FOM] predicative foundations   Kenny Easwaran
• [FOM] Tait on constructive mathematics   William Tait
• [FOM] BANNING impredicative mathematics   Harvey Friedman
• [FOM] predicative foundations   Harvey Friedman
• [FOM] predicative foundations   Nik Weaver
• [FOM] Difference Engine   José Félix Costa
• [FOM] Tait on constructive mathematics   Mark van Atten
• [FOM] predicative foundations   Aatu Koskensilta
• [FOM] The lure of the infinite   Nik Weaver
• [FOM] The lure of the infinite   praatika at mappi.helsinki.fi
• [FOM] Can someone give me an example of...   Giovanni Lagnese
• [FOM] Choice of new axioms 1   Andrej Bauer
• [FOM] predicative foundations   Stephen Pollard
• [FOM] The lure of the infinite   José Félix Costa
• [FOM] Choice of new axioms 1   Harvey Friedman
• [FOM] predicative foundations (Harvey Friedman)   mlink at math.bu.edu
• [FOM] Can someone give me an example of...   Andrej Bauer
• [FOM] The lure of the infinite   Harvey Friedman
• [FOM] Concerning Probability Measures   Harvey Friedman
• [FOM] The lure of the infinite   Isaac Malitz
• [FOM] Constructivism and physics   A.J. Franco de Oliveira
• [FOM] predicative foundations   Eray Ozkural
• [FOM] The lure of the infinite   Gabriel Stolzenberg
• [FOM] nonplatonistic impredicativity   Gabriel Stolzenberg
• [FOM] Can someone give me an example of...   Giovanni Lagnese
• [FOM] Concerning Probability Measures   Robert M. Solovay
• [FOM] Can someone give me an example of...   Andrej Bauer
• [FOM] a series of grammatical confusions   Gabriel Stolzenberg
• [FOM] constructivism and physics   Timothy Y. Chow
• [FOM] The lure of the infinite   joeshipman at aol.com
• [FOM] A new geometry (in Klein's sense)?   Dana Scott
• [FOM] Can someone give me an example of...   lagnese at ngi.it
• [FOM] The lure of the infinite   Bill Taylor
• [FOM] Concerning Probability Measures   Harvey Friedman
• [FOM] The lure of the infinite   William Tait
• [FOM] BANNING impredicative mathematics   Nik Weaver
• [FOM] stopping at ACA_0   Nik Weaver
• [FOM] predicative foundations   Nik Weaver
• [FOM] predicative foundations   Nik Weaver
• [FOM] Can someone give me an example of...   Adam Kolany
• [FOM] The lure of the infinite   Eray Ozkural
• [FOM] predicative foundations   Aatu Koskensilta
• [FOM] two questions about Godel   Nik Weaver
• [FOM] predicative foundations   Eray Ozkural
• [FOM] Constructivism and physics   Alasdair Urquhart
• [FOM] Predicative foundations   José Félix Costa
• [FOM] Choice of new axioms 1   praatika at mappi.helsinki.fi
• [FOM] A new geometry (in Klein´s sense)?   lagnese at ngi.it
• [FOM] predicative foundations   Vladimir Sazonov
• [FOM] High Complexity without Infinity   Randall Holmes
• [FOM] The Lure of the Infinite   Matthew E. Moore
• [FOM] Gordeev on NF consistency -- a clarification   Randall Holmes
• [FOM] Intuitions of Mass and Volume   joeshipman at aol.com
• [FOM] predicative foundations   Vladimir Sazonov
• [FOM] predicative foundations   Aatu Koskensilta
• [FOM] A new geometry (in Klein's sense)   Dana Scott
• [FOM] Intuitions of Mass and Volume   Harvey Friedman
• [FOM] The Gold Standard   Harvey Friedman
• [FOM] a series of grammatical confusions   slaterbh at cyllene.uwa.edu.au
• [FOM] Godel and realism or platonism   mlink at math.bu.edu
• [FOM] The ghost of Berkeley   Mark Bridger
• [FOM] Perception of mathematical truth   Mark Bridger
• [FOM] The lure of the infinite   Arnon Avron
• [FOM] The lure of the infinite   Martin Davis
• [FOM] Cantor and "absolute infinity"   Arnon Avron
• [FOM] Concerning Probability Measures   Robert M. Solovay
• [FOM] Can someone give me an example of...   Andrej Bauer
• [FOM] Finite Set Theory   Harvey Friedman
• [FOM] Concerning Probability Measures   Robert M. Solovay
• [FOM] Query concerning measure.   Bill Taylor
• [FOM] a series of grammatical confusions   kremer at uchicago.edu
• [FOM] The ghost of Berkeley   Eray Ozkural
• [FOM] Cantor and "absolute infinity"   Harvey Friedman
• [FOM] The lure of the infinite   Mark Steiner
• [FOM] Query concerning measure.   Harvey Friedman
• [FOM] Bishop Berkeley and ZFC   Nik Weaver
• [FOM] Can someone give me an example of...   Andrej Bauer
• [FOM] a series of grammatical confusions   slaterbh at cyllene.uwa.edu.au
• [FOM] Query concerning measure.   joeshipman at aol.com
• [FOM] The lure of the infinite   Alasdair Urquhart
• [FOM] Uncountable structures and `core mathematics'   John Baldwin
• [FOM] The Gold Standard   Arnon Avron
• [FOM] Finite Set Theory   Vladimir Sazonov
• [FOM] Can someone give me an example of...   Rob Arthan
• [FOM] Cantor's "hidden" views   Martin Davis
• [FOM] Uncountable structures and `core mathematics'   Harvey Friedman
• [FOM] Cantor and "absolute infinity"   William Tait
• [FOM] The lure of the infinite   Arnon Avron
• [FOM] Finite Set Theory   Nik Weaver
• [FOM] predicative foundations   Stephen Pollard
• [FOM] R: Cantor and "absolute infinity"   Antonino Drago
• [FOM] R: stopping at ACA_0   Antonino Drago
• [FOM] The Gold Standard   Harvey Friedman
• [FOM] Can someone give me an example of...   Andrej Bauer
• [FOM] R: R: R: constructivism and physics   Antonino Drago
• [FOM] Berkeley and Weyl/Arnon as critics of foundations   Martin Davis
• [FOM] Why not NF?   Martin Davis
• [FOM] Why not NF?   hendrik at topoi.pooq.com
• [FOM] The Gold Standard   Harvey Friedman
• [FOM] Finite Set Theory   Harvey Friedman
• [FOM] Why not NF?   Martin Davis
• [FOM] Uncountable structures and `core mathematics'   Mark Steiner
• [FOM] "Nonstandard Methods in Mathematics" - NSM2006, Pisa (Italy), May 25-31, 2006   dinasso
• [FOM] Why not NF?   Thomas Forster
• [FOM] Why not NF?   Thomas Forster
• [FOM] Finite Set Theory   praatika at mappi.helsinki.fi
• [FOM] The meaning of `set'   Muller F.A.
• [FOM] Predicative foundations   José Félix Costa
• [FOM] Cantor and "absolute infinity": a clarification   Arnon Avron
• [FOM] Why not NF?   Ben Crowell
• [FOM] uncountable structures and core mathematics II   John Baldwin
• [FOM] computing over the reals   John Baldwin
• [FOM] FW: CCA 2006, First Call for Papers   Kreinovich, Vladik
• [FOM] Finite Set Theory   Stephen Pollard
• [FOM] Are (C,+) and (R,+) isomorphic?   Miguel A. Lerma
• [FOM] computing over the reals   William Tait
• [FOM] necessary or sufficient?   Gabriel Stolzenberg
• [FOM] uncountable structures and core mathematics II   joeshipman at aol.com
• [FOM] The Gold Standard   Arnon Avron
• [FOM] Cantor and "absolute infinity"   Arnon Avron
• [FOM] A new geometry (in Klein's sense)   Giovanni Lagnese
• [FOM] Can someone give me an example of...   Giovanni Lagnese
• [FOM] The Gold Standard   Harvey Friedman
• [FOM] infinitary logic and core mathematics   John Baldwin
• [FOM] uncountable structures and core mathematics II   John Baldwin
• [FOM] Query concerning measure.   Bill Taylor
• [FOM] The Gold Standard   Nik Weaver
• [FOM] predicative foundations   Nik Weaver
• [FOM] stopping at ACA_0   Nik Weaver
• [FOM] The Gold Standard   Harvey Friedman
• [FOM] predicativism and functional analysis   Nik Weaver
• [FOM] computing over the reals   Alasdair Urquhart
• [FOM] Are (C,+) and (R,+) isomorphic?   Harvey Friedman
• [FOM] Query concerning measure.   Robert M. Solovay
• [FOM] Are (C,+) and (R,+) isomorphic?   Robert M. Solovay
• [FOM] CSR-2006: Call for Participation   Edward A. Hirsch
• [FOM] re the meaning of set   Mark Lance
• [FOM] Are (C,+) and (R,+) isomorphic   Andreas Blass
• [FOM] predicative foundations   Harvey Friedman
• [FOM] stopping at ACA_0   Stephen Pollard
• [FOM] Finitism and the Gold Standard   Andrew Boucher
• [FOM] Finite Set Theory   Dean Buckner
• [FOM] computing over the reals   John McCarthy
• [FOM] re the meaning of set   joeshipman at aol.com
• [FOM] R: necessary or sufficient?   Antonino Drago
• [FOM] Cantor and "absolute infinity"   Harvey Friedman
• [FOM] DEADLINE EXTENSION: 13th Workshop on Logic, Language, Information and Computation   Martin Davis
• [FOM] interpretation of Chaitin's work   Ben Crowell
• [FOM] Proving FLT in PA   Timothy Y. Chow
• [FOM] Why not NF?   Lew Gordeew
• [FOM] R: necessary or sufficient?   Antonino Drago
• [FOM] re the meaning of set - here are some down-to-earth examples to consider   Isaac Malitz
• [FOM] Proving FLT in PA   Harvey Friedman
• [FOM] Proving FLT in PA   Robert M. Solovay
• [FOM] predicativism and functional analysis   Harvey Friedman
• [FOM] Finite Set Theory   Harvey Friedman
• [FOM] Cantor and "absolute infinity"   hendrik at topoi.pooq.com
• [FOM] Proving FLT in PA   joeshipman at aol.com
• [FOM] Proving FLT in PA   John Baldwin
• [FOM] Proving FLT in PA   Colin McLarty
• [FOM] Re to Friedman on finite and infinite sets   Arnon Avron
• [FOM] The Gold Standard   Nik Weaver
• [FOM] Finite Set Theory   Robert Lindauer
• [FOM] predicativism and functional analysis   Nik Weaver
• [FOM] predicativism and functional analysis   Bas Spitters
• [FOM] interpretation of Chaitin's work   Aatu Koskensilta
• [FOM] Finite Set Theory   slaterbh at cyllene.uwa.edu.au
• [FOM] interpretation of Chaitin's work   praatika at mappi.helsinki.fi
• [FOM] Proving FLT in PA   Jeremy Avigad
• [FOM] 268: Finite to Infinite 1   Harvey Friedman
• [FOM] Finite Set Theory   Dean Buckner
• [FOM] re the meaning of set - here are some down-to-earth examples to consider   Dean Buckner
• [FOM] Space-Time (response to Timothy Chow's   Laura Elena Morales Guerrero
• [FOM] The natural numbers as marks on paper   Martin Davis
• [FOM] predicativism and functional analysis   griesmer at math.ohio-state.edu
• [FOM] Finite Set Theory   John McCarthy
• [FOM] The Gold Standard   Harvey Friedman
• [FOM] The natural numbers as marks on paper   Eray Ozkural
• [FOM] Proving FLT in PA   Timothy Y. Chow
• [FOM] uncountable structures and core mathematics III: Lowenheim Skolem   John Baldwin
• [FOM] Re Abstract vs. Platonic   Ehlert-Abler
• [FOM] predicativism and functional analysis   Nik Weaver
• [FOM] The Gold Standard   Harvey Friedman
• [FOM] The natural numbers as marks on paper   Nik Weaver
• [FOM] predicativism and functional analysis   Nik Weaver
• [FOM] Finite Set Theory   Harvey Friedman
• [FOM] Question for Nik Weaver   Bill Taylor
• [FOM] predicativism and functional analysis   Harvey Friedman
• [FOM] computing over the reals   Jeffery Zucker
• [FOM] Uses of Replacement   Harvey Friedman
• [FOM] The Gold Standard   Robert M. Solovay
• [FOM] BETA(N)   Harvey Friedman
• [FOM] The natural numbers as marks on paper   Harvey Friedman
• [FOM] The Gold Standard   Andrew Boucher
• [FOM] Fwd: The Gold Standard (correction)   Andrew Boucher
• [FOM] Finite Set Theory   Robbie Lindauer
• [FOM] The Gold Standard/correction   Harvey Friedman
• [FOM] The natural numbers as marks on paper   Thomas Forster
• [FOM] Question for Nik Weaver   Andrej Bauer
• [FOM] Question for Nik Weaver   Nik Weaver
• [FOM] The Gold Standard   Eray Ozkural
• [FOM] predicativism and functional analysis   Bas Spitters
• [FOM] Beta(N)   Andreas Blass
• [FOM] Logic and Reasoning Workshop CFP   geoff at cs.miami.edu
• [FOM] Finite Set Theory   Dean Buckner
• [FOM] The Gold Standard/correction   Robert M. Solovay
• [FOM] Reply to Eray Ozkural   Ehlert-Abler
• [FOM] The Gold Standard/correction   Timothy Y. Chow
• [FOM] Proving FLT in PA   Colin McLarty
• [FOM] formal multisets   A. Mani
• [FOM] accord with mathematical practice   Nik Weaver
• [FOM] BETA(N)   Nik Weaver
• [FOM] accord with mathematical practice (note)   Nik Weaver
• [FOM] Existence of omega sequence and Platonism and NYC   Martin Davis
• [FOM] Finite sets: two references   A.P. Hazen
• [FOM] The Gold Standard/correction   Harvey Friedman
• [FOM] Math Practice/Beta(N)   Harvey Friedman
• [FOM] The Gold Standard/correction   Robert M. Solovay
• [FOM] P(N) and the reals (was Re: Question for Nik Weaver)   Bas Spitters
• [FOM] formal multisets   Thomas Forster
• [FOM] colloquium Modern Type Theory (Paris)   Mark van Atten
• [FOM] A definition of an algorithm   Dustin Mulcahey
• [FOM] A "clear understanding" of P(N)   Todd Wilson
• [FOM] reading the bible with Bill   Gabriel Stolzenberg
• [FOM] Finite sets: two references   Dean Buckner
• [FOM] A definition of an algorithm   H. Enderton
• [FOM] The Gold Standard/correction   Harvey Friedman
• [FOM] BETA(N)   Nik Weaver
• [FOM] BETA(N)   Harvey Friedman
• [FOM] 269:Pi01,Pi011/digraphs   Harvey Friedman
• [FOM] Question about Set Theory as a formal basis for mathematics   Andrea Proli
• [FOM] Latest additions to the Logic Museum   Dean Buckner
• [FOM] The Gold Standard/correction   Richard Heck
• [FOM] Question about Set Theory as a formal basis for mathematics   Harvey Friedman
• [FOM] reading the bible with Bill: hermeneutics with Gabriel   William Tait
• [FOM] reading the bible with Bill: hermeneutics with Gabriel Correctiomn   William Tait
• [FOM] Determinacy and WKL_0   Dmytro Taranovsky
• [FOM] Finite to Infinite: an alternative approach   Arnon Avron
• [FOM] Question about Set Theory as a formal basis for mathematics   Aatu Koskensilta
• [FOM] 270: Finite to Infinite/restatement   Harvey Friedman
• [FOM] Is exponentiation constructive?   Giovanni Lagnese
• [FOM] automorphisms of hyperreals [FROM ALI ENAYAT]   ali enayat
• [FOM] Proli's Question about Set Theory   A.P. Hazen
• [FOM] NF anniversary conference   Thomas Forster
• [FOM] Question about Set Theory as a formal basis for mathematics   Andrea Proli
• [FOM] Proving FLT in PA   Harvey Friedman
• [FOM] replies to Friedman's points   Nik Weaver
• [FOM] intuitions of logic in Chicago and Cambridge   Gabriel Stolzenberg
• [FOM] Proli's Question about Set Theory   Richard Heck
• [FOM] Question about Set Theory as a formal basis for mathematics   Harvey Friedman
• [FOM] intuitions of logic in Chicago and Cambridge   praatika at mappi.helsinki.fi
• [FOM] Question about Set Theory as a formal basis for mathematics   Aatu Koskensilta
• [FOM] intuitions of logic in Chicago and Cambridge   Eray Ozkural
• [FOM] What is the consistency strength of EK?   Neil Tennant
• [FOM] No coding in ZC???   Arnon Avron
• [FOM] Proli's Question about Set Theory   Andrea Proli
• [FOM] Proving FLT in PA   Ben Crowell
• [FOM] Question about Set Theory as a formal basis for mathematics   Andrej Bauer
• [FOM] Uses of Replacement   ali enayat
• [FOM] Proving FLT in ZF (was in PA)   Colin McLarty
• [FOM] Arnon-Friedman-Weaver discussion   martin at eipye.com
• [FOM] Question about Set Theory as a formal basis for mathematics   John McCarthy
• [FOM] predicative foundations   Robert M. Solovay
• [FOM] Proving FLT in PA   Timothy Y. Chow
• [FOM] VAught's conj and Lowenheim Skolem in infinitary logic   John Baldwin
• [FOM] intuitions of logic in Helsinki and Cambridge   Gabriel Stolzenberg
• [FOM] Status of AC   Dung Nguyen
• [FOM] Proli's Question about Set Theory   Aatu Koskensilta
• [FOM] intuitions of logic in Helsinki and Cambridge   praatika at mappi.helsinki.fi
• [FOM] A definition of an algorithm   Victor Makarov
• [FOM] Automorphisms of nonstandard reals, revisited   ali enayat
• [FOM] Coding in Z(F)C; "Heavy-duty" axioms   joeshipman at aol.com
• [FOM] Proving FLT in PA   joeshipman at aol.com

Last message date: Tue Feb 28 23:11:48 EDT 2006
Archived on: Wed Jan 28 17:52:30 EDT 2009

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