science.mathematics.fom (thread)

Mathematics and formalizability, Martin Davis
- Re: Mathematics and formalizability, Vladik Kreinovich
Elementaricity of elementaricity, I. Natochdag
- Message not available
  - Re: Elementaricity of elementaricity, Aatu Koskensilta
Whitehead conjecture/problem, Colin McLarty
BUFFALO LOGIC COLLOQUIUM : 5TH ANNOUNCEMENT, John Corcoran
Question on the Scope of Mathematics, Dmytro Taranovsky
- Message not available
  - Re: Question on the Scope of Mathematics, Aatu Koskensilta
    - Message not available
    - Re: Question on the Scope of Mathematics, Dmytro Taranovsky
    - Message not available
    - Re: Re: Question on the Scope of Mathematics - Enduring Value II, Robbie Lindauer
- Re: Question on the Scope of Mathematics, Henrik Nordmark
  - Message not available
    - Re: Question on the Scope of Mathematics, Aatu Koskensilta
- Re: Re: Question on the Scope of Mathematics, Vladik Kreinovich
- Re: Question on the Scope of Mathematics, A.P. Hazen
Primitive Recursive Pigeons, A.P. Hazen
- Message not available
  - Primitive Recursive Pigeons, Stephen G Simpson
Logic 2005 in India, R. Ramanujam
Automatic theorem proving in trigonometry and synthetic geometry, Timothy Y. Chow
- Message not available
  - Re: Automatic theorem proving in trigonometry and synthetic geometry, Andrej Bauer
- Message not available
  - Re: Automatic theorem proving in trigonometry and synthetic geometry, Jeremy Clark
    - Message not available
    - Re: Automatic theorem proving in trigonometry and synthetic geometry, Jeremy Clark
- Message not available
  - Re: Automatic theorem proving in trigonometry and synthetic geometry, Mitchell Harris
    - Message not available
    - Re: Automatic theorem proving in trigonometry and synthetic geometry, Mitchell Harris
- Message not available
  - Re: Automatic theorem proving in trigonometry and synthetic geometry, Jeremy Clark
    - Message not available
    - Re: Automatic theorem proving in trigonometry and synthetic geometry, Timothy Y. Chow
- Re: Automatic theorem proving in trigonometry and synthetic geometry, Timothy Y. Chow
Between Russell's Twins and Tarski's Chimera, Segunai
PA with few symbols, Randall Holmes
- Re: PA with few symbols, Timothy Y. Chow
  - Message not available
    - Re: Re: PA with few symbols, Vladimir Sazonov
- Re: PA with few symbols, Timothy Y. Chow
- Re: PA with few symbols, A.P. Hazen
Re: PA with a few symbols, Ali Enayat
PA with few symbols., W . Taylor-R0Vytwd2P3aABuhS/z3QMoPd0VKtDfyi
- Message not available
  - Re: PA with few symbols., Neil Tennant
- Message not available
  - Re: PA with few symbols., Vladimir Sazonov
- Re: PA with few symbols., H. Enderton
BUFFALO LOGIC COLLOQUIUM 2004-5, by way of Martin Davis <martin@xxxxxxxxx>
ZF vs NBG, A.P. Hazen
Extended Deadline - DRT 04, Vladik Kreinovich
A Case for the Axiom of Determinacy, Dmytro Taranovsky
CfP: EUMAS 2004 (2nd European Workshop on Multi-Agent Systems), Wiebe van der Hoek
algebraic set theory site, Steve Awodey
Re: Henk's Characerization of Recusivity, Ali Enayat
- Message not available
  - Re: Re: Henk's Characerization of Recusivity, Henk Csaba
AXIOM SCHEMATA, John Corcoran
- Message not available
  - Re: AXIOM SCHEMATA, Matthew Frank
    - Message not available
    - Re: AXIOM SCHEMATA, John McCarthy
    - Message not available
    - Re: AXIOM SCHEMATA, Neil Tennant
    - Message not available
    - Re: AXIOM SCHEMATA, Dmytro Taranovsky
    - Message not available
    - Re: Re: AXIOM SCHEMATA, Jesse Alama
    - Message not available
    - Re: AXIOM SCHEMATA, Dmytro Taranovsky
- Re: AXIOM SCHEMATA, charles silver
- Re: AXIOM SCHEMATA, Donald Stahl
  - Message not available
    - Re: AXIOM SCHEMATA, Neil Tennant
- Re: AXIOM SCHEMATA, Donald Stahl
  - Message not available
    - Re: AXIOM SCHEMATA, Neil Tennant
- Axiom schemata, Andreas Blass
- Re: AXIOM SCHEMATA, Timothy Y. Chow
- Re: AXIOM SCHEMATA, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Hanf's conjectures on finite axiomatizability, Santiago Bazerque
- Message not available
  - Hanf's conjectures on finite axiomatizability, Stephen G Simpson
    - Message not available
    - Re: Hanf's conjectures on finite axiomatizability, Santiago Bazerque
- Hanf's conjectures on finite axiomatizability, I. Natochdag
Importance of Reverse Mathematics, Dmytro Taranovsky
UNILOG'05 - Montreux, Alexandre Costa-Leite
Conference on Logic, Computability and Randomness, Vladik Kreinovich
New Journal, Logical Methods in CS
Re: Excluded middle & cardinality of the reals, Matthew Frank
Henk's Characterization of Recursivity, Ali Enayat
- Message not available
  - Re: Henk's Characterization of Recursivity, Csaba Henk
Dyson & Inexhaustibility, and Feferman, charles silver
- Re: Dyson & Inexhaustibility, and Feferman, charles silver