Pages that link to "Item:Q759047"
From MaRDI portal
The following pages link to Recursively unsolvable word problems of modular lattices and diagram- chasing (Q759047):
Displaying 17 items.
- Cut elimination and word problems for varieties of lattices (Q786808) (← links)
- Proof theory for linear lattices (Q1070254) (← links)
- Exact embedding functors between categories of modules (Q1163080) (← links)
- The diamond lemma for ring theory (Q1225669) (← links)
- Zum Wortproblem für freie Untermodulverbände (Q1232533) (← links)
- A duality principle for lattices and categories of modules (Q1241799) (← links)
- Embedding and unsolvability theorems for modular lattices (Q1245859) (← links)
- A test for identities satisfied in lattices of submodules (Q1248533) (← links)
- Exact embedding functors for module categories and submodule lattice quasivarieties (Q1305451) (← links)
- On the word problem for the modular lattice with four free generators (Q1836679) (← links)
- Decision problems for distributive lattice-ordered semigroups (Q1891276) (← links)
- Submodule lattice quasivarieties and exact embedding functors for rings with prime power characteristic (Q1918966) (← links)
- Existence varieties of regular rings and complemented modular lattices (Q2382984) (← links)
- The undecidability of entailment and relevant implication (Q3703869) (← links)
- Free Modular Lattices (Q3877741) (← links)
- On the equational theory of projection lattices of finite von neumann factors (Q4931110) (← links)
- Quantum logic as motivated by quantum computing (Q5718663) (← links)
