Forcing Minimal Degree of Constructibility
From MaRDI portal
Publication:3985075
DOI10.2307/2275046zbMath0758.03023MaRDI QIDQ3985075
Publication date: 27 June 1992
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275046
03E45: Inner models, including constructibility, ordinal definability, and core models
03E40: Other aspects of forcing and Boolean-valued models
Related Items