The Theory of Countable Analytical Sets

Open Access
Publisher Website
Google Scholar
Abstract
The purpose of this paper is the study of the structure of countable sets in the various levels of the analytical hierarchy of sets of reals. It is first shown that, assuming projective determinacy, there is for each odd a largest countable set of reals, (this is also true for even, replacing by and has been established earlier by Solovay for and by Moschovakis and the author for all even ). The internal structure of the sets is then investigated in detail, the point of departure being the fact that each is a set of -degrees, wellordered under their usual partial ordering. Finally, a number of applications of the preceding theory is presented, covering a variety of topics such as specification of bases, -models of analysis, higher-level analogs of the constructible universe, inductive definability, etc.

This publication has 23 references indexed in Scilit: