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 1982 | public
Book Section - Chapter

Effective Ramsey Theorems in the Projective Hierarchy

Abstract

This chapter discusses Ramsey theorems that are effective in the projective hierarchy. The application of Q-theory is quite elementary; it will bring out some of its essential ideas and methods that can be basic ingredients in more elaborate uses and applications of this theory. The chapter proves the main theorem and discusses results related results on Δ^1_(2n+l)- and Q_(2n+l)- encodability, and discusses some related open problems. One of the proof uses Mathias forcing over an appropriate inner model of ZFC.

Additional Information

© 1982 North-Holland Publishing Company. Published by Elsevier B.V. The author is an A. P. Sloan Foundation Fellow. NSF Grant MCS79-20465. Research partially supported by NSF Grant MCS79-20465.

Additional details

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