Pages that link to "Item:Q1272241"
From MaRDI portal
The following pages link to A sufficient condition for finite decidability (Q1272241):
Displaying 13 items.
- Bounding essential arities of term operations in finitely decidable varieties (Q494631) (← links)
- Finitely determined arithmetical varieties need not be universally- finite (Q1083464) (← links)
- Decidable unary varieties (Q1085191) (← links)
- Varieties with decidable finite algebras. II: Permutability (Q1124621) (← links)
- The structure of decidable locally finite varieties (Q1187715) (← links)
- Decidability of elementary theories of certain finitely defined algebras (Q1803020) (← links)
- Type 2 subdirectly irreducible algebras in finitely decidable varieties (Q1895585) (← links)
- Criterion for propositional calculi to be finitely generated (Q2344087) (← links)
- Finitely Decidable Congruence Modular Varieties (Q3142089) (← links)
- Decision problem for finite equivalential algebras (Q3976917) (← links)
- PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE (Q4647112) (← links)
- A geometric generalization of Kaplansky’s direct finiteness conjecture (Q5889742) (← links)
- Finitary PCF is not decidable (Q5958762) (← links)