Properness under closed forcing

DOI10.1007/978-981-16-4173-2_11OpenAlexW4206903401MaRDI QIDQ2097065

Yasuo Yoshinobu

Publication date: 11 November 2022

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

zbMATH Keywords

proper forcingset mapping reflection

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Set theory (03Exx)

Cites Work

• Unnamed Item
• Unnamed Item
• CH with no Ostaszewski spaces
• DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
• Aronszajn trees and the independence of the transfer property
• SET MAPPING REFLECTION