More on proper forcing
From MaRDI portal
Publication:3698793
DOI10.2307/2274259zbMath0577.03026MaRDI QIDQ3698793
Publication date: 1984
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274259
iterated forcing; proper forcing; preservation properties; countable support iterations of forcing; smooth covering model
03E40: Other aspects of forcing and Boolean-valued models