November 2003 Archives by thread

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

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] Early views of infinitity   John T. Baldwin
• [FOM] 193:Piecewise Linear Statement   Harvey Friedman
  • [FOM] 194:PL Statement/clarification   Harvey Friedman
• [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] Re: query about complexity of the theory of [R,+, < ]   Stephen Cook
• [FOM] correction   Dave Marker
• [FOM] announcement I've been asked to post   Martin Davis
• [FOM] Online documents   Shahid Hussain
• [FOM] Early views of infinitity   Donald Stahl
• [FOM] RE: 195:The axiom of choice   Matt Insall
  • [FOM] RE: 195:The axiom of choice   kremer at uchicago.edu
  • [FOM] RE: 195:The axiom of choice   kremer at uchicago.edu
• [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] Early views infinity   José Félix Costa
  • [FOM] Early views infinity   William Tait
• [FOM] Error in statement of AC   Matt Insall
  • [FOM] Error in statement of AC   Michael Kremer
  • [FOM] Error in statement of AC   Kurt Maes
• [FOM] RE: 195:The axiom of choice   Marcin Mostowski
• [FOM] RE: 195:The axiom of choice   Marcin Mostowski
  • [FOM] 196:Quantifier complexity in set theory   Harvey Friedman
• [FOM] one way up via interpretability?   Matthew Frank
  • [FOM] one way up via interpretability?   Harvey Friedman
• [FOM] Platonism and undecidability   Neil Tennant
  • [FOM] Platonism and undecidability   Harvey Friedman
    • [FOM] Platonism and undecidability   Neil Tennant
  • [FOM] Platonism and undecidability   giovanni sambin
• [FOM] RE: Axiom of Choice   Matt Insall
• [FOM] Early views infinity   José Félix Costa
• [FOM] Platonism and undecidability   Neil Tennant
• [FOM] My latest opinion   Doron Zeilberger
  • [FOM] My latest opinion   Anatoly Vorobey
  • [FOM] Doron Zeilberger's Opinion 57   Olivier Gerard
• [FOM] Doron Zeilberger's opinion #57   Alasdair Urquhart
  • [FOM] Doron Zeilberger's opinion #57   Thomas Forster
  • [FOM] Doron Zeilberger's opinion #57   Michael Thayer
• [FOM] Re 196:Quantifier complexity in set theory   Kurt Maes
• [FOM] Re: My latest opinion   Timothy Y. Chow
• [FOM] Re: Doron Zeilberger #57   Kathy Gerber
• [FOM] questions on recursive functions and independence   William.Piper at colorado.edu
• [FOM] Robust Chess?   Harvey Friedman
• [FOM] WILD chess conjectures   Harvey Friedman
• [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] Mechanizing Proof: Computing, Risk, and Trust   Dennis E. Hamilton
  • [FOM] Brief Reply to Comments on my Opinion 57   William Tait
• [FOM] Brief Reply to Comments on my Opinion 57   Torkel Franzen
• [FOM] a definable nonstandard model of the reals   Stephen G Simpson
  • [FOM] a definable nonstandard model of the reals   John T. Baldwin
• [FOM] 197:PL and primes   Harvey Friedman
• [FOM] Reply to Zeilberger   Alasdair Urquhart
• [FOM] Brief Reply to Comments on my Opinion 57   Rob Arthan
• [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] What do you lose if you ditch Powerset?   Harvey Friedman
    • [FOM] What do you lose if you ditch Powerset?   Arnon Avron
      • [FOM] What do you lose if you ditch Powerset?   Harvey Friedman
• [FOM] "The Anatomy and Ultimate Nature of "True-but-Unprovable Propositions III"   steve newberry
• [FOM] A question on Natural Arithmetical Independence   Dmytro Taranovsky
  • [FOM] A question on Natural Arithmetical Independence   Harvey Friedman
• [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] What do you lose if you ditch Powerset? (fwd)   Thomas Forster
• [FOM] models for logic and model checking   shane
• [FOM] Re: Example of beef: nonrigorous heuristics   Harvey Friedman
• [FOM] My swan song is now complete   steve newberry
• [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] foundations of the pigeonhole principle?   Robert Tragesser
• [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] Re: Mirror versus opposite in categories   Colin McLarty
• [FOM] a definable nonstandard model of the reals   Philip Ehrlich
  • [FOM] Re: a definable nonstandard model of the reals   Dave Marker
• [FOM] [correction] a definable nonstandard model of the reals   Philip Ehrlich
• [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

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