November 2005 Archives by date
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] Mathematical explanation
mjmurphy
- [FOM] Mathematical explanation
Richard Heck
- [FOM] Intuitionism, predicativism, and ill-defined domains
Arnon Avron
- [FOM] Some informative questions about intuitionistic logic and mathematics
Richard Heck
- [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] 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] Avron's questions about intuitionistic
A.P. Hazen
- [FOM] Mathematical explanation
mjmurphy
- [FOM] Some informative questions about intuitionistic logic and mathematics
Lew Gordeew
- [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] 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] Some informative questions about intuitionistic logic and mathematics
Thomas Forster
- [FOM] St. PetersburgCSR-2006: Final Call for Papers (fwd)
Grigori Mints
- [FOM] Formal grammar question
A.P. Hazen
- [FOM] Some informative questions about intuitionistic logic and mathematics
Neil Tennant
- [FOM] Finite Analogues of Infinite Structures
Dmytro Taranovsky
- [FOM] Formal grammar question
A.P. Hazen
- [FOM] Formal grammar question
Todd Wilson
- [FOM] Some informative questions about intuitionistic logic and mathematics, Arnon Avron aa at tau.ac.il
Todd Wilson
- [FOM] Intutionistic "negation"
Arnon Avron
- [FOM] Formal grammar question
Alasdair Urquhart
- [FOM] 254:Pi01 Progress/more
Harvey Friedman
- [FOM] CFP: European Conference on Logics in AI [JELIA'06]
Michael Fisher
- [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] Formal grammar question
A. Mani
- [FOM] CiE06: 2nd Call for Papers
S B Cooper
- [FOM] FOL reduced to equational logic
H Z
- [FOM] 255:Controlling Pi01
Harvey Friedman
- [FOM] Intutionistic "negation"
Rob Arthan
- [FOM] FOL reduced to equational logic
Lew Gordeew
- [FOM] Question on history of Turing machines
Lew Gordeew
- [FOM] FOL reduced to equational logic
Richard Grandy
- [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] Construction of the Reals and a Paradigm
A. Mani
- [FOM] Question on the number line
Rob Arthan
- [FOM] Question on the number line
Alasdair Urquhart
- [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] Question on Number Line (Bruckner)
Robert Tragesser
- [FOM] Question on the number line
Dean Buckner
- [FOM] Question on the number line
H Z
- [FOM] finite choice question
Robert M. Solovay
- [FOM] Question on the number line
William Tait
- [FOM] Corrected response to Question on Number Line (Bruckner)
Robert Tragesser
- [FOM] Question on the number line
Hartley Slater
- [FOM] finite choice question
A.P. Hazen
- [FOM] Number Line/mereology
Harvey Friedman
- [FOM] finite choice question
Thomas Forster
- [FOM] Question on the number line
Robert Black
- [FOM] Question on the number line
Alasdair Urquhart
- [FOM] finite choice question
Peter Schuster
- [FOM] Question on the number line
Ron Rood
- [FOM] finite choice question
Andrej Bauer
- [FOM] Question on Number Line
Lawrence Stout
- [FOM] Nonempty Finite Interval Mereology
Harvey Friedman
- [FOM] Question on the number line
Robert Lindauer
- [FOM] A question on disjunction and numerical existence properties for extensions of HA
Wojtek Moczydlowski
- [FOM] Nonempty Finite Interval Mereology
A.P. Hazen
- [FOM] A question on disjunction and numerical existence properties for extensions of HA
Harvey Friedman
- [FOM] Geometry question
A. Mani
- [FOM] mereology reference and comment
Robert Smith
- [FOM] Geometry question
A.P. Hazen
- [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] 257:FIT/more
Harvey Friedman
- [FOM] Geometry question
William Boshuck
- [FOM] Question on the relevance of pragmatism to mathematical abstraction
Richard Haney
- [FOM] Geometry question
Jay Sulzberger
- [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] Geometry question
Olivier Souan
- [FOM] Geometry question
A.J. Franco de Oliveira
- [FOM] Master Class in Mathematical Logic, 2006-7
Jaap van Oosten
- [FOM] Question about "fresh" variables/objects in logics
Divianszky Peter
- [FOM] Quotation from Frege
Dean Buckner
- [FOM] FOM: Pointless Geometry
John Corcoran
- [FOM] Quotation from Frege
Jeffrey Ketland
- [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] Quotation from Frege
Mark Steiner
- [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] Question about "fresh" variables/objects in logics
Andrej Bauer
- [FOM] Quotation from Frege
Sara L. Uckelman
- [FOM] Improving the Fundamental Theorem of Algebra
Timothy Y. Chow
- [FOM] FOM: Pointless Geometry
A. Mani
- [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
This archive was generated by
Pipermail 0.09 (Mailman edition).