Boolean universes above Boolean models
From MaRDI portal
Publication:4283064
Recommendations
Cites work
Cited in
(8)- A construction of Boolean algebras from first-order structures
- Equational compactness of bi-frames and projection algebras
- Models with second order properties. IV. A general method and eliminating diamonds
- A compactness property of Dedekind -complete f-rings
- Forcing extensions of partial lattices
- A saturation property of structures obtained by forcing with a compact family of random variables
- Boolean-valued universe as an algebraic system. II: Intensional hierarchies
- Universality Results for Models in Locally Boolean Domains
This page was built for publication: Boolean universes above Boolean models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4283064)