A generalization of Gödel's notion of constructibility
From MaRDI portal
Publication:5730895
DOI10.2307/2964211zbMath0119.25204OpenAlexW2059314891MaRDI QIDQ5730895
Publication date: 1960
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2964211
Related Items (4)
Levy and set theory ⋮ A new characterization of supercompactness and applications ⋮ Iterating ordinal definability ⋮ How Woodin changed his mind: new thoughts on the continuum hypothesis
Cites Work
This page was built for publication: A generalization of Gödel's notion of constructibility