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

AD and projective ordinals

Abstract

This is an unpolished exposition of some work in the theory of projective ordinals under the hypothesis of definable determinacy. This is understood here as the hypothesis that every set of reals in L[R] is determined. Since the projective ordinals are absolute between the real world and L[R] we carry this study entirely within L[R]. Thus we will use the full Axiom of Determinacy (AD) together with ZF + DC (DC is of course the only choice principle that is preserved under this transition to L[R]).

Additional Information

© 1978 Springer-Verlag. Preparation for this paper was partially supported by NSF Grant MCS 76-17254. The author would like to thank R. M. Solovay for many interesting and helpful discussions on the topics presented in this paper.

Additional details

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