Kechris, Alexander S. (1978) Spector second order classes and reflection. In: Generalized recursion theory II. Studies in logic and the foundations of mathematics. No.94. North-Holland Publishing Company , Amsterdam, pp. 147-183. ISBN 9780444851635. https://resolver.caltech.edu/CaltechAUTHORS:20130528-100408397
Full text is not posted in this repository.
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20130528-100408397
Abstract
The purpose of this paper, which grew out of a series of lectures (short course) delivered at the Oslo Conference, is to give a survey of the theory of reflection in the context of Spector second order classes. We have mainly aimed at presenting a global view of a rather extensive part of definability theory and at the same time illustrate how the main concepts and results to be presented below unify a large number of diverse areas in this theory and also clarify many of its important aspects.
Item Type: | Book Section | ||||
---|---|---|---|---|---|
Additional Information: | © 1978 North-Holland Pub. Co. Research and preparation for this paper were partially supported by NSF Grant MGS 16-17254. | ||||
Funders: |
| ||||
Other Numbering System: |
| ||||
Series Name: | Studies in logic and the foundations of mathematics | ||||
Issue or Number: | 94 | ||||
Record Number: | CaltechAUTHORS:20130528-100408397 | ||||
Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20130528-100408397 | ||||
Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | ||||
ID Code: | 38684 | ||||
Collection: | CaltechAUTHORS | ||||
Deposited By: | Tony Diaz | ||||
Deposited On: | 19 Sep 2013 20:04 | ||||
Last Modified: | 03 Oct 2019 04:59 |
Repository Staff Only: item control page