Definability in models of set theory
From MaRDI portal
Publication:3900052
DOI10.2307/2273350zbMath0453.03053OpenAlexW2009887247MaRDI QIDQ3900052
Publication date: 1980
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273350
Inner models, including constructibility, ordinal definability, and core models (03E45) Interpolation, preservation, definability (03C40) Set-theoretic model theory (03C55)
Cites Work
This page was built for publication: Definability in models of set theory