A construction of Boolean algebras from first-order structures

DOI10.1016/0168-0072(93)90095-UMaRDI QIDQ685061zbMATH OpenOpenAlexFDO

Authors Sabine Koppelberg

Publication date 22 September 1993

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(93)90095-u

zbMATH Keywords

Boolean algebrasHorn theorysemigroup algebras

Mathematics Subject Classification ID

Properties of classes of models (03C52) Stone spaces (Boolean spaces) and related structures (06E15)

Review text

Let \(\mathcal A\) be an \(\mathcal L\)-structure with underlying set \(A\), and \(\Sigma\) a theory in the language \(\mathcal L\) enlarged by a unary predicate. A subset \(U\) of \(A\) is called a \(\Sigma\)-set, if \(({\mathcal A},U)\) is a model of \(\Sigma\). If the sentences in \(\Sigma\) are of a special form (called universal over \({\mathcal L}\)), then the family of all \(\Sigma\)-sets is a closed subspace of \({\mathcal P}(A)\) (where \({\mathcal P}(A)\) is identified with \(^ A 2\) with the product topology) and thus a Boolean space. The author investigates the corresponding classes of Boolean algebras which can arise for a given set \(\Sigma\). She shows that several classes of Boolean algebras previously considered in the literature can thus be obtained. Among them are the classes of all Boolean algebras, free algebras, finite-cofinite algebras, pseudo-tree algebras and interval algebras. It is shown that the class of semigroup algebras is Horn definable. Further on the author gives some results how model-theoretic properties are reflected in the corresponding class of Boolean algebras.

Recommendations

• scientific article; zbMATH DE number 3912445
• Boolean universes above Boolean models
• scientific article; zbMATH DE number 3995639
• scientific article; zbMATH DE number 428362
• scientific article; zbMATH DE number 1046108

Cites work

• A Simple Construction for Rigid and Weakly Homogeneous Boolean Algebras Answering a Question of Rubin
• Boolean semigroup rings and exponentials of compact zero-dimensional spaces
• Chains in Boolean Semigroup Algebras
• Continuous Images of Compact Semilattices
• scientific article; zbMATH DE number 3833933 (Why is no real title available?)
• scientific article; zbMATH DE number 3836105 (Why is no real title available?)
• scientific article; zbMATH DE number 42239 (Why is no real title available?)
• scientific article; zbMATH DE number 3573925 (Why is no real title available?)
• scientific article; zbMATH DE number 3633296 (Why is no real title available?)
• scientific article; zbMATH DE number 3800532 (Why is no real title available?)
• Model theory.
• Pseudo-trees and Boolean algebras
• Recursive isomorphism types of recursive Boolean algebras
• The Boolean Space of Orderings of a Field
• The Pontryagin duality of compact O-dimensional semilattices and its applications
• TOPOLOGY OF LIMIT SPACES OF UNCOUNTABLE INVERSE SPECTRA

Cited in

(10)

• Modality and possibility in some intuitionistic modal logics
• Definable Boolean combinations of open sets are Boolean combinations of open definable sets
• A First Class Boolean Sort in First-Order Theorem Proving and TPTP
• scientific article; zbMATH DE number 4053699 (Why is no real title available?)
• First Order Theory of Complete Stonean Algebras (Boolean-Valued Real and Complex Numbers)
• scientific article; zbMATH DE number 1295198 (Why is no real title available?)
• Boolean universes above Boolean models
• Boolean topological graphs of semigroups: the lack of first-order axiomatization
• Classification of Boolean Algebras of Logic and Probabilities Defined on them by Classical Models
• Advances in Databases and Information Systems

This page was built for publication: A construction of Boolean algebras from first-order structures

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