Pages that link to "Item:Q4337957"
From MaRDI portal
The following pages link to Tarski’s finite basis problem via 𝐀(𝒯) (Q4337957):
Displayed 10 items.
- Inherently nonfinitely based lattices (Q1612484) (← links)
- Finite basis problems and results for quasivarieties (Q1770614) (← links)
- The variety generated by \(\mathbb {A}(\mathcal {T})\) -- two counterexamples (Q2634704) (← links)
- Recursive inseparability for residual bounds of finite algebras (Q2710615) (← links)
- COMPUTATIONALLY AND ALGEBRAICALLY COMPLEX FINITE ALGEBRA MEMBERSHIP PROBLEMS (Q3502845) (← links)
- EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM (Q3601326) (← links)
- THE TYPE SET OF A VARIETY IS NOT COMPUTABLE (Q4786272) (← links)
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties (Q4953214) (← links)
- The Division Relation: Congruence Conditions and Axiomatisability (Q5305990) (← links)
- THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES (Q5501763) (← links)