Locally Boolean spectra

DOI10.1007/BF01190703zbMath0821.08001OpenAlexW2081870297MaRDI QIDQ1891270

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

domainsordered groupssimple ringscongruence distributive varietysubdirect productfirst-order axiomatizabilitylocally Boolean representabilitylocally Boolean spectralocally projectivessemi-irreducible algebrassheaf representations of algebrasspectra uniqueness property

Mathematics Subject Classification ID

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

Related Items (9)

Characterization of discriminator varieties ⋮ Birkhoff-like sheaf representation for varieties of lattice expansions ⋮ Factor principal congruences and Boolean products in filtral varieties ⋮ Central elements in varieties with the Fraser-Horn property ⋮ Implicit definition of the quaternary discriminator ⋮ Free algebras in discriminator varieties ⋮ Varieties of shells ⋮ Hyper-MacNeille completions of Heyting algebras ⋮ 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

This page was built for publication: Locally Boolean spectra