Published 1975
| Published
Journal Article
Open
Countable ordinals and the analytical hierarchy. I.
- Creators
-
Kechris, A. S.
Chicago
An error occurred while generating the citation.
Abstract
The following results are proved, using the axiom of Projective Determinacy: (i) For n ⪴ 1, every ∏^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.Attached Files
Published - euclid.pjm.1102868636.pdf
Files
euclid.pjm.1102868636.pdf
Files
(455.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:709d8a94cbe4b2711f92a674b3c1e77e
|
455.7 kB | Preview Download |
Additional details
- Eprint ID
- 38919
- Resolver ID
- CaltechAUTHORS:20130612-115543154
- NSF
- GP 27964
- Created
-
2013-06-12Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
- Other Numbering System Name
- Zentralblatt MATH identifier
- Other Numbering System Identifier
- 0287.02042