Pages that link to "Item:Q932172"

The following pages link to The axiomatizability of topological prevarieties (Q932172):

Displaying 19 items.

• Profinite algebras and affine boundedness (Q340419) (← links)
• Constraint satisfaction, irredundant axiomatisability and continuous colouring (Q361864) (← links)
• Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras (Q454393) (← links)
• Boolean topological graphs of semigroups: the lack of first-order axiomatization (Q485412) (← links)
• Natural dualities for three classes of relational structures (Q607455) (← links)
• Residual properties of pre-bipartite digraphs (Q616134) (← links)
• Natural extensions and profinite completions of algebras (Q651385) (← links)
• Structure of quasivariety lattices. IV: Nonstandard quasivarieties (Q820488) (← links)
• Axiomatisability and hardness for universal Horn classes of hypergraphs (Q1652862) (← links)
• Relativised homomorphism preservation at the finite level (Q1680516) (← links)
• Natural dualities in partnership (Q1928246) (← links)
• Bohr compactifications of algebras and structures (Q2014018) (← links)
• Properties not retained by pointed enrichments of finite lattices (Q2217773) (← links)
• Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
• RESIDUAL PROPERTIES OF SIMPLE GRAPHS (Q3065426) (← links)
• PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES (Q3549353) (← links)
• The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion (Q3586013) (← links)
• Relatively inherently nonfinitely q-based semigroups (Q3623389) (← links)
• PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE (Q4647112) (← links)