scientific article

zbMath1146.08005MaRDI QIDQ3514350

Marcel Jackson

Publication date: 21 July 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

undecidabilityinverse limitquasivarietyprofinite groupstandard topological quasivarietiesresidual boundBoolean topologyfinitely determined syntactic congruencesprofinite completely simple semigroup

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Topological lattices, etc. (topological aspects) (54H12) Stone spaces (Boolean spaces) and related structures (06E15) Equational classes, universal algebra in model theory (03C05) Other topological algebraic systems and their representations (22A30) Limits, profinite groups (20E18) Semigroups (20M99) Topological representations of algebraic systems (54H10) Other classes of algebras (08C99)

Related Items

Constraint satisfaction, irredundant axiomatisability and continuous colouring ⋮ The axiomatizability of topological prevarieties ⋮ Boolean topological graphs of semigroups: the lack of first-order axiomatization ⋮ PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE ⋮ Bohr compactifications of algebras and structures ⋮ Relatively inherently nonfinitely q-based semigroups