The Suslin-Kleene theorem for \(V_\kappa\) with cofinality(\(\kappa)=\omega\).

DOI10.2140/pjm.1970.35.565zbMath0229.02051OpenAlexW1963979545MaRDI QIDQ2550019

C. C. Chang, Yiannis N. Moschovakis

Publication date: 1971

Published in: Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2140/pjm.1970.35.565

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Set theory (03E99) Other notions of set-theoretic definability (03E47)

Related Items (2)

Strict-Π₁¹ predicates on countable and cofinality ω transitive sets ⋮ Countably decomposable admissible sets

This page was built for publication: The Suslin-Kleene theorem for \(V_\kappa\) with cofinality(\(\kappa)=\omega\).