Boolean universes above Boolean models

DOI10.2307/2275140zbMath0793.03045OpenAlexW2058116123MaRDI QIDQ4283064

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

forcingBoolean model\(f\)-rings\(l\)-groupsalgebraic compactness

Mathematics Subject Classification ID

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

Related Items (3)

Equational compactness of bi-frames and projection algebras ⋮ Forcing extensions of partial lattices ⋮ A compactness property of Dedekind \(\sigma\)-complete \(f\)-rings

Cites Work

• Unnamed Item
• Boolean-linear spaces
• Injective positively ordered monoids. I
• Conditionally orthogonally completel-groups

This page was built for publication: Boolean universes above Boolean models