August 2000 Archives by date

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

Starting: Fri Aug 4 00:22:19 EDT 2000
Ending: Thu Aug 31 20:38:45 EDT 2000
Messages: 53

• FOM: Book recommendation   Joe Shipman
• FOM: Book recommendation   Edward J. Huff
• FOM: G"odel set and integers (Platonism and Logicism in set theory)   Joseph Vidal-Rosset
• FOM: Georg Kreisel   Emre Domanic
• FOM: constructivity; priority arguments   Stephen G Simpson
• FOM: Schmerl conference update   Stephen G Simpson
• FOM: Re: Godel set and integers (Platonism and Logicism in set theory)   Joseph Vidal-Rosset
• FOM: Tait's question about classical existence proofs   Arnon Avron
• FOM: meeting in Bonn: Foundations of the Formal Sciences II   Stephen G Simpson
• FOM: reply to Vidal-Rosset   holmes at catseye.idbsu.edu
• FOM: Tait's question about classical existence proofs   Fred Richman
• FOM: nonconstructive existence proofs of algorithms   Stephen G Simpson
• FOM: Re: nonconstructive existence proofs of algorithms   Miguel A. Lerma
• FOM: nonconstructive existence proofs of algorithms   JoeShipman at aol.com
• FOM: Brief history of the negation of the axiom of choice   adib benjebara
• FOM: nonconstructive existence proofs of algorithms   Fred Richman
• FOM: Tait's question about classical existence proofs   Arnon Avron
• FOM: Tait's question about classical existence proofs   Fred Richman
• FOM: HA does not solve Post's Problem; foundational significance   Stephen G Simpson
• FOM: Shelah talk   Matthew Frank
• FOM: Shelah talk (cardinal powers)   JoeShipman at aol.com
• FOM: Shelah talk (cardinal powers)   Matthew Frank
• FOM: Book recommendation   Stephen G Simpson
• FOM: Re: Book recommendation   Roger Bishop Jones
• FOM: Book recommendation   Stephen G Simpson
• FOM: Workshop on Simple Theories   Stephen G Simpson
• FOM: Shelah talk (cardinal powers) (fwd)   John Baldwin
• FOM: shelah   Juliette Kennedy
• FOM: Book on Cardinal Arithmetic   Joe Shipman
• FOM: Book recommendation   Roger Bishop Jones
• FOM: non-computable waves   Prof. Weihrauch
• FOM: conference on diagrams   Stephen G Simpson
• FOM: Book recommendation   Stephen G Simpson
• FOM: Re: non-computable waves   Jeffrey Ketland
• FOM: physical computability   Stewart Shapiro
• FOM: physical computability   JoeShipman at aol.com
• FOM: non-computable waves - QM case   Jeffrey Ketland
• FOM: physical computability   Miguel A. Lerma
• FOM: physical computability   Jeffrey Ketland
• FOM: physical computability   JoeShipman at aol.com
• FOM: Book recommendation   Roger Bishop Jones
• FOM: ``Reduction'' of Second-Order Logic to First-Order Logic ... Re: Fri Aug 25 10:09:25 2000 ... R.B. Jones   Matt Insall
• FOM: Re: ``Reduction'' of Second-Order Logic to First-Order Logic   Roger Bishop Jones
• FOM: Satisfiable formulas are not r.e.   Jeffrey Ketland
• FOM: the satisfiable sentences are NOT an r.e. set   Martin Davis
• FOM: ``Reduction'' of Second-Order Logic to First-Order Logic   JoeShipman at aol.com
• FOM: Re: ``Reduction'' of Second-Order Logic to First-Order Logic   Matt Insall
• FOM: Re: ``Reduction'' of Second-Order Logic to First-Order Logic   Roger Bishop Jones
• FOM: first order and second order logic: once more   Martin Davis
• FOM: Re: ``Reduction'' of Second-Order Logic to First-Order Logic   Roger Bishop Jones
• FOM: first order and second order logic: once more   H. Enderton
• FOM: Another attempt at defining Math   Yoav
• FOM: Questions on higher-order logic   JoeShipman at aol.com

Last message date: Thu Aug 31 20:38:45 EDT 2000
Archived on: Fri Mar 11 12:49:02 EDT 2005

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