Pages that link to "Item:Q5817463"
From MaRDI portal
The following pages link to Embeddability and the Word Problem (Q5817463):
Displaying 20 items.
- Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras (Q391322) (← links)
- Equational partiality (Q585250) (← links)
- On free modular lattices. II (Q775840) (← links)
- Cut elimination and word problems for varieties of lattices (Q786808) (← links)
- Undecidable problems for completely 0-simple semigroups. (Q1025071) (← links)
- Decidable and undecidable MV-algebras (Q1057270) (← links)
- Equational classes of Steiner systems (Q1219904) (← links)
- Strong finite embeddability for classes of quasigroups (Q1224123) (← links)
- Gültigkeitsbegriffe für Gleichungen in partiellen Algebren (Q1237064) (← links)
- Intersection preserving finite embedding theorems for partial quasigroups (Q1241819) (← links)
- Deciding embeddability of partial groupoids into semigroups (Q1293382) (← links)
- On dynamic algebras (Q1341742) (← links)
- Embeddability into relational lattices is undecidable (Q1647970) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- Modular proof systems for partial functions with Evans equality (Q2432764) (← links)
- Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups (Q2520764) (← links)
- Embedding partial idempotent Latin squares (Q2545693) (← links)
- Finite partial cyclic triple systems can be finitely embedded (Q2546871) (← links)
- Finite embedding theorems for partial Latin squares, quasi-groups, and loops (Q2555503) (← links)
- Varieties of quasigroups determined by short strictly balanced identities (Q3874421) (← links)
