science.mathematics.fom (thread)

CCA 2005 - First Call for Papers, Peter Hertling
"Diagonal arguments relativize", Timothy Y. Chow
235:Neatening Affine Pi01 Independence, Harvey Friedman
Work on Tarksi Closures?, Rex Butler
Shapiro on natural and formal languages, Arnon Avron
- Message not available
  - Re: Shapiro on natural and formal languages, Roger B Jones
    - Message not available
    - Re: Shapiro on natural and formal languages, William Tait
    - Message not available
    - Re: Shapiro on natural and formal languages, hendrik-kyPLUSWpfyQ
- Message not available
  - Re: Shapiro on natural and formal languages, Vladimir Sazonov
- Message not available
  - Natural and Formal Languages and Reasoning, henriknordmark-ee4meeAH724
- Re: Shapiro on natural and formal languages, JoeShipman-YDxpq3io04c
  - Message not available
    - "Geometrical ways of reasoning" and visual proofs, Peter Smith
  - Message not available
    - Re: Shapiro on natural and formal languages, Vladimir Sazonov
- Re: Shapiro on natural and formal languages, Timothy Y. Chow
- Re: Shapiro on natural and formal languages, A.P. Hazen
- Shapiro on natural and formal languages, mjmurphy
- Re: Shapiro on natural and formal languages, John Corcoran
- Re: Shapiro on natural and formal languages, Timothy Y. Chow
- Re: Re: Shapiro on natural and formal languages, JoeShipman-YDxpq3io04c
Re:Affine Pi01 Independence, Harvey Friedman
234:Affine Pi01 Independence, Harvey Friedman
233:Neatening Piecewise Linear Pi01 Independence, Harvey Friedman
232:More Piecewise Linear Pi01 Independence/Correction, Harvey Friedman
231:More Piecewise Linear Pi01 Independence, Harvey Friedman
230:Piecewise Linear Pi01 Independence, Harvey Friedman
Call for Abstracts: 2005 ASL Spring Meeting, San Francisco, March 23-27, Richard Zach
229:More Progress in Pi01 Independence, Harvey Friedman
228:Further Progress on Pi01 Independence, Harvey Friedman
227:Progress on Pi01 Independence, Harvey Friedman
ICML 2005, Bonn, Germany - call for tutorial (deadline: Febr 11, 2004) and workshop (Deadline: Dec 17, 2004) proposals, lauth
CCA 2005: mark your calendars, Vladik Kreinovich
226:Nicer Pi01 Independence, Harvey Friedman
EASSS'05: call for tutorials, Wiebe van der Hoek
LPAR'04: Deadline approaching, Prof. Franz Baader
Calculemus 2005, Jacques Carette
225:Better Pi01 Independence, Harvey Friedman
224:Prettier Pi01 Independence, Harvey Friedman
Why NP is not P, Lew Gordeew
ESSLLI'05 Student Session Call for Papers, Judit Gervain
Proof-sketch: Why NP is not P, Lew Gordeew
223:Better Pi01 Independence, Harvey Friedman
FOM: Reverse math and analysis, Jeff Hirst
workshop on classification of countable structures, Peter Cholak
CiE 2005 - Call for papers, S B Cooper
Reverse Mathematics special session, Jeff Hirst