A Forcing Proof of the Kechris-Moschovakis Constructibility Theorem
From MaRDI portal
Publication:4056009
DOI10.2307/2040231zbMath0301.02074OpenAlexW4256099850MaRDI QIDQ4056009
Publication date: 1975
Full work available at URL: https://doi.org/10.2307/2040231
Descriptive set theory (03E15) Consistency and independence results (03E35) Hierarchies of computability and definability (03D55)
Cites Work
This page was built for publication: A Forcing Proof of the Kechris-Moschovakis Constructibility Theorem