The Bulletin of Symbolic Logic, Volume 9

Volume 9, Number 1, March 2003

Articles

György Serény:
Gödel, Tarski, Church, and the Liar. 3-25
Electronic Edition (link) BibTeX

Communications

Bjørn Kjos-Hanssen:
Local initial segments of the Turing degrees. 26-36
Electronic Edition (link) BibTeX

Giuseppe Longo, P. Scott:
New programs and open problems in the foundation of mathematics. 129-130
Electronic Edition (link) BibTeX

Articles

Jean-Yves Girard:
From foundations to ludics. 131-168
Electronic Edition (link) BibTeX
Pierre-Louis Curien:
Symmetry and interactivity in programming. 169-180
Electronic Edition (link) BibTeX
Giorgio Parisi:
Two spaces looking for a geometer. 181-196
Electronic Edition (link) BibTeX
Angus Macintyre:
Model theory: Geometrical and set-theoretic aspects and prospects. 197-212
Electronic Edition (link) BibTeX
F. William Lawvere:
Foundations and applications: axiomatization and education. 213-224
Electronic Edition (link) BibTeX
Anders Kock:
Differential calculus and nilpotent real numbers. 225-230
Electronic Edition (link) BibTeX

Articles

Akihiro Kanamori:
The empty set, the singleton, and the ordered pair. 273-298
Electronic Edition (link) BibTeX
Viggo Stoltenberg-Hansen, J. V. Tucker:
Computable and continuous partial homomorphisms on metric partial algebras. 299-334
Electronic Edition (link) BibTeX
Steve Jackson, R. Daniel Mauldin:
Survey of the Steinhaus tiling problem. 335-361
Electronic Edition (link) BibTeX
Noson S. Yanofsky:
A universal approach to self-referential paradoxes, incompleteness and fixed points. 362-386
Electronic Edition (link) BibTeX

Communications

Ian M. Hodkinson, Martin Otto:
Finite conformal hypergraph covers and Gaifman cliques in finite structures. 387-407
Electronic Edition (link) BibTeX

Articles

Mark van Atten, Juliette Kennedy:
On the philosophical development of Kurt Gödel. 425-476
Electronic Edition (link) BibTeX
Kosta Dosen:
Identity of proofs based on normalization and generality. 477-503
Electronic Edition (link) BibTeX