Strict-Π11 predicates on countable and cofinality ω transitive sets
From MaRDI portal
Publication:4147964
DOI10.2307/2272116zbMath0369.02020OpenAlexW1607154110MaRDI QIDQ4147964
Publication date: 1977
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272116
Descriptive set theory (03E15) Model theory (03C99) Other infinitary logic (03C75) Hierarchies of computability and definability (03D55)
Related Items
Cites Work