A version of \(\kappa\)-Miller forcing

DOI10.1007/s00153-020-00721-yzbMath1485.03192arXiv1802.07986WikidataQ101121337 ScholiaQ101121337MaRDI QIDQ2204370

Saharon Shelah, Heike Mildenberger

Publication date: 15 October 2020

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1802.07986

zbMATH Keywords

forcing with higher perfect trees

Mathematics Subject Classification ID

03E15: Descriptive set theory

03E05: Other combinatorial set theory

03E40: Other aspects of forcing and Boolean-valued models

03E04: Ordered sets and their cofinalities; pcf theory