September 2005 Archives by author

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

Starting: Thu Sep 1 13:45:31 EDT 2005
Ending: Thu Sep 29 16:54:24 EDT 2005
Messages: 58

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

Last message date: Thu Sep 29 16:54:24 EDT 2005
Archived on: Sat Oct 1 15:18:56 EDT 2005

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