期刊
JOURNAL OF SYMBOLIC LOGIC
卷 71, 期 3, 页码 881-902出版社
CAMBRIDGE UNIV PRESS
DOI: 10.2178/jsl/1154698582
关键词
n-localization property; forcing; CS iterations