July 2003 Archives by date
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] Tim Gowers work (was: One Real Number)
Jeremy Clark
- [FOM] RE: FOM New Axioms
Jeremy Clark
- [FOM] explicit construction; choice and model theory
Harvey Friedman
- [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] 186:Grand Unification I
Harvey Friedman
- [FOM] 187:Grand Unification 2 - saving human lives
Harvey Friedman
- [FOM]Elementary Set Theory with a Universal Set by M.R. Holmes
steve newberry
- [FOM] Re: Solution (?) to Mathematical Certainty Problem
Leo Marcus
- [FOM] On the difficulty of finding a prime number just by guessing
Joao Marcos
- [FOM] explicit construction; choice and model theory
John T. Baldwin
- [FOM] 187:Grand Unification 2 - saving human lives
Stuart O Anderson
- [FOM] Mathematical Certainty Problem
John T. Baldwin
- [FOM] explicit construction; choice and model theory
Harvey Friedman
- [FOM] Re: 187:Grand Unification 2 - saving human lives
Harvey Friedman
- [FOM] explicit construction; choice and model theory
Harvey Friedman
- [FOM] Mathematical Certainty Problem
Harvey Friedman
- [FOM] Non-constructiveness.
Robert Black
- [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] set theory with a universal set
M. Randall Holmes
- [FOM] Scott's not entirely ingored attempt ...
Michael Lamport Commons
- [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] Non-constructiveness.
Lucas Wiman
- [FOM] Explicit constructions
JoeShipman at aol.com
- [FOM] Scott's not entirely ingored attempt
A.P. Hazen
- [FOM] Non-constructiveness.
Robert Black
- [FOM] Non-constructiveness.
Vladimir Sazonov
- [FOM] Explicit constructions
John T. Baldwin
- [FOM] Work of Timothy Gowers
Alasdair Urquhart
- [FOM] Hales's proof of the Kepler conjecture
Alasdair Urquhart
- [FOM] Non-constructiveness.
Lucas Wiman
- [FOM] Epistemology and the Philosophy of Mathematics (was Mathematical Experiments)
Don Fallis
- [FOM] Non-constructiveness.
richman
- [FOM] Logically Full Structures and Theories
John T. Baldwin
- Correction: [FOM] Logically Full Structures and Theories
John T. Baldwin
- [FOM] Work of Timothy Gowers
Dean Buckner
- Correction: [FOM] Logically Full Structures and Theories
Harvey Friedman
- [FOM] Epistemology and the Philosophy of Mathematics (wasMathematical Experiments)
Dan Goodman
- [FOM] Re: Explicit construction [etc]
W.Taylor at math.canterbury.ac.nz
- [FOM] "Diophantine Complete" rings
Martin Davis
- [FOM] 188:Applications of Hilbert's 10th
Harvey Friedman
- [FOM] "Diophantine Complete" rings
Fred Richman
- [FOM] 188:Applications of Hilbert's 10th
Harvey Friedman
- [FOM] The width of V
Roger Bishop Jones
- [FOM] The width of V
Kanovei
- [FOM] Intensional identicity and identicity of proofs
Aatu Koskensilta
- [FOM] The width of V
Roger Bishop Jones
- [FOM] 187:Grand Unification 2 - saving human lives
Roger Bishop Jones
- [FOM] The Width of V
Alasdair Urquhart
- [FOM] Work of Timothy Gowers
Alasdair Urquhart
- [FOM] Mechanising Proof
Roger Bishop Jones
- [FOM] Wolfram Cellular Automata versus Turing Machines
Steve Stevenson
- [FOM] Re: The width of V
Eric Steinhart
- [FOM] Wolfram Cellular Automata versus Turing Machines
John T. Baldwin
- [FOM] 187:Grand Unification 2 - saving human lives
Victor Makarov
- [FOM] Re: The width of V
Roger Bishop Jones
- [FOM] 187:Grand Unification 2 - saving human lives
Roger Bishop Jones
- [FOM] Re: The width of V
Aatu Koskensilta
- [FOM] 187:Grand Unification 2 - saving human lives
Harvey Friedman
- [FOM] Re: Explicit construction [etc]
Franklin Vera Pacheco
- [FOM] foundational?
Harvey Friedman
- [FOM] foundational? more
Harvey Friedman
- [FOM] Re: Re: The width of V (Roger Bishop Jones)
Eric Steinhart
- [FOM] 187:Grand Unification 2 - saving human lives
Steve Newberry
- [FOM] Rules and axioms for Harvey Friedman's system.
Sandy Hodges
- [FOM] Intensional identicity and identicity of proofs
Kenneth Walden
- [FOM] 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] explicit construction; choice and model theory
Stephen G Simpson
- [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] Independence without forcing
Todd.Eisworth at uni.edu
- [FOM] Re:Independence without forcing
Martin Davis
- [FOM] Intensional identicity and identicity of proofs
Aatu Koskensilta
- [FOM] Borel categoricity
Dave Marker
- [FOM] Re: The width of V
Roger Bishop Jones
- [FOM] Re:Independence without forcing
E. Todd Eisworth
- [FOM] Re: The width of V
E. Todd Eisworth
- [FOM] Non-distributive predication
Tom McKay
- [FOM] Re:Independence without forcing
Harvey Friedman
- [FOM]: Independece without Forcing
E. Todd Eisworth
- [FOM] Independence without forcing
Todd.Eisworth at uni.edu
- [FOM] Independence without forcing
Todd.Eisworth at uni.edu
- [FOM]: Independece without Forcing
Harvey Friedman
- [FOM] Non-distributive predication
Dean Buckner
- [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
Harvey Friedman
- [FOM] Difficult?
Harvey Friedman
- [FOM] Independence without forcing
E. Todd Eisworth
- [FOM] Independence without forcing
solovay at math.berkeley.edu
- [FOM] Non-distributive predication
William Tait
- [FOM] Independence without forcing
Harvey Friedman
- [FOM] Non-distributive predication
Tom McKay
- [FOM] Non-distributive predication
Tom McKay
- [FOM] ASL Annual Meeting
Stephen G Simpson
- [FOM] Independence without forcing
JoeShipman at aol.com
- [FOM] Reverse Number Theory
Stephen G Simpson
- [FOM] RE: FOM ``Superincompleteness'' ... Well, almost
Matt Insall
- [FOM] RE: FOM ``Near Superincompleteness''
Matt Insall
- [FOM] Modified Rosser sentences
Thomas Forster
- [FOM] Modified Rosser sentences
praatika at mappi.helsinki.fi
- [FOM] Reverse Number Theory -- corrected posting
Stephen G Simpson
- [FOM] Modified Rosser sentences
Thomas Forster
- [FOM] Strict RM/Reverse Number Theory
Harvey Friedman
- [FOM] Independence without forcing
solovay at math.berkeley.edu
- [FOM] real numbers
Andreas Blass
- [FOM] set theory comments
Andreas Blass
- [FOM] announcement of positions available
martin at eipye.com
- [FOM] Re: Borel categoricity
Dave Marker
- [FOM] ASL Annual Meeting
Stephen G Simpson
- [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] Rosser sentences
Robert M. Solovay
- [FOM] Rosser sentences
praatika at mappi.helsinki.fi
- [FOM] typo, choice, and more reals
Andreas Blass
- [FOM] Foundations through categories, part II
Michael Makkai
- [FOM] Re: Borel categoricity
Dave Marker
- [FOM] typo, choice, and more reals
JoeShipman at aol.com
- [FOM] typo, choice, and more reals
Peter G. Hancock
- [FOM] Rosser sentences (fwd)
Thomas Forster
- [FOM] Rosser sentences
praatika at mappi.helsinki.fi
- [FOM] Dependence relations in model theory
John T. Baldwin
- [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
Kanovei
- [FOM] Dependence relations in model theory, 1
Harvey Friedman
- [FOM] Dependence relations in model theory, 2
Harvey Friedman
- [FOM] Re: L-measurable sets
E. Todd Eisworth
- [FOM] dependence relations - formal theory
John T. Baldwin
- [FOM] Dependence relations
John Baldwin
- [FOM] Model theory and foundations
Alasdair Urquhart
- [FOM] provactive review
John T. Baldwin
- [FOM] message from Leonid Levin
Martin Davis
- [FOM] Model theory and foundations
John T. Baldwin
- [FOM] message from Leonid Levin
Stephen G Simpson
- [FOM] Model theory and foundations
Alasdair Urquhart
- [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] Model theory and foundations
Stephen G Simpson
- [FOM] Model theory and foundations
Torkel Franzen
- [FOM] Model theory and foundations
Ayan Mahalanobis
- [FOM] General Foundations Discussion
Harvey Friedman
- [FOM] General Foundations Discussion
Torkel Franzen
- [FOM] Consistency of formal systems
Torkel Franzen
- [FOM] General Foundations Discussion
Ayan Mahalanobis
- [FOM] General Foundations Discussion
Harvey Friedman
- [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] General Foundations Discussion
Michael Thayer
- [FOM] Hao Wang on sets
Alasdair Urquhart
- [FOM] Infinitesimals
Alasdair Urquhart
- [FOM] Non-standard analysis
Alasdair Urquhart
- [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] Non-standard analysis
Harvey Friedman
- [FOM] nonstandard analysis
John T. Baldwin
- [FOM] Infinitesimals
Alexander M Lemberg
- [FOM] Nonstandard Analysis/Models
Harvey Friedman
- [FOM] Nonstandard Methods
Harvey Friedman
- [FOM] Nonstandard Methods
Martin Davis
- [FOM] Nonstandard Methods
Todd Wilson
- [FOM] Nonstandard analysis
John T. Baldwin
- [FOM] RE: FOM Nonstandard Methods
Matt Insall
- [FOM] Nonstandard analysis
Harvey Friedman
- [FOM] RE: FOM Large Cardinals with Nonstandard Methods?
Matt Insall
- [FOM] Nonstandard Methods
Harvey Friedman
- [FOM] "Galaxies"
Martin Davis
- [FOM] Large Cardinals and Extensions
Harvey Friedman
- [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
This archive was generated by
Pipermail 0.09 (Mailman edition).