Locally Boolean spectra

DOI10.1007/BF01190703zbMath0821.08001MaRDI QIDQ1891270

Diego J. Vaggione

Publication date: 18 September 1995

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

domains; ordered groups; simple rings; congruence distributive variety; subdirect product; first-order axiomatizability; locally Boolean representability; locally Boolean spectra; locally projectives; semi-irreducible algebras; sheaf representations of algebras; spectra uniqueness property

Mathematics Subject Classification ID

08A30: Subalgebras, congruence relations

03C20: Ultraproducts and related constructions

08B26: Subdirect products and subdirect irreducibility

Related Items

Characterization of discriminator varieties, Free algebras in discriminator varieties, 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, Definability of directly indecomposable congruence modular algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• Projectable and strongly projectable lattice-ordered groups
• Congruence relations on De Morgan algebras
• Remarks on Boolean products
• Finitely subdirectly irreducible algebras with pseudocomplementation
• Sheaf representation and Chinese Remainder Theorems
• Uniformity of congruences
• Equational compactness in quasi-primal varieties
• The lattice of global sections of sheaves of chains over Boolean spaces
• The structure of distributive double p-algebras. Regularity and congruences
• The representation of biregular rings by sheaves
• Stone lattices
• Subdirectly irreducible modular p-algebras
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Global subdirect products
• 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
• Sheaf Constructions and Their Elementary Properties
• Relation of the Exact Transient Solution for a Line Source near an Interface between Two Fluids to Geometrical Acoustics
• Representations of algebras by continuous sections
• A General Theory of Spectra. I