Pages that link to "Item:Q2539862"
From MaRDI portal
The following pages link to Unsolvable problems for equational theories (Q2539862):
Displaying 17 items.
- Basic questions for general algebras (Q797614) (← links)
- The unification hierarchy is undecidable (Q1181721) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Characterizing Mal'cev conditions (Q1216327) (← links)
- Base-undecidable properties of universal varieties (Q1237797) (← links)
- Thue trees (Q1861534) (← links)
- The combinatorial degrees of proofs and equations (Q1918969) (← links)
- The undecidability of the elementary theory of lattices of all equational theories of large signature (Q2311327) (← links)
- Finitely generated permutative varieties. (Q2391163) (← links)
- Finite axiomatizability for equational theories of computable groupoids (Q3470464) (← links)
- Some undecidability results in strong algebraic languages (Q3712328) (← links)
- Decision problems concerning properties of finite sets of equations (Q3717106) (← links)
- Some Universal Sets of Terms (Q3941407) (← links)
- On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model (Q4075454) (← links)
- Tarski’s finite basis problem via 𝐀(𝒯) (Q4337957) (← links)
- The existence of finitely based lower covers for finitely based equational theories (Q4876322) (← links)
- An equational logic sampler (Q5055725) (← links)
