AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING

DOI10.1017/BSL.2022.15MaRDI QIDQ5044313zbMATH OpenOpenAlexFDO

Authors Rodrigo Freire, Peter Holy

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) Other aspects of forcing and Boolean-valued models (03E40) Nonclassical and second-order set theories (03E70)

Recommendations

• An axiomatic approach to forcing and generic extensions
• Forcing revisited
• First steps towards a formalization of forcing
• Provident sets and rudimentary set forcing
• Infinite forcing and the generic multiverse

Cites work

• scientific article; zbMATH DE number 3529846 (Why is no real title available?)
• An axiomatic approach to forcing and generic extensions
• Boolean-valued class forcing
• Characterizations of pretameness and the Ord-cc
• Class forcing in class theory
• Class forcing, the forcing theorem and Boolean completions
• Constructibility and class forcing
• Fine structure and class forcing
• Provident sets and rudimentary set forcing
• The exact strength of the class forcing theorem

Cited in

(9)

• The modal logic of inner models
• scientific article; zbMATH DE number 5971087 (Why is no real title available?)
• scientific article; zbMATH DE number 179024 (Why is no real title available?)
• A lifting argument for the generalized Grigorieff forcing
• Definable forcing axiom: An alternative to Martin's axiom
• Axiomatization of the forcing relation with an application to Peano Arithmetic
• A Forcing Axiom Deciding the Generalized Souslin Hypothesis
• scientific article; zbMATH DE number 3898876 (Why is no real title available?)
• scientific article; zbMATH DE number 3885892 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5044313)