science.mathematics.fom (thread)

Cathegogical logic, Stanislav Barov
Moderator will be away, Martin Davis
biographies of logicians (from "A.J. Franco de Oliveira" <francoli-loeT6+ZXmDA@xxxxxxxxxxxxxxxx>), Martin Davis
- Message not available
  - Re: biographies of logicians (from "A.J. Franco de Oliveira" <francoli-loeT6+ZXmDA@xxxxxxxxxxxxxxxx>), H. Enderton
Misattributed quotation (re: occurrences), A.P. Hazen
Re: Type-Occurrence-Token (from Michael Kremer), Martin Davis
Type-Occurrence-Token, John Corcoran
- Re: Type-Occurrence-Token (Slightly edited version of a message I sent Prof. Corcoran), Mark Steiner
- Re: Type-Occurrence-Token, Charles Silver
- Re: Type-Occurrence-Token, Ron Rood
- Type-Occurrence-Token, A.P. Hazen
  - Re: Type-Occurrence-Token, Charles Parsons
    - Re: Type-Occurrence-Token, Charles Silver
  - Re: Type-Occurrence-Token, Ron Rood
Re: The empirical foundations of deductive logic and ..., Richard Haney
Re: The empirical foundations of deductive logic and ... (& applications to stochastic processes), Richard Haney
computing over the reals, Stephen Cook
Re: predicativity, Jeremy Avigad
- Re: predicativity, Nik Weaver
  - Message not available
    - Re: predicativity, giovanni sambin
    - predicativity, Nik Weaver
    - Message not available
    - The defence of well-founded set theory, Roger Bishop Jones
  - Message not available
    - Re: predicativity, Roger Bishop Jones
historical question about the axiomatisation of identity, Muller F.A.
- Message not available
  - Re: historical question about the axiomatisation of identity, Ron Rood
- Message not available
  - Re: historical question about the axiomatisation of identity, Richard Heck
- historical question about the axiomatisation of identity, Hartley Slater
  - Frege and the Truth-Values [Was: historical question about the axiomatisation of identity], Richard Heck
PSI 2006: First CFP, PSI06 Conference
On Ordinal Notations Plus Re:A New Ordinal Notation, Dmytro Taranovsky
- Re: On Ordinal Notations Plus Re:A New Ordinal Notation, Lew Gordeew
Alonzo Church on The Ontological Status of Women and Abstract Entities, John Corcoran
- Message not available
  - Message not available
    - Re: Alonzo Church on The Ontological Status of Women and Abstract Entities, Michael Zeleny
7th Augustus de Morgan Workshop, London (Nov 2005), Benedikt Loewe
Mathematical conceptualism, Nik Weaver
- Re: Mathematical conceptualism, Nik Weaver
  - Message not available
    - Re: Mathematical conceptualism, Roger Bishop Jones
PHINEWS BULLETIN / September 2005, Vincent F. Hendricks
The empirical foundations of deductive logic and the axiomatic method (& applications to, e.g., ODEs & stochastic processes) [repost, with revision and expansion, due to technical problems with original posting], Richard Haney
- Re: The empirical foundations of deductive logic and the axiomatic method (& applications to, e.g., ODEs & stochastic processes) [repost, with revision and expansion, due to technical problems with original posting], Vladimir Sazonov
FOM: BUFFALO LOGIC COLLOQUIUM 2005-6 FIRST FALL ANNOUNCEMENT, John Corcoran
Quotation of Brouwer/Poincare on Cantor, Jeff Hirst
Quotation of Brouwer on Cantor, Patrick Caldon
- Message not available
  - Re: Quotation of Brouwer on Cantor, A.R.D.Mathias
    - Message not available
    - Quotation of Poincare on Cantor, Alasdair Urquhart
    - Message not available
    - Re: Quotation of Brouwer on Cantor, Torkel Franzen
- Message not available
  - Re: Quotation of Brouwer on Cantor, Hans van Ditmarsch
- Re: Quotation of Brouwer on Cantor, Martin Davis
APA/ASL Winter Meeting, Alasdair Urquhart
Re: Hilbert and conservativeness, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Message not available
  - Re: Hilbert and conservativeness, Robert Black
- Re: Hilbert and conservativeness, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
  - Message not available
    - LaTeX for Logicians, Peter Smith
Computing the Modulus of Continuity, Jacques Carette
The empirical foundations of deductive logic and the axiomatic method (& applications to, e.g., ODEs & stochastic processes), Richard Haney
Re: A Category of Godel Codings. Comments?, H. Enderton
- Message not available
  - Re: A Category of Godel Codings. Comments?, Arnon Avron