Pages that link to "Item:Q4882917"
From MaRDI portal
The following pages link to THE RESIDUAL BOUND OF A FINITE ALGEBRA IS NOT COMPUTABLE (Q4882917):
Displayed 24 items.
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). (Q494618) (← links)
- Flat unars: the primal, the semi-primal and the dualisable (Q607463) (← links)
- A finite set of functions with an EXPTIME-complete composition problem (Q955009) (← links)
- Finite basis problems and results for quasivarieties (Q1770614) (← links)
- On McKenzie's method (Q1922124) (← links)
- Deciding active structural completeness (Q2288335) (← links)
- Finite degree clones are undecidable (Q2333801) (← links)
- The variety generated by \(\mathbb {A}(\mathcal {T})\) -- two counterexamples (Q2634704) (← links)
- Recursive inseparability for residual bounds of finite algebras (Q2710615) (← links)
- Residually Finite Varieties of Nonassociative Algebras (Q3060829) (← links)
- Quasiequational Theories of Flat Algebras (Q3366747) (← links)
- COMPUTATIONALLY AND ALGEBRAICALLY COMPLEX FINITE ALGEBRA MEMBERSHIP PROBLEMS (Q3502845) (← links)
- PROPERTIES OF VARIETIES DETERMINED BY THE DEGREES OF PROPER HYPERSUBSTITUTIONS (Q3521576) (← links)
- PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES (Q3549353) (← links)
- EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM (Q3601326) (← links)
- The computational complexity of deciding whether a finite algebra generates a minimal variety (Q4586419) (← links)
- PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE (Q4647112) (← links)
- THE TYPE SET OF A VARIETY IS NOT COMPUTABLE (Q4786272) (← links)
- SOLUTION TO A PROBLEM OF KUBLANOVSKY AND SAPIR (Q4786292) (← links)
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties (Q4953214) (← links)
- Flat algebras and the translation of universal Horn logic to equational logic (Q5387303) (← links)
- THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES (Q5501763) (← links)
- DETERMINING WHETHER ${\mathsf V}({\bf A})$ HAS A MODEL COMPANION IS UNDECIDABLE (Q5692241) (← links)
- Residual smallness relativized to congruence types. I (Q5946833) (← links)