Boolean-linear spaces

DOI10.1016/0001-8708(90)90008-BMaRDI QIDQ802637zbMATH OpenOpenAlexFDO

Authors Thomas J. Jech

Publication date 1990

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0001-8708(90)90008-b

zbMATH Keywords

Boolean algebrasBoolean-linear spacesBoolean-valued modelsconvergenceforcingfunction spaceslattice-ordered groupslinear orderingsspectraStone representation theoremvector lattices

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Partial orders, general (06A06) Stone spaces (Boolean spaces) and related structures (06E15) Noether lattices (06F10)

Review text

Starting from partially ordered sets, the author introduces Boolean- linear spaces. Examples of such spaces are linear orderings and products of linear orderings, Boolean algebras, various function spaces, vector lattices and lattice-ordered groups. The key definition in formulating the concept of Boolean-linear spaces is that of ``p forces \(f<g\). Then a Boolean-linear space is a partially ordered set which satisfies the axiom stating that for all f and g, either \(f\leq g\) or else some p forces \(g<f.\) There is a formal similarity between the concept of forcing introduced here and that of forcing in set theory. So the machinery of Boolean- valued models can be used. It is shown that the Stone representation theorem can be generalized for Boolean-linear spaces. Further on it is shown that every Boolean-linear space has a unique completion and is endowed with the concept of convergence. Finally the author introduces the concept of spectra. He shows that for spaces which have a spectrum the spectral theorem can be proved.

Recommendations

• The geometry of Boolean space and its elementary figures. I
• scientific article; zbMATH DE number 1269535
• Publication:4726301
• Boolean universes above Boolean models
• scientific article; zbMATH DE number 1374860

Cites work

• A General Theory of Spectra
• A model of set-theory in which every set of reals is Lebesgue measurable
• A proof of the independence of the continuum hypothesis
• Abstract Theory of Abelian Operator Algebras: An Application of Forcing
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• scientific article; zbMATH DE number 3259044 (Why is no real title available?)
• scientific article; zbMATH DE number 3297510 (Why is no real title available?)
• scientific article; zbMATH DE number 3365842 (Why is no real title available?)
• Inextensible Riesz spaces
• On Homogeneous Measure Algebras
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• The Theory of Representation for Boolean Algebras
• Two Applications of Logic to Mathematics

Cited in

(7)

• Boolean algebra over linear polyhedra
• A compactness property of Dedekind -complete f-rings
• On the duality between Boolean-valued analysis and reduction theory under the assumption of separability
• Boolean universes above Boolean models
• A Characterization of Function Rings with Boolean Domain
• Boolean methods in positivity
• Boolean valued analysis: background and results

This page was built for publication: Boolean-linear spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q802637)