Boolean universes above Boolean models

DOI10.2307/2275140MaRDI QIDQ4283064zbMATH OpenOpenAlexFDO

Authors Friedrich Wehrung

Publication date 12 April 1994

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275140

zbMATH Keywords

Boolean modelforcing\(f\)-rings\(l\)-groupsalgebraic compactness

Mathematics Subject Classification ID

Ordered rings, algebras, modules (06F25) Ordered groups (06F15) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Eastern Model‐Theory for Boolean‐Valued Theories
• Boolean-valued universe as an algebraic system. I: Basic principles
• A construction of Boolean algebras from first-order structures
• Boolean valued models and semiprime rings
• Boolean-valued universe as an algebraic system. II: Intensional hierarchies

Cites work

• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• Boolean-linear spaces
• Conditionally orthogonally completel-groups
• Injective positively ordered monoids. I

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)