The prospects for mathematical logic in the twenty-first century

Buss, Samuel R. and Kechris, Alexander S. and Pillay, Anand and Shore, Richard A. (2001) The prospects for mathematical logic in the twenty-first century. Bulletin of Symbolic Logic, 7 (2). pp. 169-196. ISSN 1079-8986 . https://resolver.caltech.edu/CaltechAUTHORS:20130521-132240239

Preview

PDF - Published Version
See Usage Policy.
2434Kb

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20130521-132240239

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.

Item Type:

Article

Related URLs:

URL	URL Type	Description
http://www.jstor.org/stable/2687773	Publisher	UNSPECIFIED
http://dx.doi.org/10.2307/2687773	DOI	UNSPECIFIED

Additional Information:

© 2001 Association for Symbolic Logic. Received January 30, 2001; revised March 20, 2001. I am grateful to Yiannis Moschovakis, Richard Shore, John Steel, and Hugh Woodin for their comments on an earlier draft of this section.

Funders:

Funding Agency	Grant Number
NSF	DMS-9803515
NSF	DMS-9987437
NSF	DMS-9696268
NSF	DMS-0070179
NSF	DMS-9802843

Other Numbering System:

Other Numbering System Name	Other Numbering System ID
MathSciNet Review	MR1839544

Issue or Number:

Record Number:

CaltechAUTHORS:20130521-132240239

Persistent URL:

https://resolver.caltech.edu/CaltechAUTHORS:20130521-132240239

Official Citation:

The Prospects for Mathematical Logic in the Twenty-First Century Samuel R. Buss, Alexander S. Kechris, Anand Pillay and Richard A. Shore The Bulletin of Symbolic Logic , Vol. 7, No. 2 (Jun., 2001), pp. 169-196 Published by: Association for Symbolic Logic Article Stable URL: http://www.jstor.org/stable/2687773

Usage Policy:

No commercial reproduction, distribution, display or performance rights in this work are provided.

ID Code:

38610

Collection:

CaltechAUTHORS

Deposited By:

Jason Perez

Deposited On:

22 May 2013 20:37

Last Modified:

03 Oct 2019 04:58

Repository Staff Only: item control page