February 2006 Archives by date
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
This archive was generated by
Pipermail 0.09 (Mailman edition).