Properness Without Elementaricity
From MaRDI portal
Publication:4668849
DOI10.1515/JAA.2004.169zbMath1069.03043MaRDI QIDQ4668849
Publication date: 15 April 2005
Published in: Journal of Applied Analysis (Search for Journal in Brave)
Fubini theorem; iterated forcing; preservation; Cohen forcing; commuting forcing; non-elementary properness; Souslin non-elementary properness
03E05: Other combinatorial set theory
03E40: Other aspects of forcing and Boolean-valued models
03E47: Other notions of set-theoretic definability