Pages that link to "Item:Q4154857"
From MaRDI portal
The following pages link to Undecidable properties of finite sets of equations (Q4154857):
Displaying 15 items.
- An easy test for congruence modularity (Q451080) (← links)
- Congruence-distributive varieties of algebras (Q911623) (← links)
- When is a term point universal? (Q1137137) (← links)
- Recursive undecidability of the binding property for finitely presented equational classes (Q1151417) (← links)
- Structural diversity in the lattice of equational theories (Q1164076) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Base-undecidable properties of universal varieties (Q1237797) (← links)
- Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten (Q1241510) (← links)
- The reverse spelling of an FPrt-universal word in two letters (Q1272206) (← links)
- Covering in the lattice of equational theories and some properties of term finite theories (Q1838506) (← links)
- Thue trees (Q1861534) (← links)
- The combinatorial degrees of proofs and equations (Q1918969) (← links)
- Equations implying congruence \(n\)-permutability and semidistributivity. (Q2443677) (← links)
- (Q3932855) (← links)
- Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen (Q4182709) (← links)