Standard topological algebras: syntactic and principal congruences and profiniteness

DOI10.1007/s00012-004-1917-6zbMath1088.08006OpenAlexW1970672339MaRDI QIDQ2577698

Marcel Jackson, Ralph Freese, Brian A. Davey, David M. Clark

Publication date: 6 January 2006

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

Full work available at URL: https://doi.org/10.1007/s00012-004-1917-6

zbMATH Keywords

syntactic congruencesdefinable principal congruencesprofinite topological algebrasstandard topological algebrasstandard topological quasivariety

Mathematics Subject Classification ID

Topological groups (topological aspects) (54H11) Topological lattices, etc. (topological aspects) (54H12) Quasivarieties (08C15) Topological lattices (06B30)

Related Items (24)

The Division Relation: Congruence Conditions and Axiomatisability ⋮ Piggyback dualities revisited ⋮ Boolean topological distributive lattices and canonical extensions ⋮ Profinite algebras and affine boundedness ⋮ Constraint satisfaction, irredundant axiomatisability and continuous colouring ⋮ Natural dualities for three classes of relational structures ⋮ Natural dualities in partnership ⋮ Dualisability versus residual character: a theorem and a counterexample ⋮ Residual properties of pre-bipartite digraphs ⋮ What makes a Stone topological algebra profinite ⋮ 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 ⋮ The axiomatizability of topological prevarieties ⋮ PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES ⋮ Boolean topological graphs of semigroups: the lack of first-order axiomatization ⋮ General algebra and its applications 2013: problem session. ⋮ Counting relations on Ockham 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 ⋮ Profinite topologies ⋮ MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS

This page was built for publication: Standard topological algebras: syntactic and principal congruences and profiniteness