Boolean-valued class forcing
From MaRDI portal
Publication:5029019
Recommendations
- Class forcing, the forcing theorem and Boolean completions
- scientific article; zbMATH DE number 896401
- Class forcing in class theory
- Iterated class forcing
- Classifying countable Boolean terms
- Separation results for Boolean function classes
- Boolean equations and Post classes
- scientific article; zbMATH DE number 1775542
- scientific article; zbMATH DE number 1560340
- Classification of boolean functions with respect to linear equivalence
Cites work
- scientific article; zbMATH DE number 1302489 (Why is no real title available?)
- scientific article; zbMATH DE number 3428924 (Why is no real title available?)
- A model of second-order arithmetic satisfying AC but not DC
- Certain very large cardinals are not created in small forcing extensions
- Characterizations of pretameness and the Ord-cc
- Class forcing in class theory
- Class forcing, the forcing theorem and Boolean completions
- Fine structure and class forcing
- Intermediate submodels and generic extensions in set theory
- Open determinacy for class games
- Set Theory
- The axiom of choice
- The exact strength of the class forcing theorem
This page was built for publication: Boolean-valued class forcing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5029019)