science.mathematics.fom (thread)

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