AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING

DOI10.1017/bsl.2022.15OpenAlexW4225808771MaRDI QIDQ5044313

Peter Holy, Rodrigo A. Freire

Publication date: 25 October 2022

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2022.15

zbMATH Keywords

forcingclass forcingaxiomatic framework for forcing

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70) Other aspects of forcing and Boolean-valued models (03E40)

Cites Work

• Unnamed Item
• Fine structure and class forcing
• An axiomatic approach to forcing and generic extensions
• Characterizations of pretameness and the Ord-cc
• CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS
• Constructibility and Class Forcing
• Class Forcing in Class Theory
• Provident sets and rudimentary set forcing
• Boolean-valued class forcing
• THE EXACT STRENGTH OF THE CLASS FORCING THEOREM

This page was built for publication: AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING