Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published 1978 | public
Book Section - Chapter

Spector second order classes and reflection

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.

Additional Information

© 1978 North-Holland Pub. Co. Research and preparation for this paper were partially supported by NSF Grant MGS 16-17254.

Additional details

Created:
August 19, 2023
Modified:
March 5, 2024