science.mathematics.fom (date)

science.mathematics.fom (date)

February 28, 2006

VAught's conj and Lowenheim Skolem in infinitary logic, John Baldwin

February 27, 2006

Arnon-Friedman-Weaver discussion, martin-Q1ZVUissX3MAvxtiuMwx3w
Re: Proving FLT in ZF (was in PA), Colin McLarty
Re: Uses of Replacement, ali enayat
Re: Question about Set Theory as a formal basis for mathematics, Andrej Bauer
Re: Proli's Question about Set Theory, Andrea Proli
What is the consistency strength of EK?, Neil Tennant
Re: intuitions of logic in Chicago and Cambridge, Eray Ozkural
Re: Question about Set Theory as a formal basis for mathematics, Aatu Koskensilta
Re: intuitions of logic in Chicago and Cambridge, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Question about Set Theory as a formal basis for mathematics, Harvey Friedman
Re: Proli's Question about Set Theory, Richard Heck
intuitions of logic in Chicago and Cambridge, Gabriel Stolzenberg
replies to Friedman's points, Nik Weaver
Re: Proving FLT in PA, Harvey Friedman
Re: Question about Set Theory as a formal basis for mathematics, Andrea Proli

February 26, 2006

NF anniversary conference, Thomas Forster
Re: Proli's Question about Set Theory, A.P. Hazen
Re: automorphisms of hyperreals [FROM ALI ENAYAT], ali enayat
Is exponentiation constructive?, Giovanni Lagnese
270: Finite to Infinite/restatement, Harvey Friedman
Re: Question about Set Theory as a formal basis for mathematics, Aatu Koskensilta
Finite to Infinite: an alternative approach, Arnon Avron
Determinacy and WKL_0, Dmytro Taranovsky
Re: reading the bible with Bill: hermeneutics with Gabriel Correctiomn, William Tait
Re: reading the bible with Bill: hermeneutics with Gabriel, William Tait
Re: Question about Set Theory as a formal basis for mathematics, Harvey Friedman

February 25, 2006

269:Pi01,Pi011/digraphs, Harvey Friedman
Re: BETA(N), Harvey Friedman
Re: The Gold Standard/correction, Richard Heck
Question about Set Theory as a formal basis for mathematics, Andrea Proli
Latest additions to the Logic Museum, Dean Buckner
BETA(N), Nik Weaver
Re: The Gold Standard/correction, Harvey Friedman
Re: A definition of an algorithm, H. Enderton

February 24, 2006

reading the bible with Bill, Gabriel Stolzenberg
Finite sets: two references, Dean Buckner
Re: A "clear understanding" of P(N), Todd Wilson
A definition of an algorithm, Dustin Mulcahey
colloquium Modern Type Theory (Paris), Mark van Atten
Re: formal multisets, Thomas Forster
P(N) and the reals (was Re: Question for Nik Weaver), Bas Spitters
Re: The Gold Standard/correction, Robert M. Solovay
Math Practice/Beta(N), Harvey Friedman
Re: The Gold Standard/correction, Harvey Friedman
Finite sets: two references, A.P. Hazen
Existence of omega sequence and Platonism and NYC, Martin Davis
accord with mathematical practice (note), Nik Weaver
Re: Proving FLT in PA, Colin McLarty
BETA(N), Nik Weaver
Re: The Gold Standard/correction, Timothy Y. Chow
Reply to Eray Ozkural, Ehlert-Abler
accord with mathematical practice, Nik Weaver
formal multisets, A. Mani
Re: The Gold Standard/correction, Robert M. Solovay
Finite Set Theory, Dean Buckner

February 23, 2006

Logic and Reasoning Workshop CFP, geoff-RUaG/XBVoqD2fBVCVOL8/A
Beta(N), Andreas Blass
Re: The Gold Standard, Eray Ozkural
Question for Nik Weaver, Nik Weaver
Re: predicativism and functional analysis, Bas Spitters
Re: Question for Nik Weaver, Andrej Bauer
Re: The natural numbers as marks on paper, Thomas Forster
The Gold Standard/correction, Harvey Friedman
Re: Finite Set Theory, Robbie Lindauer
Fwd: The Gold Standard (correction), Andrew Boucher
Re: The natural numbers as marks on paper, Harvey Friedman
Re: The Gold Standard, Andrew Boucher
BETA(N), Harvey Friedman
Re: The Gold Standard, Robert M. Solovay
Uses of Replacement, Harvey Friedman
Re: computing over the reals, Jeffery Zucker
Re: predicativism and functional analysis, Harvey Friedman
Question for Nik Weaver, Bill Taylor
predicativism and functional analysis, Nik Weaver
Re: Finite Set Theory, Harvey Friedman
The Gold Standard, Harvey Friedman
The natural numbers as marks on paper, Nik Weaver
predicativism and functional analysis, Nik Weaver
Re Abstract vs. Platonic, Ehlert-Abler
uncountable structures and core mathematics III: Lowenheim Skolem, John Baldwin
Re: Proving FLT in PA, Timothy Y. Chow
Re: The Gold Standard, Harvey Friedman
Re: The natural numbers as marks on paper, Eray Ozkural
Re: Finite Set Theory, John McCarthy

February 22, 2006

Re: predicativism and functional analysis, griesmer-hyEunQjjh3V1yXs8afm8B5Vzexx5G7lz
268: Finite to Infinite 1, Harvey Friedman
The natural numbers as marks on paper, Martin Davis
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
Finite Set Theory, Dean Buckner
Re: Proving FLT in PA, Jeremy Avigad
Re: interpretation of Chaitin's work, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Finite Set Theory, slaterbh-mkFUmB15y1ZGtF9pjCuXARCuuivNXqWP
Re: interpretation of Chaitin's work, Aatu Koskensilta
Re: predicativism and functional analysis, Bas Spitters
predicativism and functional analysis, Nik Weaver
Re: Finite Set Theory, Robert Lindauer
The Gold Standard, Nik Weaver
Re to Friedman on finite and infinite sets, Arnon Avron
interpretation of Chaitin's work, Ben Crowell
Re: Proving FLT in PA, Colin McLarty
Re: Proving FLT in PA, John Baldwin
Re: Proving FLT in PA, joeshipman-YDxpq3io04c
Re: Finite Set Theory, Harvey Friedman
Re: predicativism and functional analysis, Harvey Friedman
Re: Cantor and "absolute infinity", hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Re: Proving FLT in PA, Robert M. Solovay
Re: re the meaning of set - here are some down-to-earth examples to consider, Isaac Malitz
Re: Proving FLT in PA, Harvey Friedman
R: necessary or sufficient?, Antonino Drago
R: necessary or sufficient?, Antonino Drago
Re: Why not NF?, Lew Gordeew
Re: Cantor and "absolute infinity", Harvey Friedman
Proving FLT in PA, Timothy Y. Chow

February 21, 2006

DEADLINE EXTENSION: 13th Workshop on Logic, Language, Information and Computation, Martin Davis
Re: re the meaning of set, joeshipman-YDxpq3io04c
Re: computing over the reals, John McCarthy
Finite Set Theory, Dean Buckner
Finitism and the Gold Standard, Andrew Boucher
stopping at ACA_0, Stephen Pollard
Re: The Gold Standard, Harvey Friedman
predicativism and functional analysis, Nik Weaver
re the meaning of set, Mark Lance
Are (C,+) and (R,+) isomorphic, Andreas Blass
Re: predicative foundations, Harvey Friedman
CSR-2006: Call for Participation, Edward A. Hirsch
Re: Query concerning measure., Robert M. Solovay
Re: Are (C,+) and (R,+) isomorphic?, Robert M. Solovay
Re: Are (C,+) and (R,+) isomorphic?, Harvey Friedman
Re: computing over the reals, Alasdair Urquhart
stopping at ACA_0, Nik Weaver
predicative foundations, Nik Weaver
The Gold Standard, Nik Weaver
Re: Query concerning measure., Bill Taylor
Re: The Gold Standard, Harvey Friedman
Re: Can someone give me an example of..., Giovanni Lagnese
Re: uncountable structures and core mathematics II, John Baldwin
infinitary logic and core mathematics, John Baldwin
Re: A new geometry (in Klein's sense), Giovanni Lagnese
FW: CCA 2006, First Call for Papers, Kreinovich, Vladik
Re: Cantor and "absolute infinity", Arnon Avron
Re: The Gold Standard, Arnon Avron
Why not NF?, Ben Crowell
Re: uncountable structures and core mathematics II, joeshipman-YDxpq3io04c
necessary or sufficient?, Gabriel Stolzenberg
Re: computing over the reals, William Tait
Are (C,+) and (R,+) isomorphic?, Miguel A. Lerma
Finite Set Theory, Stephen Pollard
Re: Cantor and "absolute infinity": a clarification, Arnon Avron
Predicative foundations, José Félix Costa
The meaning of `set', Muller F.A.
Re: Finite Set Theory, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Why not NF?, Thomas Forster
Re: Why not NF?, Thomas Forster
"Nonstandard Methods in Mathematics" - NSM2006, Pisa (Italy), May 25-31, 2006, dinasso
Re: Uncountable structures and `core mathematics', Mark Steiner

February 20, 2006

computing over the reals, John Baldwin
uncountable structures and core mathematics II, John Baldwin
Re: Why not NF?, Martin Davis
Re: Finite Set Theory, Harvey Friedman
Re: The Gold Standard, Harvey Friedman
Re: Why not NF?, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Why not NF?, Martin Davis
Berkeley and Weyl/Arnon as critics of foundations, Martin Davis

February 19, 2006

R: R: R: constructivism and physics, Antonino Drago
Re: Can someone give me an example of..., Andrej Bauer
R: Cantor and "absolute infinity", Antonino Drago
R: stopping at ACA_0, Antonino Drago
Re: Cantor and "absolute infinity", William Tait
Re: The Gold Standard, Harvey Friedman
Re: Can someone give me an example of..., Rob Arthan
Re: predicative foundations, Stephen Pollard
Finite Set Theory, Nik Weaver
Re: The lure of the infinite, Arnon Avron
Re: Uncountable structures and `core mathematics', Harvey Friedman
Re: Finite Set Theory, Vladimir Sazonov
Re: The Gold Standard, Arnon Avron
Re: Query concerning measure., joeshipman-YDxpq3io04c
Re: The lure of the infinite, Alasdair Urquhart
Cantor's "hidden" views, Martin Davis
a series of grammatical confusions, slaterbh-mkFUmB15y1ZGtF9pjCuXARCuuivNXqWP
Re: Can someone give me an example of..., Andrej Bauer
Bishop Berkeley and ZFC, Nik Weaver
Re: Query concerning measure., Harvey Friedman
Re: The lure of the infinite, Mark Steiner
Uncountable structures and `core mathematics', John Baldwin
Re: Cantor and "absolute infinity", Harvey Friedman
Re: The ghost of Berkeley, Eray Ozkural
Re: a series of grammatical confusions, kremer-t4+EzPmVLfD2fBVCVOL8/A
Query concerning measure., Bill Taylor
Re: Concerning Probability Measures, Robert M. Solovay
Finite Set Theory, Harvey Friedman
Cantor and "absolute infinity", Arnon Avron
Re: Can someone give me an example of..., Andrej Bauer
Re: Concerning Probability Measures, Robert M. Solovay

February 18, 2006

Re: The lure of the infinite, Martin Davis
a series of grammatical confusions, slaterbh-mkFUmB15y1ZGtF9pjCuXARCuuivNXqWP
Re: The lure of the infinite, Arnon Avron
Godel and realism or platonism, mlink-5ZbZpmDeezqVc3sceRu5cw
Perception of mathematical truth, Mark Bridger
The ghost of Berkeley, Mark Bridger
The Gold Standard, Harvey Friedman
Re: Intuitions of Mass and Volume, Harvey Friedman
Re: A new geometry (in Klein's sense), Dana Scott
Gordeev on NF consistency -- a clarification, Randall Holmes
Re: predicative foundations, Aatu Koskensilta
Re: predicative foundations, Vladimir Sazonov
Intuitions of Mass and Volume, joeshipman-YDxpq3io04c

February 17, 2006

a series of grammatical confusions, Gabriel Stolzenberg
Re: predicative foundations, Vladimir Sazonov
Re: predicative foundations, Eray Ozkural
two questions about Godel, Nik Weaver
The Lure of the Infinite, Matthew E. Moore
High Complexity without Infinity, Randall Holmes
Re: A new geometry (in Klein�s sense)?, lagnese-8cRKiK8W3qA@xxxxxxxxxxxxxxxx
Re: Choice of new axioms 1, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Predicative foundations, José Félix Costa
Re: Constructivism and physics, Alasdair Urquhart
Re: predicative foundations, Aatu Koskensilta
Re: The lure of the infinite, Eray Ozkural
Re: Can someone give me an example of..., Adam Kolany
predicative foundations, Nik Weaver
predicative foundations, Nik Weaver
stopping at ACA_0, Nik Weaver
BANNING impredicative mathematics, Nik Weaver
Re: The lure of the infinite, William Tait
Re: Concerning Probability Measures, Harvey Friedman
Re: The lure of the infinite, Bill Taylor
Re: Can someone give me an example of..., lagnese-8cRKiK8W3qA@xxxxxxxxxxxxxxxx
A new geometry (in Klein's sense)?, Dana Scott
The lure of the infinite, joeshipman-YDxpq3io04c
Re: constructivism and physics, Timothy Y. Chow

February 16, 2006

Re: Can someone give me an example of..., Andrej Bauer
Re: Concerning Probability Measures, Robert M. Solovay
Re: The lure of the infinite, Isaac Malitz
Re: The lure of the infinite, Harvey Friedman
Re: Can someone give me an example of..., Giovanni Lagnese
nonplatonistic impredicativity, Gabriel Stolzenberg
Re: The lure of the infinite, Gabriel Stolzenberg
Re: predicative foundations, Eray Ozkural
Re: Constructivism and physics, A.J. Franco de Oliveira
Concerning Probability Measures, Harvey Friedman
Re: Can someone give me an example of..., Andrej Bauer
Re: predicative foundations (Harvey Friedman), mlink-5ZbZpmDeezqVc3sceRu5cw
The lure of the infinite, Nik Weaver
Re: predicative foundations, Stephen Pollard
The lure of the infinite, José Félix Costa
Re: Choice of new axioms 1, Andrej Bauer
Can someone give me an example of..., Giovanni Lagnese
Re: predicative foundations, Aatu Koskensilta
Re: Tait on constructive mathematics, Mark van Atten
Re: Choice of new axioms 1, Harvey Friedman
Re: predicative foundations, Harvey Friedman
Re: BANNING impredicative mathematics, Harvey Friedman
Re: The lure of the infinite, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Difference Engine, José Félix Costa
predicative foundations, Nik Weaver
Re: Tait on constructive mathematics, William Tait
Re: predicative foundations, Kenny Easwaran
Re: Cut elimination in f.o. number theory, William Tait
predicative foundations, Nik Weaver
Re: Tolerance Principle (re assertions made about Con(NF)), Lew Gordeew

February 15, 2006

constructivism and physics, Ben Crowell
Re: Choice of new axioms 1, Andrej Bauer
The lure of the infinite, Martin Davis
predicative foundations, Nik Weaver
Cut elimination in f.o. number theory, Hilbert Levitz
workshop on "Effective content of ineffective proofs", Martin Davis
Tolerance Principle (re assertions made about Con(NF)), Randall Holmes
Existence property, Studtmann, Paul
Re: some references?, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Tait on constructive mathematics, Mark van Atten
BANNING impredicative mathematics, Nik Weaver
intuitionistic here, constructive there., Gabriel Stolzenberg
Re: some references?, joeshipman-YDxpq3io04c
Re: predicative foundations, Robert M. Solovay
Re: predicative foundations, Robert M. Solovay
Re: Choice of new axioms 1, joeshipman-YDxpq3io04c
Re: constructivism and physics, Timothy Y. Chow
Re: Choice of new axioms 1 (reply to Friedman), Timothy Y. Chow
Re: some references?, John Steel
Difference Engine, Randall Holmes
Re: Choice of new axioms 1, tulenhei-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: constructivism and physics (reply to Gordeew), Dmytro Taranovsky
Re: Choice of new axioms 1, Dmytro Taranovsky

February 14, 2006

Re: Tolerance Principle, Lew Gordeew
some references?, Saeed Salehi
Re: Choice of new axioms 1, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Goedel Young Scholars' Competition - deadline 24 February, 2006, goedel2006-DX+603jRYB8
Re: Choice of new axioms 1, Harvey Friedman
Re: Choice of new axioms 1 (reply to Friedman), joeshipman-YDxpq3io04c
Re: predicative foundations, Harvey Friedman
Re: Difference Engine, A.P. Hazen
Re: Choice of new axioms 1, Jacques Carette
Re: Choice of new axioms 1, John Steel
Re: constructivism and physics (reply to Gordeew), Lew Gordeew
Re: Choice of new axioms 1 (reply to Friedman), Eray Ozkural
Re: foundational philosophies and core mathematics, Harvey Friedman
Re: Choice of new axioms 1, Eray Ozkural
CFP: FOCA - Formal Ontologies for Communicating Agents, Carlos Areces
predicative foundations, Nik Weaver

February 13, 2006

Difference Engine, José Félix Costa
Constructivism and physics, José Félix Costa
V = L mathematically/corrected, Harvey Friedman
foundational philosophies and core mathematics, Nik Weaver
Re: Choice of new axioms 1 (reply to Friedman), Harvey Friedman
Re: Choice of new axioms 1, Andrej Bauer
Choice of new axioms 1 (reply to Friedman), joeshipman-YDxpq3io04c
V = L mathematically, Harvey Friedman
Re: constructivism and physics, Eray Ozkural
constructivism and physics (reply to Gordeew), joeshipman-YDxpq3io04c
Re: independence of RVM/attribution, joeshipman-YDxpq3io04c
Re: Choice of new axioms 1, John Baldwin
Re: constructivism and physics, Lew Gordeew
Re: Choice of new axioms 1, Harvey Friedman
Choice of new axioms 1, Antonino Drago
independence of RVM/attribution, Harvey Friedman
for harvey, Gabriel Stolzenberg
Re: constructivism and physics, dvanhorn-PQ3DxE3bu5P2fBVCVOL8/A
Lengths of proofs 1, Harvey Friedman
Re: Choice of new axioms 1, Harvey Friedman
Re: Formal nature of mathematics, Vladimir Sazonov
Constructivism and physics; Absolute truth vs. relative meaning, joeshipman-YDxpq3io04c

February 12, 2006

Re: Haney and Tait on intuitive sources of mathematics, William Tait
Re: constructivism and physics, Neil Tennant
Re: Choice of new axioms 1, Dmytro Taranovsky
Constructivism and physics; Absolute truth vs. relative meaning, joeshipman-YDxpq3io04c
Re: Formal nature of mathematics, Dmytro Taranovsky
Re: constructivism and physics, Neil Tennant
Conference Announcement, Jeffrey Ketland
Re: constructivism and physics, Bas Spitters
CFP: WORKSHOP ON LOGICS FOR RESOURCE BOUNDED AGENTS, Carlos Areces
Re: constructivism and physics, Laura Elena Morales Guerrero
Constructivism and physics, Alasdair Urquhart
Re: R: R: constructivism and physics, Alasdair Urquhart
Re: Choice of new axioms 1, joeshipman-YDxpq3io04c
Re: Difference Engine, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y

February 10, 2006

Choice of new axioms 1, Harvey Friedman
Re: Absolute truth vs. relative meaning and formal nature of mathematics, Vladimir Sazonov
Re: constructivism and physics, Harvey Friedman
R: R: constructivism and physics, Antonino Drago
constructivism and physics, Ben Crowell
Tolerance Principle, Randall Holmes
Tait on constructive mathematics, Gabriel Stolzenberg
Re: The irrelevance or its relevance, Lasse Rempe
Re: Tolerance Principle, Thomas Forster
Difference Engine, José Félix Costa
Babbage 'Difference Engine' in Lego, José Félix Costa

February 09, 2006

Re: R: constructivism and physics, Todd Wilson
constructivism and physics, Neil Tennant
Re: Tolerance Principle, Harvey Friedman
R: constructivism and physics, Antonino Drago

February 08, 2006

Re: Tolerance Principle, Joseph Vidal-Rosset
CFP: Rationality and Knowledge Workshop, Carlos Areces
The irrelevance or its relevance, Ben Crowell
Re: What would Weyl do?, Harvey Friedman
Re: constructivism and physics, Charles Silver
Least class that ..., Nik Weaver
Incorrect attribution, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Re: Tolerance Principle, Thomas Forster
Re: Feferman's natural well-ordering problem., praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: constructivism and physics, Jaap van Oosten
Re: constructivism and physics, Bas Spitters
Re: Tolerance Principle, Roger Bishop Jones
267:Pi01/digraphs/progress, Harvey Friedman
Re: Tolerance Principle, Harvey Friedman
Haney and Tait on intuitive sources of mathematics, Gabriel Stolzenberg
Re: Absolute truth vs. relative meaning and formal nature of mathematics, Harvey Friedman
Re: Tolerance Principle, Bill Taylor
Re: constructivism and physics, Jacques Carette
Re: predicative foundations, Harvey Friedman

February 07, 2006

Re: Tolerance Principle, Harvey Friedman
Re: constructivism and physics, John McCarthy
predicative foundations, Nik Weaver
Re: Predicativity and Certainty, Eray Ozkural
Re: Tolerance Principle, Roger Bishop Jones
constructivism and physics, Steve Awodey
Predicativity and Certainty, Arnon Avron
Re: polemic, predicativism, and absolute certainty, Timothy Y. Chow
Re: Absolute truth vs. relative meaning and formal nature of mathematics, A. Mani
Re: Feferman's natural well-ordering problem., Andreas Weiermann
Re: The irrelevance of Friedman's polemics and results, hendrik-e9JHxFxFq/nmOAo1QFYKGQ

February 06, 2006

Tolerance Principle, Arnon Avron
automorphisms of the hyperreals?, Ben Crowell
Absolute truth vs. relative meaning and formal nature of mathematics, Vladimir Sazonov
What would Weyl do?, Stephen Pollard
predicative foundations?, Harvey Friedman

February 05, 2006

Re: The irrelevance of Friedman's polemics and results, John Steel
RE Axioms that imply AC, John Bell
Extended deadline: ESSLLI Student Session 2006, Sophia Katrenko
Re: The irrelevance of Friedman's polemics and results, Arnon Avron

February 04, 2006

266:Pi01/digraphs/unifying, Harvey Friedman
Re: Axioms that imply AC, Andrej Bauer
Re: Feferman's natural well-ordering problem., William Tait
Re: Axioms that imply AC, Timothy Y. Chow
Re: The irrelevance of Friedman's polemics and results, Joseph Vidal-Rosset
Re: Feferman's natural well-ordering problem., mario
Re: FOM - reply to Haney and others, giovanni sambin
Re: Axioms that imply AC, Adam Kolany
Re: Axiom of Choice in Category Theory, Laurent Delattre
Re: Axioms that Imply AC, Robert Smith
polemic, predicativism, and absolute certainty, Curtis Franks
Re: Axioms that imply AC, John Baldwin

February 03, 2006

Duality Theorems and Set Theory +, A. Mani
Re: The irrelevance or its relevance, Eray Ozkural
The irrelevance or its relevance, José Félix Costa
Re: Axioms that imply AC, William Tait
Re: Axioms that imply AC, Thomas Forster
mathematics as phenomena, Harvey Friedman
Re: The irrelevance of Friedman's polemics and results, John McCarthy
Axioms that imply AC, Andrej Bauer
Re: The irrelevance of Friedman's polemics and results, Eray Ozkural
Re: The irrelevance of Friedman's polemics and results, John Steel
polemics restricting methods, Harvey Friedman
hierarchy of methods, Harvey Friedman

February 02, 2006

Re: Feferman's natural well-ordering problem., William Tait
Re: The irrelevance of Friedman's polemics and results, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Re: The irrelevance of Friedman's polemics and results, Arnon Avron
Harvey Friedman and PD vs V=L, Martin Davis
A new geometry (in Klein's sense)?, Giovanni Lagnese
Feferman's natural well-ordering problem., Bill Taylor
review of Tait's *Provenance of Pure Reason*, Jeremy Avigad
Re: Axiom of Choice in Category Theory, Laurent Delattre
paper on decision procedures for the reals, Jeremy Avigad

February 01, 2006

WRS06 1st call for paper, wrs06-PMrjgKuCo4Swq3qWMQLUlje48wsgrGvP
Re: Least class that ..., giovanni sambin
LPAR 2006 call for papers, Miki Hermann
Re: polemic, Harvey Friedman

News | FAQ | advertise