May 2003 Archives by subject

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

Starting: Thu May 1 00:09:02 EDT 2003
Ending: Sat May 31 02:22:27 EDT 2003
Messages: 214

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

Last message date: Sat May 31 02:22:27 EDT 2003
Archived on: Fri Mar 11 12:50:04 EDT 2005

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