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
|
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: |
| ||||||||||||
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: |
| ||||||||||||
Other Numbering System: |
| ||||||||||||
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