AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING

DOI10.1017/BSL.2022.15OpenAlexW4225808771MaRDI QIDQ5044313FDOQ5044313

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

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

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)

Cites Work

• An axiomatic approach to forcing and generic extensions
• Fine structure and class forcing
• Provident sets and rudimentary set forcing
• Title not available (Why is that?)
• Class forcing, the forcing theorem and Boolean completions
• Characterizations of pretameness and the Ord-cc
• The exact strength of the class forcing theorem
• Constructibility and class forcing
• Class forcing in class theory
• Boolean-valued class forcing

Cited In (9)

• A Forcing Axiom Deciding the Generalized Souslin Hypothesis
• Title not available (Why is that?)
• A lifting argument for the generalized Grigorieff forcing
• Title not available (Why is that?)
• Axiomatization of the forcing relation with an application to Peano Arithmetic
• The modal logic of inner models
• Title not available (Why is that?)
• Definable forcing axiom: An alternative to Martin's axiom
• Title not available (Why is that?)

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)