Locally Boolean spectra

DOI10.1007/BF01190703MaRDI QIDQ1891270zbMATH OpenOpenAlexFDO

Authors Diego J. Vaggione

Publication date 18 September 1995

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01190703

zbMATH Keywords

congruence distributive varietydomainsfirst-order axiomatizabilitylocally Boolean representabilitylocally Boolean spectralocally projectivesordered groupssemi-irreducible algebrassheaf representations of algebrassimple ringsspectra uniqueness propertysubdirect product

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Subalgebras, congruence relations (08A30) Subdirect products and subdirect irreducibility (08B26)

Review text

This paper is a continuation of the author's earlier paper [ibid. 29, 232-272 (1992; Zbl 0772.08005)]. He uses the same approach to study now locally Boolean representability. The generality of the results obtained in both works put into perspective the power of universal algebra in the study of sheaf representations of algebras (in all cases the results are obtained by combining a minimal amount of particular algebra with strong general universal algebra theorems). The main results of this paper are found in Sections 6, 7 and 8. In section 6, the author defines locally Boolean spectra and locally projectives and proves two important theorems characterizing them. In section 7, the author introduces the SUP (spectra uniqueness property) and uses Beth's definability theorem to prove that for every \(\forall \exists\) class \({\mathcal M}\) with the SUP, the class of (locally) Boolean \({\mathcal M}\)-representable algebras is elementary. Also he proves that every class of finitely subdirectly irreducible algebras in a congruence distributive variety has the SUP and that the class of domains and the class of simple rings with identity (in the language of rings and rings with identity, respectively) have the SUP. In section 8 the author uses the characterization theorems proved in Section 6 to study the locally Boolean representation of semi-irreducible algebras by finitely subdirectly irreducibles.

Recommendations

• Sheaf representation and Chinese Remainder Theorems
• Categories of Boolean sheaves of simple algebras
• Boolean algebras in a localic topos
• scientific article; zbMATH DE number 45803
• Representations by algebras of sections over Boolean spaces
• Boolean products and subdirect powers
• scientific article; zbMATH DE number 428362
• Sheaves of algebras over Boolean spaces
• Local algebras in the representation of MV-algebras
• scientific article; zbMATH DE number 426310

Cites work

• A General Theory of Spectra. I
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• Congruence relations on De Morgan algebras
• Equational compactness in quasi-primal varieties
• Finitely subdirectly irreducible algebras with pseudocomplementation
• Global subdirect products
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3786742 (Why is no real title available?)
• scientific article; zbMATH DE number 46359 (Why is no real title available?)
• scientific article; zbMATH DE number 3231118 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3346614 (Why is no real title available?)
• scientific article; zbMATH DE number 3365335 (Why is no real title available?)
• scientific article; zbMATH DE number 3050845 (Why is no real title available?)
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• Principal Congruences of p-Algebras and Double p-Algebras
• Projectable and strongly projectable lattice-ordered groups
• Relation of the Exact Transient Solution for a Line Source near an Interface between Two Fluids to Geometrical Acoustics
• Remarks on Boolean products
• Representations of algebras by continuous sections
• Sheaf Constructions and Their Elementary Properties
• Sheaf representation and Chinese Remainder Theorems
• Stone lattices
• Subdirectly irreducible modular p-algebras
• The lattice of global sections of sheaves of chains over Boolean spaces
• The representation of biregular rings by sheaves
• The structure of distributive double p-algebras. Regularity and congruences
• Uniformity of congruences

Cited in

(11)

• Categories of Boolean sheaves of simple algebras
• Varieties of shells
• Implicit definition of the quaternary discriminator
• Birkhoff-like sheaf representation for varieties of lattice expansions
• Central elements in varieties with the Fraser-Horn property
• Hyper-MacNeille completions of Heyting algebras
• Definability of directly indecomposable congruence modular algebras
• scientific article; zbMATH DE number 4077299 (Why is no real title available?)
• Characterization of discriminator varieties
• Free algebras in discriminator varieties
• Factor principal congruences and Boolean products in filtral varieties

This page was built for publication: Locally Boolean spectra

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