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 1975 | Published
Journal Article Open

Countable ordinals and the analytical hierarchy. I.

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

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