Definability in models of set theory
From MaRDI portal
Publication:3900052
DOI10.2307/2273350zbMath0453.03053MaRDI 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
03E45: Inner models, including constructibility, ordinal definability, and core models
03C40: Interpolation, preservation, definability
03C55: Set-theoretic model theory
Cites Work