The following pages link to (Q4679049):
Displaying 13 items.
- Constraint satisfaction, irredundant axiomatisability and continuous colouring (Q361864) (← 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)
- The axiomatizability of topological prevarieties (Q932172) (← links)
- Axiomatisability and hardness for universal Horn classes of hypergraphs (Q1652862) (← links)
- Natural dualities in partnership (Q1928246) (← links)
- Bohr compactifications of algebras and structures (Q2014018) (← links)
- New-from-old full dualities via axiomatisation (Q2636520) (← links)
- (Q4353282) (← links)
- PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE (Q4647112) (← links)
- The complexity of quasivariety lattices. II (Q6587394) (← links)
- Profinite locally finite quasivarieties (Q6597129) (← links)