CaltechAUTHORS
  A Caltech Library Service

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

[img]
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:
URLURL TypeDescription
http://www.jstor.org/stable/2687773PublisherUNSPECIFIED
http://dx.doi.org/10.2307/2687773 DOIUNSPECIFIED
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 AgencyGrant Number
NSFDMS-9803515
NSFDMS-9987437
NSFDMS-9696268
NSFDMS-0070179
NSFDMS-9802843
Other Numbering System:
Other Numbering System NameOther Numbering System ID
MathSciNet ReviewMR1839544
Issue or Number:2
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