Published 1975
| public
Journal Article
Open
Countable ordinals and the analytical hierarchy, I
- Creators
-
Kechris, A. S.
Abstract
The following results are proved, using the axiom of Projective Determinacy: (i) For n ≥ 1, every II(1/2n+1) set of countable ordinals contains a Δ(1/2n+1) ordinal, (ii) For n ≥ 1, the set of reals Δ(1/2n) in an ordinal is equal to the largest countable Σ(1/2n) set and (iii) Every real is Δ(1/n) inside some transitive model of set theory if and only if n ≥ 4.
Additional Information
© 1975 Pacific Journal of Mathematics. Received August 29, 1974. Research partially supported by NSF grant GP 27964.Files
KECpjm75.pdf
Files
(478.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:06f15b5db191d636e4b38dff29f6341b
|
478.8 kB | Preview Download |
Additional details
- Eprint ID
- 841
- Resolver ID
- CaltechAUTHORS:KECpjm75
- Created
-
2005-10-19Created from EPrint's datestamp field
- Updated
-
2019-10-02Created from EPrint's last_modified field
- Other Numbering System Name
- MathSciNet Review
- Other Numbering System Identifier
- MR0387053