Pages that link to "Item:Q1187715"
From MaRDI portal
The following pages link to The structure of decidable locally finite varieties (Q1187715):
Displaying 41 items.
- Many-sorted and single-sorted algebras (Q353361) (← links)
- Bounding essential arities of term operations in finitely decidable varieties (Q494631) (← links)
- Triviality, NDOP and stable varieties (Q688801) (← links)
- Undecidability of local structures of s-degrees and Q-degrees (Q1009444) (← links)
- Towards the decidability of the theory of modules over finite commutative rings (Q1023048) (← links)
- Decidable unary varieties (Q1085191) (← links)
- Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties (Q1119619) (← links)
- Varieties with decidable finite algebras. I: Linearity (Q1124620) (← links)
- Homogeneous locally finite varieties (Q1193505) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Structural problems for model companions of varieties of polygons (Q1204682) (← links)
- Finitary decidability implies congruence permutability for congruence modular varieties (Q1205173) (← links)
- On finitely based groups and nonfinitely based quasivarieties (Q1265546) (← links)
- Monoids with decidable and undecidable classes of polygons (Q1272004) (← links)
- A geometric consequence of residual smallness (Q1304544) (← links)
- Decidable discriminator varieties with lattice stalks (Q1319051) (← links)
- Discriminating varieties (Q1337150) (← links)
- Superstable quasi-varieties (Q1337356) (← links)
- Restricted Priestley dualities and discriminator varieties (Q1680521) (← links)
- Decidable locally finite discriminator varieties arising from dihedral varieties of groups (Q1779462) (← links)
- Algebras from congruences (Q2238024) (← links)
- Deciding active structural completeness (Q2288335) (← links)
- A property of the solvable radical in finitely decidable varieties (Q2773238) (← links)
- The structure of locally finite varieties with polynomially many models (Q3079193) (← links)
- A Characterization of Finitely Decidable Congruence Modular Varieties (Q3127568) (← links)
- Finitely Decidable Congruence Modular Varieties (Q3142089) (← links)
- Locally solvable factors of varieties (Q3837636) (← links)
- Decidable discriminator varieties from unary varieties (Q3984411) (← links)
- SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES (Q4024646) (← links)
- Decidable Discriminator Varieties from Unary Classes (Q4038454) (← links)
- Finite Simple Abelian Algebras are Strictly Simple (Q4207948) (← links)
- A decidable variety that is finitely undecidable (Q4262575) (← links)
- On Solvable Congruences in Finitely Decidable Varieties (Q4304097) (← links)
- Hereditary undecidability of some theories of finite structures (Q4323040) (← links)
- Polygones (Q4323835) (← links)
- The locally definable property of the product control structure (Q4540248) (← links)
- A finitely axiomatizable undecidable equational theory with recursively solvable word problems (Q4955722) (← links)
- Minimal abelian varieties of algebras, I (Q4989993) (← links)
- BL-global representations (Q5871380) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)
- Algebras from finite group actions and a question of Eilenberg and Schützenberger (Q6169073) (← links)
