November 2003 Archives by date
Starting: Sat Nov 1 08:23:40 EDT 2003
Ending: Sun Nov 30 19:42:47 EDT 2003
Messages: 103
- [FOM] daCosta-Doria paper
Ralf Schindler
- [FOM] Paper announcement: On the Geometry of Interaction for Classical Logic
David J. Pym
- [FOM] Davis on Torricelli
Dean Buckner
- [FOM] 193:Piecewise Linear Statement
Harvey Friedman
- [FOM] 194:PL Statement/clarification
Harvey Friedman
- [FOM] Early views of infinitity
John T. Baldwin
- [FOM] Non-constructive nature of probabilistic proofs
Timothy Y. Chow
- [FOM] P vs NP undecidability?
Alasdair Urquhart
- [FOM] Online documents
mail at sakharov.net
- [FOM] 195:The axiom of choice
Harvey Friedman
- [FOM] query about complexity of the theory of [R,+, < ]
Martin Davis
- [FOM] query about complexity of the theory of [R,+, < ]
John Baldwin
- [FOM] Re: query about complexity of the theory of [R,+, < ]
Dave Marker
- [FOM] correction
Dave Marker
- [FOM] announcement I've been asked to post
Martin Davis
- [FOM] Re: query about complexity of the theory of [R,+, < ]
Stephen Cook
- [FOM] Online documents
Shahid Hussain
- [FOM] Early views of infinitity
Donald Stahl
- [FOM] RE: 195:The axiom of choice
Matt Insall
- [FOM] Logical omniscience in epistemic logics
Aman Tripathi
- [FOM] A basis for the projective collections of sets
Fredrik Engström
- [FOM] Announcement: Symposium in honor of Solomon Feferman
Rick Sommer
- [FOM] Re: Non-constructive nature of probabilistic proofs
Timothy Y. Chow
- [FOM] Scotus on Actual Infinity
Dean Buckner
- [FOM] Logical omniscience in epistemic logics
Edwin Mares
- [FOM] RE: 195:The axiom of choice
kremer at uchicago.edu
- [FOM] RE: 195:The axiom of choice
kremer at uchicago.edu
- [FOM] Early views infinity
José Félix Costa
- [FOM] Error in statement of AC
Matt Insall
- [FOM] RE: 195:The axiom of choice
Marcin Mostowski
- [FOM] RE: 195:The axiom of choice
Marcin Mostowski
- [FOM] one way up via interpretability?
Matthew Frank
- [FOM] Error in statement of AC
Michael Kremer
- [FOM] one way up via interpretability?
Harvey Friedman
- [FOM] 196:Quantifier complexity in set theory
Harvey Friedman
- [FOM] Platonism and undecidability
Neil Tennant
- [FOM] RE: Axiom of Choice
Matt Insall
- [FOM] Error in statement of AC
Kurt Maes
- [FOM] Early views infinity
William Tait
- [FOM] Platonism and undecidability
Harvey Friedman
- [FOM] Platonism and undecidability
giovanni sambin
- [FOM] Platonism and undecidability
Neil Tennant
- [FOM] Early views infinity
José Félix Costa
- [FOM] Platonism and undecidability
Neil Tennant
- [FOM] My latest opinion
Doron Zeilberger
- [FOM] Doron Zeilberger's opinion #57
Alasdair Urquhart
- [FOM] My latest opinion
Anatoly Vorobey
- [FOM] Re 196:Quantifier complexity in set theory
Kurt Maes
- [FOM] Re: My latest opinion
Timothy Y. Chow
- [FOM] Doron Zeilberger's opinion #57
Thomas Forster
- [FOM] Re: Doron Zeilberger #57
Kathy Gerber
- [FOM] Doron Zeilberger's Opinion 57
Olivier Gerard
- [FOM] questions on recursive functions and independence
William.Piper at colorado.edu
- [FOM] Robust Chess?
Harvey Friedman
- [FOM] WILD chess conjectures
Harvey Friedman
- [FOM] Doron Zeilberger's opinion #57
Michael Thayer
- [FOM] Robust Chess?
Vladik Kreinovich
- [FOM] Friedman's chess conjectures
Alasdair Urquhart
- [FOM] Re: Doron Zeilberger's Opinion 57
Timothy Y. Chow
- [FOM] Brief Reply to Comments on my Opinion 57
Doron Zeilberger
- [FOM] Brief Reply to Comments on my Opinion 57
Torkel Franzen
- [FOM] a definable nonstandard model of the reals
Stephen G Simpson
- [FOM] 197:PL and primes
Harvey Friedman
- [FOM] Reply to Zeilberger
Alasdair Urquhart
- [FOM] a definable nonstandard model of the reals
John T. Baldwin
- [FOM] Brief Reply to Comments on my Opinion 57
Rob Arthan
- [FOM] Mechanizing Proof: Computing, Risk, and Trust
Dennis E. Hamilton
- [FOM] Brief Reply to Comments on my Opinion 57
William Tait
- [FOM] What do you lose if you ditch Powerset?
Timothy Y. Chow
- [FOM] What do you lose if you ditch Powerset?
sambin at math.unipd.it
- [FOM] "The Anatomy and Ultimate Nature of "True-but-Unprovable Propositions III"
steve newberry
- [FOM] A question on Natural Arithmetical Independence
Dmytro Taranovsky
- [FOM] re: What do you lose if you ditch Powerset?
A.P. Hazen
- [FOM] Sharp mathematical distinction between potential and actual infinity?
Harvey Friedman
- [FOM] Ham sandwiches and expanders
Harvey Friedman
- [FOM] A question on Natural Arithmetical Independence
Harvey Friedman
- [FOM] What do you lose if you ditch Powerset? (fwd)
Thomas Forster
- [FOM] models for logic and model checking
shane
- [FOM] What do you lose if you ditch Powerset?
Harvey Friedman
- [FOM] Re: Example of beef: nonrigorous heuristics
Harvey Friedman
- [FOM] What do you lose if you ditch Powerset?
Arnon Avron
- [FOM] My swan song is now complete
steve newberry
- [FOM] What do you lose if you ditch Powerset?
Harvey Friedman
- [FOM] My swan song is now complete, [take two].
steve newberry
- [FOM] Computer theorem proving in math
Michael Thayer
- [FOM] a definable nonstandard model of the reals
Philip Ehrlich
- [FOM] new book
S B Cooper
- [FOM] re: a definable nonstandard model of the reals
Dave Marker
- [FOM] a definable nonstandard model of the reals
Philip Ehrlich
- [FOM] foundations of the pigeonhole principle
Robert Tragesser
- [FOM] foundations of the pigeonhole principle
Arnon Avron
- [FOM] Cantor and the Axiom of Infiinty
Dean Buckner
- [FOM] "Knowledge, Rationality and Action": information I have been asked to post
Martin Davis
- [FOM] Mirror versus opposite in categories
Lengyel, Florian
- [FOM] foundations of the pigeonhole principle?
Robert Tragesser
- [FOM] Re: Mirror versus opposite in categories
Colin McLarty
- [FOM] a definable nonstandard model of the reals
Philip Ehrlich
- [FOM] [correction] a definable nonstandard model of the reals
Philip Ehrlich
- [FOM] Re: a definable nonstandard model of the reals
Dave Marker
- [FOM] Re: Mirror versus opposite in categories
Lengyel, Florian
- [FOM] Defining implication on non-distributive lattices
CGMcKay
- [FOM] FOM RE:Pigeonholes
Jeff Hirst
- [FOM] the moderator will beaway
Martin Davis
Last message date:
Sun Nov 30 19:42:47 EDT 2003
Archived on: Fri Mar 11 12:50:29 EDT 2005
This archive was generated by
Pipermail 0.09 (Mailman edition).