The axiomatizability of topological prevarieties

DOI10.1016/J.AIM.2008.03.020zbMath1148.08003OpenAlexW2030229759MaRDI QIDQ932172

Jane G. Pitkethly, Marcel Jackson, David M. Clark, Brian A. Davey

Publication date: 10 July 2008

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

Full work available at URL: https://doi.org/10.1016/j.aim.2008.03.020

zbMATH Keywords

latticegraphsemigroupnatural dualityordered setinverse limitunary algebrauniversal Horn classprofinitetopological prevarietytopological quasivariety

Mathematics Subject Classification ID

Topological lattices, etc. (topological aspects) (54H12) Model theory of finite structures (03C13) Quasivarieties (08C15) Topological lattices (06B30) Equational classes, universal algebra in model theory (03C05) Basic properties of first-order languages and structures (03C07)

Related Items (21)

Structure of quasivariety lattices. IV: Nonstandard quasivarieties ⋮ Axiomatisability and hardness for universal Horn classes of hypergraphs ⋮ Profinite algebras and affine boundedness ⋮ Constraint satisfaction, irredundant axiomatisability and continuous colouring ⋮ Natural dualities for three classes of relational structures ⋮ Relativised homomorphism preservation at the finite level ⋮ Natural dualities in partnership ⋮ Residual properties of pre-bipartite digraphs ⋮ Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras ⋮ Natural extensions and profinite completions of algebras ⋮ Properties not retained by pointed enrichments of finite lattices ⋮ PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES ⋮ Boolean topological graphs of semigroups: the lack of first-order axiomatization ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE ⋮ The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion ⋮ Bohr compactifications of algebras and structures ⋮ RESIDUAL PROPERTIES OF SIMPLE GRAPHS ⋮ The complexity of quasivariety lattices. II ⋮ Profinite locally finite quasivarieties ⋮ Relatively inherently nonfinitely q-based semigroups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quasiidentities of finite unary algebras
• On the quasivarieties generated by finite semigroups
• A partially ordered space which is not a Priestley space
• Residually small varieties of semigroups
• On classes of relations and graphs determined by subobjects and factorobjects
• Algebraic point lattices of quasivarieties
• The Priestley separation axiom for scattered spaces
• Bases for equational theories of semi-groups
• Remarks on residuall y small varieties
• Standard topological algebras: syntactic and principal congruences and profiniteness
• Dual categories for endodualisable Heyting algebras: optimization and axiomatization
• Full does not imply strong, does it?
• The Complexity of Dualisability: Three-Element Unary Algebras
• Theorems on Compact Totally Disconnected Semigroups and Lattices
• Relatively inherently nonfinitely q-based semigroups
• Dualities for Stone algebras, double Stone algebras, and relative Stone algebras
• Median Algebra
• Coproducts of De Morgan algebras
• On profiniteness of compact totally disconnected algebras
• Zero-Dimensional Compact Associative Distributive Universal Algebras
• Strong and full dualisability: three-element unary algebras
• Atomic compactness and graph theory
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Simple compact topological lattices

This page was built for publication: The axiomatizability of topological prevarieties