Standard topological algebras: syntactic and principal congruences and profiniteness
From MaRDI portal
Publication:2577698
DOI10.1007/s00012-004-1917-6zbMath1088.08006MaRDI 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
syntactic congruences; definable principal congruences; profinite topological algebras; standard topological algebras; standard topological quasivariety
54H11: Topological groups (topological aspects)
54H12: Topological lattices, etc. (topological aspects)
08C15: Quasivarieties
06B30: Topological lattices
Related Items
PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE, The Division Relation: Congruence Conditions and Axiomatisability, Piggyback dualities revisited, Profinite algebras and affine boundedness, Constraint satisfaction, irredundant axiomatisability and continuous colouring, Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras, Boolean topological graphs of semigroups: the lack of first-order axiomatization, General algebra and its applications 2013: problem session., Counting relations on Ockham algebras., Natural dualities for three classes of relational structures, Residual properties of pre-bipartite digraphs, Natural extensions and profinite completions of algebras, Dualisability versus residual character: a theorem and a counterexample, The axiomatizability of topological prevarieties, Natural dualities in partnership, Bohr compactifications of algebras and structures, Profinite topologies, Properties not retained by pointed enrichments of finite lattices, Boolean topological distributive lattices and canonical extensions, What makes a Stone topological algebra profinite, RESIDUAL PROPERTIES OF SIMPLE GRAPHS, MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS, PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES, The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion