science.mathematics.fom (thread)

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