The following pages link to (Q3514350):
Displaying 8 items.
- Constraint satisfaction, irredundant axiomatisability and continuous colouring (Q361864) (← links)
- Boolean topological graphs of semigroups: the lack of first-order axiomatization (Q485412) (← links)
- The axiomatizability of topological prevarieties (Q932172) (← links)
- Bohr compactifications of algebras and structures (Q2014018) (← links)
- Relatively inherently nonfinitely q-based semigroups (Q3623389) (← links)
- PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE (Q4647112) (← links)
- THE RESIDUAL BOUND OF A FINITE ALGEBRA IS NOT COMPUTABLE (Q4882917) (← links)
- Profinite locally finite quasivarieties (Q6597129) (← links)