November 2005 Archives by thread

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

Starting: Tue Nov 1 20:10:13 EDT 2005
Ending: Wed Nov 30 18:10:09 EDT 2005
Messages: 113

• [FOM] colour or colours   A.R.D.Mathias
• [FOM] Some informative questions about intuitionistic logic and mathematics   Arnon Avron
  • [FOM] Some informative questions about intuitionistic logic and mathematics   Richard Heck
    • [FOM] Some informative questions about intuitionistic logic and mathematics   Thomas Forster
      • [FOM] Some informative questions about intuitionistic logic and mathematics   Neil Tennant
      • [FOM] Intutionistic "negation"   Arnon Avron
      • [FOM] Intutionistic "negation"   Rob Arthan
  • [FOM] Some informative questions about intuitionistic logic and mathematics   Todd Wilson
  • [FOM] Some informative questions about intuitionistic logic and mathematics   Wim van Gessel
  • [FOM] Some informative questions about intuitionistic logic and mathematics   giovanni sambin
  • [FOM] Avron's questions about intuitionistic   A.P. Hazen
  • [FOM] Some informative questions about intuitionistic logic and mathematics   Lew Gordeew
• [FOM] Mathematical explanation   mjmurphy
  • [FOM] Mathematical explanation   Richard Heck
    • [FOM] Mathematical explanation   mjmurphy
• [FOM] Intuitionism, predicativism, and ill-defined domains   Arnon Avron
• [FOM] Gödel's theorems and abstract notions   Olivier Souan
• [FOM] Ackermann Award   Zoltan Esik
• [FOM] Intuitionism, predicativism, and ill-defined domains   Nik Weaver
• [FOM] Mathematical explanation   Dean Buckner
• [FOM] colour or colours   Paul Hollander
• [FOM] Some informative questions about intuitionistic logic and mathematics, Arnon Avron aa at tau.ac.il   Rene Vestergaard
  • [FOM] Some informative questions about intuitionistic logic and mathematics, Arnon Avron aa at tau.ac.il   Todd Wilson
• [FOM] CSR-2006: Final Call for Papers   Edward A. Hirsch
• [FOM] Some informative questions about intuitionistic logic and mathematics   Mark van Atten
• [FOM] Credit where credit is due (a cute trick in BBJ)   Peter Smith
• [FOM] St. PetersburgCSR-2006: Final Call for Papers (fwd)   Grigori Mints
• [FOM] Formal grammar question   A.P. Hazen
  • [FOM] Formal grammar question   A.P. Hazen
  • [FOM] Formal grammar question   Todd Wilson
  • [FOM] Formal grammar question   Alasdair Urquhart
  • [FOM] Formal grammar question   A. Mani
• [FOM] Finite Analogues of Infinite Structures   Dmytro Taranovsky
• [FOM] 254:Pi01 Progress/more   Harvey Friedman
• [FOM] CFP: European Conference on Logics in AI [JELIA'06]   Michael Fisher
• [FOM] FOM--BUFFALO LOGIC COLLOQUIUM 2005-6: SIXTH FALL ANNOUNCEMENT   John Corcoran
• [FOM] CiE06: 2nd Call for Papers   S B Cooper
• [FOM] FOL reduced to equational logic   H Z
  • [FOM] FOL reduced to equational logic   Lew Gordeew
    • [FOM] FOL reduced to equational logic   Richard Grandy
• [FOM] 255:Controlling Pi01   Harvey Friedman
• [FOM] Question on history of Turing machines   Lew Gordeew
• [FOM] Question on the number line   Dean Buckner
  • [FOM] Question on the number line   Steven Ericsson Zenith
  • [FOM] Buckner's Question on the number line   A.P. Hazen
  • [FOM] Question on the number line   Rob Arthan
  • [FOM] Question on the number line   Alasdair Urquhart
  • [FOM] Question on the number line   H Z
  • [FOM] Question on the number line   William Tait
    • [FOM] Question on the number line   Alasdair Urquhart
  • [FOM] Question on the number line   Ron Rood
• [FOM] Construction of the Reals and a Paradigm   A. Mani
• [FOM] Improving the Fundamental Theorem of Algebra   joeshipman at aol.com
• [FOM] CFP: M4M-4 Program and Call for Participation   Holger Schlingloff
• [FOM] finite choice question   Stephen Fenner
  • [FOM] finite choice question   Robert M. Solovay
  • [FOM] finite choice question   A.P. Hazen
  • [FOM] finite choice question   Thomas Forster
  • [FOM] finite choice question   Andrej Bauer
• [FOM] Question on Number Line (Bruckner)   Robert Tragesser
  • [FOM] Question on Number Line   Lawrence Stout
• [FOM] Question on the number line   Dean Buckner
  • [FOM] Question on the number line   Robert Black
    • [FOM] Question on the number line   Robert Lindauer
• [FOM] Corrected response to Question on Number Line (Bruckner)   Robert Tragesser
  • [FOM] Number Line/mereology   Harvey Friedman
• [FOM] Question on the number line   Hartley Slater
• [FOM] finite choice question   Peter Schuster
• [FOM] Nonempty Finite Interval Mereology   Harvey Friedman
  • [FOM] Nonempty Finite Interval Mereology   A.P. Hazen
• [FOM] A question on disjunction and numerical existence properties for extensions of HA   Wojtek Moczydlowski
  • [FOM] A question on disjunction and numerical existence properties for extensions of HA   Harvey Friedman
• [FOM] Geometry question   A. Mani
  • [FOM] Geometry question   A.P. Hazen
    • [FOM] Geometry question   Jay Sulzberger
  • [FOM] Geometry question   Olivier Souan
• [FOM] mereology reference and comment   Robert Smith
• [FOM] 256:NAME:finite inclusion theory   Harvey Friedman
• [FOM] Lisbon positions in quantum computation, information and logic   Amílcar Sernadas
• [FOM] Formal grammar question   Alasdair Urquhart
• [FOM] Geometry question   Andre.Rodin at ens.fr
  • [FOM] Geometry question   William Boshuck
    • [FOM] Geometry question   A.J. Franco de Oliveira
• [FOM] 257:FIT/more   Harvey Friedman
• [FOM] Question on the relevance of pragmatism to mathematical abstraction   Richard Haney
• [FOM] Question on the relevance of pragmatism to mathematical abstraction   praatika at mappi.helsinki.fi
• [FOM] Proof Identity   Milos Adzic
• [FOM] can the classicist understand the intuitionist? if not, why?   Joao Marcos
  • [FOM] can the classicist understand the intuitionist? if not, why?   Todd Wilson
• [FOM] Master Class in Mathematical Logic, 2006-7   Jaap van Oosten
• [FOM] Question about "fresh" variables/objects in logics   Divianszky Peter
  • [FOM] Question about "fresh" variables/objects in logics   Bas Spitters
  • [FOM] Question about "fresh" variables/objects in logics   Steven Obua
  • [FOM] Question about "fresh" variables/objects in logics   A. Mani
  • [FOM] Question about "fresh" variables/objects in logics   Andrej Bauer
• [FOM] Quotation from Frege   Dean Buckner
  • [FOM] Quotation from Frege   Jeffrey Ketland
  • [FOM] Quotation from Frege   Mark Steiner
  • [FOM] Quotation from Frege   Sara L. Uckelman
• [FOM] FOM: Pointless Geometry   John Corcoran
  • [FOM] FOM: Pointless Geometry   A. Mani
• [FOM] Improving the Fundamental Theorem of Algebra   joeshipman at aol.com
• [FOM] 258:Pi01/simplification/restatement   Harvey Friedman
• [FOM] Quotation from Frege   Dean Buckner
• [FOM] Improving the Fundamental Theorem of Algebra   Timothy Y. Chow
• [FOM] SEALS 2006 conference   Douglas Cenzer
• [FOM] Imaginary numbers in logic   Jim Hardy
  • [FOM] Imaginary numbers in logic   John Baldwin
• [FOM] Imaginary numbers in logic   Kreinovich, Vladik
• [FOM] 259:Pi01 pointer   Harvey Friedman
• [FOM] Re.. Question on the relevance of pragmatism to mathematical abstraction [re natural science]   Richard Haney
• [FOM] Re.. Question on the relevance of pragmatism to mathematical abstraction [nonconstructive numerical analysis]   Richard Haney

Last message date: Wed Nov 30 18:10:09 EDT 2005
Archived on: Wed Jan 28 17:53:08 EDT 2009

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