Bulletin of Symbolic Logic

The Prospects for Mathematical Logic in the Twenty-First Century

Samuel R. Buss, Alexander S. Kechris, Anand Pillay, and Richard A. Shore

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.

Article information

Source
Bull. Symbolic Logic, Volume 7, Number 2 (2001), 169-196.

Dates
First available in Project Euclid: 20 June 2007

Permanent link to this document
https://projecteuclid.org/euclid.bsl/1182353774

Mathematical Reviews number (MathSciNet)
MR1839544

Zentralblatt MATH identifier
0981.03003

JSTOR
links.jstor.org

Citation

Buss, Samuel R.; Kechris, Alexander S.; Pillay, Anand; Shore, Richard A. The Prospects for Mathematical Logic in the Twenty-First Century. Bull. Symbolic Logic 7 (2001), no. 2, 169--196. https://projecteuclid.org/euclid.bsl/1182353774


Export citation