Boolean universes above Boolean models

DOI10.2307/2275140zbMATH Open0793.03045OpenAlexW2058116123MaRDI QIDQ4283064FDOQ4283064

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

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

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)

Cites Work

• Title not available (Why is that?)
• Injective positively ordered monoids. I
• Boolean-linear spaces
• Conditionally orthogonally completel-groups

Cited In (8)

• Equational compactness of bi-frames and projection algebras
• A construction of Boolean algebras from first-order structures
• Models with second order properties. IV. A general method and eliminating diamonds
• A compactness property of Dedekind \(\sigma\)-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)