May 2003 Archives by author
Starting: Thu May 1 00:09:02 EDT 2003
Ending: Sat May 31 02:22:27 EDT 2003
Messages: 214
- [FOM] real numbers
Arnon Avron
- [FOM] real numbers
Arnon Avron
- [FOM] Godel's Theorems
Axiomize at aol.com
- [FOM] Godel's Theorems
Axiomize at aol.com
- [FOM] RE: FOM Digest, Vol 5, Issue 15
Axiomize at aol.com
- [FOM] The Continuum Hypothesis
Joan Bagaria
- [FOM] RE: Real Numbers
John T. Baldwin
- [FOM] Godel's Theorems
Timothy Bays
- [FOM] The Continuum Hypothesis
William Boshuck
- [FOM] Godel's Theorems
Andrew Boucher
- [FOM] Attack/defense on Godel
Andrew Boucher
- [FOM] CCA 2003 - Third Announcement and Call for Papers
Vasco Brattka
- [FOM] Continuum Hypothesis
James Robert Brown
- [FOM] Mathematical vs Logical Finitism
Dean Buckner
- [FOM] Solution to Buckner?
Dean Buckner
- [FOM] Solution to Buckner?
Dean Buckner
- [FOM] Solution to Buckner? (Lucas)
Dean Buckner
- [FOM] ACA0, PA and natural language
Dean Buckner
- [FOM] ACA0, PA, PA'
Dean Buckner
- [FOM] ACA0, PA, PA'
Dean Buckner
- [FOM] ACA0, PA, PA'
Dean Buckner
- [FOM] First and a half order logic
Dean Buckner
- [FOM] f.o.m. literature wanted
Dean Buckner
- [FOM] What do we quantify over?
Dean Buckner
- [FOM] Realism as a Conservative Extension of Nominalism
Dean Buckner
- [FOM] Algorithmic view of Goedel incompleteness
Martin Davis
- [FOM] the stuff that [numbers] are made of
Martin Davis
- [FOM] request to FOM subscribers
Martin Davis
- [FOM] Simpson on the Medvedv lattice
Martin Davis
- [FOM] correction to my previous posting
Martin Davis
- [FOM] truth and consistency
Martin Davis
- [FOM] 167:Incompleteness Reformulated/More
Ross A. Finlayson
- [FOM] Re: Godel's Theorems
Torkel Franzen
- [FOM] Wittgenstein?
Torkel Franzen
- [FOM] Wittgenstein?
Torkel Franzen
- [FOM] Godel, Wittgenstein etc.
Torkel Franzen
- [FOM] The quantifier "For infinitely many x"
Torkel Franzen
- [FOM] FOM Potential
Torkel Franzen
- [FOM] FOM reviews
Torkel Franzen
- [FOM] FOM Potential
Torkel Franzen
- [FOM] Consistency v. reflection, and the truth of the Godel-sentence
Torkel Franzen
- [FOM] truth and consistency
Torkel Franzen
- [FOM] Bucknerism = Nominalism with Plural Quantification?
Harvey Friedman
- [FOM] Bucknerism = Nominalism with Plural Quantification?
Harvey Friedman
- [FOM] Godel's Theorems
Harvey Friedman
- [FOM] Attack/defense on Godel
Harvey Friedman
- [FOM] Real Numbers
Harvey Friedman
- [FOM] Godel's Theorems
Harvey Friedman
- [FOM] Solution for Buckner?
Harvey Friedman
- [FOM] 166:Clean Godel Incompleteness
Harvey Friedman
- [FOM] 167:Incompleteness Reformulated/More
Harvey Friedman
- [FOM] Solution to Buckner?
Harvey Friedman
- [FOM] list of my postings 1-149 to FOM
Harvey Friedman
- [FOM] 168:Incompleteness Reformulated/Again
Harvey Friedman
- [FOM] VIGRE Lectures
Harvey Friedman
- [FOM] ACA0, PA, PA'
Harvey Friedman
- [FOM] ACA0, PA, PA'
Harvey Friedman
- [FOM] 169:New PA Independence
Harvey Friedman
- [FOM] bug
Harvey Friedman
- [FOM] Friedman's Simplified Foundations
Harvey Friedman
- [FOM] Buckner 1,2
Harvey Friedman
- [FOM] Hume's principle and the axiom of choice
Harvey Friedman
- [FOM] Buckner 3?
Harvey Friedman
- [FOM] Continuum Hypothesis
Harvey Friedman
- [FOM] Continuum Hypothesis
Harvey Friedman
- [FOM] The Continuum Hypothesis
Harvey Friedman
- [FOM] 170:New Borel Independence
Harvey Friedman
- [FOM] Poker/First/Second Order
Harvey Friedman
- [FOM] Wittgenstein?
Harvey Friedman
- [FOM] FOM Potential
Harvey Friedman
- [FOM] 171:Coordinate Free Borel Statements
Harvey Friedman
- [FOM] 172:Ordered Fields/Countable DST//PD/Large Cardinals
Harvey Friedman
- [FOM] RE sets/Naturalness//conjectures
Harvey Friedman
- [FOM] CH in standard models
Harvey Friedman
- [FOM] 173:Borel/DST/PD
Harvey Friedman
- [FOM] FOM reviews
Harvey Friedman
- [FOM] CH in standard models
Harvey Friedman
- [FOM] One Dimension!
Harvey Friedman
- [FOM] One Dimension/More
Harvey Friedman
- [FOM] simpler Borel/PD
Harvey Friedman
- [FOM] Question about Woodin Conjecture
Harvey Friedman
- [FOM] Proof Theory, Computation and Complexity Summer School and Workshop
Alessio Guglielmi
- [FOM] Continuum Hypothesis : reference
A.P. Hazen
- [FOM] CH in standard models
A.P. Hazen
- [FOM] Real Numbers
Richard G Heck
- [FOM] Re: FTGI1:Classical Propositional Calculus (Harvey Friedman)
Sandy Hodges
- [FOM] Simmons Denotation paradox again
Sandy Hodges
- [FOM] Real Numbers
Sandy Hodges
- [FOM] Names
Sandy Hodges
- [FOM] Re: Godel's Theorems
Matt Insall
- [FOM] RE: Real Numbers
Matt Insall
- [FOM] FW: FOM Real Numbers
Matt Insall
- [FOM] RE: FOM Digest, Vol 5, Issue 15
Matt Insall
- [FOM] RE: FOM Digest, Vol 5, Issue 15
Matt Insall
- [FOM] RE: FOM Friedman's Simplified Foundations
Matt Insall
- [FOM] RE: FOM Real Numbers
Matt Insall
- [FOM] RE: FOM Real Numbers
Matt Insall
- [FOM] RE: FOM Platonic 3 vs Dedekind 3
Matt Insall
- [FOM] RE: FOM Continuum Hypothesis
Matt Insall
- [FOM] RE: FOM Continuum Hypothesis
Matt Insall
- [FOM] RE: FOM Continuum Hypothesis
Matt Insall
- [FOM] Friedman's Simplified Foundations
Roger Bishop Jones
- [FOM] Semantical realism without ontological realism in mathematics
Roger Bishop Jones
- [FOM] Semantical realism without ontological realism in mathematics
Roger Bishop Jones
- [FOM] CH in standard models
Roger Bishop Jones
- [FOM] CH in standard models
Roger Bishop Jones
- [FOM] Godel's Theorems
Kalin, Martin
- [FOM] FOM posting-Wittgenstein?
Jeffrey Ketland
- [FOM] Consistency v. reflection, and the truth of theGodel-sentence
Jeffrey Ketland
- [FOM] On Euclidean and Hilbertian geometry and predicativeness
Aatu Koskensilta
- [FOM] Semantical realism without ontological realism in mathematics
Aatu Koskensilta
- [FOM] On Euclidean and Hilbertian geometry and predicativeness
Aatu Koskensilta
- [FOM] Semantical realism without ontological realism in mathematics
Aatu Koskensilta
- [FOM] Semantical realism without ontological realism in mathematics
Aatu Koskensilta
- [FOM] Continuum Hypothesis
Paul Larson
- [FOM] real numbers
Alexander M Lemberg
- [FOM] real numbers
Miguel A. Lerma
- [FOM] real numbers
Miguel A. Lerma
- [FOM] RE: FOM Continuum Hypothesis
Miguel A. Lerma
- [FOM] Godel's Theorems
Robbie Lindauer
- [FOM] Godel, Wittgenstein etc.
Robbie Lindauer
- [FOM] real numbers
Robbie Lindauer
- [FOM] What Is an Agorithm?
Victor Makarov
- [FOM] What Is an Algorithm?
Victor Makarov
- [FOM] Real Numbers
Victor Makarov
- [FOM] RE: Real Numbers
Victor Makarov
- [FOM] RE: Real Numbers
Victor Makarov
- [FOM] wittgenstein and goedel
Joao Marcos
- [FOM] ACA0, PA, PA'
Adrian-Richard-David Mathias
- [FOM] Continuum Hypothesis
Adrian-Richard-David Mathias
- [FOM] Question about Woodin Conjecture
Colin McLarty
- [FOM] A NON-ARITHMETICAL CHARACTERIZATION OF G"ODEL'S FIRST INCOMPLETENESS THEOREM
Steve Newberry
- [FOM] Real Numbers
Xavier Noria
- [FOM] RE: Real Numbers
John Pais
- [FOM] Real numbers
John Pais
- [FOM] Re: real numbers
John Pais
- [FOM] Real Numbers
John Pais
- [FOM] Real Numbers
John Pais
- [FOM] Attack/defense on Godel
Karlis Podnieks
- [FOM] What Is an Algorithm?
Vaughan Pratt
- [FOM] Axiomatizing functions with finite domains
Vaughan Pratt
- [FOM] Difficult?
Rahul Santhanam
- [FOM] Hume's principle and the axiom of choice
Stewart Shapiro
- [FOM] priority arguments in differential geometry?
Steve Simpson
- [FOM] real numbers
Hartley Slater
- [FOM] Real Numbers
Hartley Slater
- [FOM] Real numbers
Hartley Slater
- [FOM] real numbers
Hartley Slater
- [FOM] real numbers
Hartley Slater
- [FOM] real numbers
Hartley Slater
- [FOM] Real Numbers
Hartley Slater
- [FOM] Real Numbers
Hartley Slater
- [FOM] real numbers
Hartley Slater
- [FOM] real numbers
Hartley Slater
- [FOM] real numbers
Hartley Slater
- [FOM] 167:Incompleteness Reformulated/More
Robert M. Solovay
- [FOM] The Continuum Hypothesis
Robert M. Solovay
- [FOM] real numbers
Mitchell Spector
- [FOM] real numbers
Mitchell Spector
- [FOM] Continuum Hypothesis
Mitchell Spector
- [FOM] Continuum Hypothesis
John Steel
- [FOM] CH in standard models
John Steel
- [FOM] Question about Woodin Conjecture
John Steel
- [FOM] Real Numbers
Jasper Stein
- [FOM] FOM posting-Wittgenstein?
Mark Steiner
- [FOM] Wittgenstein?
Mark Steiner
- [FOM] RE: Real Numbers
Sean C Stidd
- [FOM] the stuff that [numbers] are made of
Sean C Stidd
- [FOM] Real Numbers
Sean C Stidd
- [FOM] Real Numbers
Sean C Stidd
- [FOM] Truth of the Goedel sentence
William Tait
- [FOM] Godel, Wittgenstein etc.
William Tait
- [FOM] RE: FOM Continuum Hypothesis
William Tait
- [FOM] real numbers
Bill Taylor
- [FOM] real numbers
Bill Taylor
- [FOM] real numbers
Bill Taylor
- [FOM] the stuff that [numbers] are made of
Bill Taylor
- [FOM] Continuum Hypothesis
Bill Taylor
- [FOM] Semantical realism without ontological realism in mathematics
Bill Taylor
- [FOM] Wittgenstein?
Neil Tennant
- [FOM] Godel, Wittgenstein etc.
Neil Tennant
- [FOM] Godel, Wittgenstein etc.
Neil Tennant
- [FOM] RE: FOM Continuum Hypothesis
Neil Tennant
- [FOM] Semantical realism without ontological realism in mathematics
Neil Tennant
- [FOM] Semantical realism without ontological realism in mathematics
Neil Tennant
- [FOM] Semantical realism without ontological realism in mathematics
Neil Tennant
- [FOM] FOM Potential
Neil Tennant
- [FOM] Consistency v. reflection, and the truth of the Godel-sentence
Neil Tennant
- [FOM] Goedel on Wittgenstein
Alasdair Urquhart
- [FOM] Wittgenstein?
T P Uschanov
- [FOM] Wittgenstein?
T P Uschanov
- [FOM] Wittgenstein?
T P Uschanov
- [FOM] Friedman's Simplified Foundations
W.Taylor at math.canterbury.ac.nz
- [FOM] Real Numbers
Lucas Wiman
- [FOM] Solution to Buckner?
Lucas Wiman
- [FOM] Solution for Buckner?
Lucas Wiman
- [FOM] Real Numbers
Lucas Wiman
- [FOM] Real Numbers
Lucas Wiman
- [FOM] Semantical realism without ontological realism in mathematics
Stephen Yablo
- [FOM] Godel's Theorems
mjmurphy
- [FOM] Fw: LW & The Liar
mjmurphy
- [FOM] FOM Potential
mjmurphy
- [FOM] Corrected version of FTGI: Boolean Lattices for Logicians
steve newberry
- [FOM] Godel's Theorems
praatika at mappi.helsinki.fi
- [FOM] Godel's Theorems
praatika at mappi.helsinki.fi
- [FOM] Godel, Wittgenstein etc.
praatika at mappi.helsinki.fi
- [FOM] Godel, Wittgenstein etc.
praatika at mappi.helsinki.fi
- [FOM] Godel, Wittgenstein etc.
praatika at mappi.helsinki.fi
- [FOM] interpretation
praatika at mappi.helsinki.fi
- [FOM] Semantical realism without ontological realism in mathematics
praatika at mappi.helsinki.fi
- [FOM] Semantical realism without ontological realism in mathematics
praatika at mappi.helsinki.fi
- [FOM] RE: Real Numbers
sean.stidd at juno.com
- [FOM] the stuff that [numbers] are made of
charles silver
- [FOM] Continuum Hypothesis
sjmangin at unimelb.edu.au
Last message date:
Sat May 31 02:22:27 EDT 2003
Archived on: Fri Mar 11 12:50:04 EDT 2005
This archive was generated by
Pipermail 0.09 (Mailman edition).