Pages that link to "Item:Q1237797"
From MaRDI portal
The following pages link to Base-undecidable properties of universal varieties (Q1237797):
Displaying 14 items.
- When is a term point universal? (Q1137137) (← links)
- Universal terms of the form \(B^nA^m\) (Q1142864) (← links)
- Finite groupoids without finite bases for their identities (Q1159702) (← links)
- A field guide to equational logic (Q1201350) (← links)
- The diamond lemma for ring theory (Q1225669) (← links)
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras (Q1260029) (← links)
- The reverse spelling of an FPrt-universal word in two letters (Q1272206) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- Covering in the lattice of equational theories and some properties of term finite theories (Q1838506) (← links)
- Some undecidability results in strong algebraic languages (Q3712328) (← links)
- Decision problems concerning properties of finite sets of equations (Q3717106) (← links)
- Alfred Tarski and undecidable theories (Q3764095) (← links)
- A Mathematical Life (Q4586411) (← links)
- An equational logic sampler (Q5055725) (← links)
