July 2003 Archives by thread

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

Starting: Tue Jul 1 03:43:43 EDT 2003
Ending: Thu Jul 31 13:52:32 EDT 2003
Messages: 203

• [FOM] Re: A ... cute? ... axiomatic system   A.P. Hazen
• [FOM] CATEGORICITY and STRONGLY MINIMAL SETS   John T. Baldwin
• [FOM] finite axiomatizability and categoricity   John T. Baldwin
• [FOM] explicit construction; choice and model theory   John T. Baldwin
  • [FOM] explicit construction; choice and model theory   Harvey Friedman
    • [FOM] explicit construction; choice and model theory   John T. Baldwin
      • [FOM] explicit construction; choice and model theory   Harvey Friedman
      • [FOM] explicit construction; choice and model theory   Harvey Friedman
    • [FOM] explicit construction; choice and model theory   Stephen G Simpson
• [FOM] Tim Gowers work (was: One Real Number)   Jeremy Clark
• [FOM] RE: FOM New Axioms   Jeremy Clark
• [FOM] Re: Tim Gowers work   W.Taylor at math.canterbury.ac.nz
• [FOM] Notation. was: Responses re Certainty, Simplified Foundations   W.Taylor at math.canterbury.ac.nz
• "Limitation of" was: [FOM] New Axioms   W.Taylor at math.canterbury.ac.nz
• [FOM] Non-constructiveness.   W.Taylor at math.canterbury.ac.nz
  • [FOM] Non-constructiveness.   Robert Black
    • [FOM] Non-constructiveness.   Lucas Wiman
      • [FOM] Non-constructiveness.   Robert Black
      • [FOM] Non-constructiveness.   Lucas Wiman
  • [FOM] Non-constructiveness.   Vladimir Sazonov
• [FOM] 186:Grand Unification I   Harvey Friedman
• [FOM] 187:Grand Unification 2 - saving human lives   Harvey Friedman
  • [FOM] 187:Grand Unification 2 - saving human lives   Stuart O Anderson
    • [FOM] Re: 187:Grand Unification 2 - saving human lives   Harvey Friedman
  • [FOM] 187:Grand Unification 2 - saving human lives   Roger Bishop Jones
    • [FOM] Mechanising Proof   Roger Bishop Jones
    • [FOM] 187:Grand Unification 2 - saving human lives   Harvey Friedman
      • [FOM] 187:Grand Unification 2 - saving human lives   Steve Newberry
• [FOM]Elementary Set Theory with a Universal Set by M.R. Holmes   steve newberry
• [FOM] Re: Solution (?) to Mathematical Certainty Problem   Leo Marcus
  • [FOM] Mathematical Certainty Problem   John T. Baldwin
    • [FOM] Mathematical Certainty Problem   Harvey Friedman
• [FOM] On the difficulty of finding a prime number just by guessing   Joao Marcos
• [FOM] Re: 187:Grand Unification 2 - saving human lives   Till Mossakowski
• [FOM] An optimal proof-theoretic classification of Hilbert's basis theorem   Andreas Weiermann
• [FOM] Scott's not entirely ingored attempt ...   Peter Smith
  • [FOM] Scott's not entirely ingored attempt ...   Michael Lamport Commons
• [FOM] set theory with a universal set   M. Randall Holmes
• [FOM] Logically Full Structures and Theories   Harvey Friedman
  • [FOM] Logically Full Structures and Theories   John T. Baldwin
    • Correction: [FOM] Logically Full Structures and Theories   John T. Baldwin
      • Correction: [FOM] Logically Full Structures and Theories   Harvey Friedman
• [FOM] Re: Tim Gowers work   Dean Buckner
• [FOM] Choice sequences and excluded middle   Giuseppina Ronzitti
• [FOM] Explicit constructions   John T. Baldwin
• [FOM] Schwartz on verification   Harvey Friedman
• [FOM] Explicit constructions   JoeShipman at aol.com
  • [FOM] Explicit constructions   John T. Baldwin
• [FOM] Scott's not entirely ingored attempt   A.P. Hazen
• [FOM] Work of Timothy Gowers   Alasdair Urquhart
• [FOM] Hales's proof of the Kepler conjecture   Alasdair Urquhart
• [FOM] Epistemology and the Philosophy of Mathematics (was Mathematical Experiments)   Don Fallis
  • [FOM] Epistemology and the Philosophy of Mathematics (wasMathematical Experiments)   Dan Goodman
    • [FOM] The width of V   Roger Bishop Jones
      • [FOM] The width of V   E. Todd Eisworth
• [FOM] Non-constructiveness.   richman
• [FOM] Work of Timothy Gowers   Dean Buckner
• [FOM] Re: Explicit construction [etc]   W.Taylor at math.canterbury.ac.nz
  • [FOM] Re: Explicit construction [etc]   Franklin Vera Pacheco
• [FOM] "Diophantine Complete" rings   Martin Davis
  • [FOM] "Diophantine Complete" rings   Fred Richman
• [FOM] 188:Applications of Hilbert's 10th   Harvey Friedman
• [FOM] 188:Applications of Hilbert's 10th   Harvey Friedman
• [FOM] The width of V   Kanovei
  • [FOM] The width of V   Roger Bishop Jones
• [FOM] Intensional identicity and identicity of proofs   Aatu Koskensilta
• [FOM] The Width of V   Alasdair Urquhart
• [FOM] Work of Timothy Gowers   Alasdair Urquhart
• [FOM] Wolfram Cellular Automata versus Turing Machines   Steve Stevenson
  • [FOM] Wolfram Cellular Automata versus Turing Machines   John T. Baldwin
• [FOM] Re: The width of V   Eric Steinhart
  • [FOM] Re: The width of V   Roger Bishop Jones
  • [FOM] Re: The width of V   Aatu Koskensilta
• [FOM] 187:Grand Unification 2 - saving human lives   Victor Makarov
  • [FOM] 187:Grand Unification 2 - saving human lives   Roger Bishop Jones
• [FOM] foundational?   Harvey Friedman
• [FOM] foundational? more   Harvey Friedman
• [FOM] Re: Re: The width of V (Roger Bishop Jones)   Eric Steinhart
  • [FOM] Re: The width of V   Roger Bishop Jones
    • [FOM] Re: The width of V   E. Todd Eisworth
• [FOM] Rules and axioms for Harvey Friedman's system.   Sandy Hodges
  • [FOM] Rules and axioms for Harvey Friedman's system.   Harvey Friedman
• [FOM] Intensional identicity and identicity of proofs   Kenneth Walden
  • [FOM] Intensional identicity and identicity of proofs   Aatu Koskensilta
• [FOM] Rules and axioms for Harvey Friedman's system.   Sandy Hodges
• [FOM] standards for postings on FOM   Martin Davis
• [FOM] standards for posting on FOM: CORRECTION!!   Martin Davis
• [FOM] Foundations and Model Theory I.   John T. Baldwin
• [FOM] foundations and model theory II   John T. Baldwin
• [FOM] Foundations and Model Theory III   John T. Baldwin
• [FOM] Model theory and foundations IV   John T. Baldwin
  • [FOM] Model theory and foundations IV   Stephen G Simpson
    • [FOM] Model theory and foundations IV   Robert M. Solovay
      • [FOM] Model theory and foundations IV   Stephen G Simpson
• [FOM] Independence without forcing   Todd.Eisworth at uni.edu
• [FOM] Re:Independence without forcing   Martin Davis
  • [FOM] Re:Independence without forcing   E. Todd Eisworth
• [FOM] Borel categoricity   Dave Marker
  • [FOM] Re: Borel categoricity   Dave Marker
    • [FOM] Re: Borel categoricity   Dave Marker
• [FOM] Non-distributive predication   Tom McKay
  • [FOM] Non-distributive predication   William Tait
    • [FOM] Non-distributive predication   Tom McKay
• [FOM] Re:Independence without forcing   Harvey Friedman
• [FOM]: Independece without Forcing   E. Todd Eisworth
  • [FOM]: Independece without Forcing   Harvey Friedman
• [FOM] Independence without forcing   Todd.Eisworth at uni.edu
• [FOM] Independence without forcing   Todd.Eisworth at uni.edu
• [FOM] Non-distributive predication   Dean Buckner
  • [FOM] Non-distributive predication   Tom McKay
• [FOM]: Independece without Forcing   Harvey Friedman
  • [FOM]: Independece without Forcing   Roger Bishop Jones
• [FOM] Independence without forcing   Todd.Eisworth at uni.edu
  • [FOM] Independence without forcing   Roger Bishop Jones
  • [FOM] Independence without forcing   John Steel
    • [FOM] Independence without forcing   E. Todd Eisworth
      • [FOM] Independence without forcing   Harvey Friedman
  • [FOM] Independence without forcing   Harvey Friedman
• [FOM] Difficult?   Harvey Friedman
• [FOM] Independence without forcing   solovay at math.berkeley.edu
• [FOM] ASL Annual Meeting   Stephen G Simpson
  • [FOM] ASL Annual Meeting   Stephen G Simpson
• [FOM] Independence without forcing   JoeShipman at aol.com
  • [FOM] Modified Rosser sentences   Thomas Forster
    • [FOM] Modified Rosser sentences   praatika at mappi.helsinki.fi
• [FOM] Reverse Number Theory   Stephen G Simpson
  • [FOM] Reverse Number Theory -- corrected posting   Stephen G Simpson
  • [FOM] Strict RM/Reverse Number Theory   Harvey Friedman
• [FOM] RE: FOM ``Superincompleteness'' ... Well, almost   Matt Insall
• [FOM] RE: FOM ``Near Superincompleteness''   Matt Insall
• [FOM] Modified Rosser sentences   Thomas Forster
• [FOM] Independence without forcing   solovay at math.berkeley.edu
  • [FOM] Rosser sentences   Robert M. Solovay
    • [FOM] Rosser sentences   praatika at mappi.helsinki.fi
• [FOM] real numbers   Andreas Blass
• [FOM] set theory comments   Andreas Blass
• [FOM] announcement of positions available   martin at eipye.com
• [FOM] typo, choice, and more reals   Andreas Blass
  • [FOM] typo, choice, and more reals   Peter G. Hancock
• [FOM] Foundations through categories, part II   Michael Makkai
• [FOM] typo, choice, and more reals   JoeShipman at aol.com
• [FOM] Rosser sentences (fwd)   Thomas Forster
• [FOM] Rosser sentences   praatika at mappi.helsinki.fi
• [FOM] Dependence relations in model theory   John T. Baldwin
  • [FOM] Dependence relations in model theory, 1   Harvey Friedman
• [FOM] a question about L-measurable set   Yu Liang
• [FOM] Re: L-measurable sets   Ali Enayat
• [FOM] a popular verstion-a question about L-measurable set   Yu Liang
• [FOM] Re: L-measurable sets   Ali Enayat
  • [FOM] Re: L-measurable sets   E. Todd Eisworth
• [FOM] Re: L-measurable sets   Kanovei
• [FOM] Dependence relations in model theory, 2   Harvey Friedman
• [FOM] dependence relations - formal theory   John T. Baldwin
• [FOM] Dependence relations   John Baldwin
• [FOM] Model theory and foundations   Alasdair Urquhart
  • [FOM] Model theory and foundations   John T. Baldwin
• [FOM] provactive review   John T. Baldwin
• [FOM] message from Leonid Levin   Martin Davis
  • [FOM] message from Leonid Levin   Stephen G Simpson
• [FOM] Model theory and foundations   Alasdair Urquhart
  • [FOM] Model theory and foundations   Stephen G Simpson
    • [FOM] Model theory and foundations   Torkel Franzen
    • [FOM] Model theory and foundations   Ayan Mahalanobis
• [FOM] CCA 2003 - Call for Participation   Vasco Brattka
• [FOM] Re: FOM and real numbers   Roger Bishop Jones
• [FOM] Re: FOM and real numbers   JoeShipman at aol.com
• [FOM] ESSLLI 2004 final call for proposals   Martin Davis
• [FOM] General Foundations Discussion   Harvey Friedman
  • [FOM] General Foundations Discussion   Torkel Franzen
  • [FOM] General Foundations Discussion   Ayan Mahalanobis
    • [FOM] General Foundations Discussion   Harvey Friedman
    • [FOM] General Foundations Discussion   Michael Thayer
• [FOM] Consistency of formal systems   Torkel Franzen
• [FOM] Hao Wang paper?   W.Taylor at math.canterbury.ac.nz
  • [FOM] Hao Wang paper?   Jay Halcomb
  • [FOM] Hao Wang paper?   Kenneth Walden
  • [FOM] Hao Wang paper?   Xing Taotao
• [FOM] General Foundations Discussion   richman
• [FOM] Hao Wang on sets   Alasdair Urquhart
• [FOM] Infinitesimals   Alasdair Urquhart
• [FOM] Non-standard analysis   Alasdair Urquhart
  • [FOM] Non-standard analysis   Harvey Friedman
• [FOM] Consistency of formal systems   H. Enderton
  • [FOM] Consistency of formal systems   Torkel Franzen
• [FOM] Re: Message from Leonid Levin   Martin Davis
• [FOM] Feferman awarded 2003 Rolf Schock Prize (reposted)   Charles Steinhorn
• [FOM] nonstandard analysis   John T. Baldwin
  • [FOM] Nonstandard Methods   Harvey Friedman
    • [FOM] Nonstandard Methods   Todd Wilson
• [FOM] Infinitesimals   Alexander M Lemberg
• [FOM] Nonstandard Analysis/Models   Harvey Friedman
• [FOM] Nonstandard Methods   Martin Davis
• [FOM] Nonstandard analysis   John T. Baldwin
  • [FOM] Nonstandard analysis   Harvey Friedman
• [FOM] RE: FOM Nonstandard Methods   Matt Insall
• [FOM] RE: FOM Large Cardinals with Nonstandard Methods?   Matt Insall
  • [FOM] Large Cardinals and Extensions   Harvey Friedman
• [FOM] Nonstandard Methods   Harvey Friedman
• [FOM] "Galaxies"   Martin Davis
• [FOM] The recursive omega rule   Torkel Franzen
• [FOM] Definition of Galaxy   Martin Davis
• [FOM] Order-types of nonstandard models   Alasdair Urquhart
• [FOM] Smooth Infinitesimal Analysis   Alasdair Urquhart

Last message date: Thu Jul 31 13:52:32 EDT 2003
Archived on: Fri Mar 11 12:50:14 EDT 2005

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