Published 1982
| public
Book Section - Chapter
Effective Ramsey Theorems in the Projective Hierarchy
- Creators
-
Kechris, Alexander S.
- Others:
- Stern, Jacques
- Herbrand, Jacques
Chicago
An error occurred while generating the citation.
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
- Eprint ID
- 38737
- Resolver ID
- CaltechAUTHORS:20130531-145645449
- NSF
- MCS79-20465
- Created
-
2013-05-31Created from EPrint's datestamp field
- Updated
-
2021-11-09Created from EPrint's last_modified field
- Series Name
- Studies in Logic and the Foundations of Mathematics
- Series Volume or Issue Number
- 107
- Other Numbering System Name
- MathSciNet Review
- Other Numbering System Identifier
- MR0757028