Recursively unsolvable word problems of modular lattices and diagram- chasing

DOI10.1016/0021-8693(73)90001-XzbMATH Open0272.06010MaRDI QIDQ759047FDOQ759047

Authors: D. Kharzeev 

Publication date: 1973

Published in: Journal of Algebra (Search for Journal in Brave)

Mathematics Subject Classification ID

Modular lattices, Desarguesian lattices (06C05) Categorical algebra (18E99) Word problems, etc. in computability and recursion theory (03D40)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Representation of Modular Lattices and Of Relation Algebras
• Modular lattices and abelian categories
• Title not available (Why is that?)

Cited In (17)

• On the word problem for the modular lattice with four free generators
• Exact embedding functors between categories of modules
• On the equational theory of projection lattices of finite von Neumann factors
• Exact embedding functors for module categories and submodule lattice quasivarieties
• A test for identities satisfied in lattices of submodules
• Proof theory for linear lattices
• Decision problems for distributive lattice-ordered semigroups
• The diamond lemma for ring theory
• Existence varieties of regular rings and complemented modular lattices
• Submodule lattice quasivarieties and exact embedding functors for rings with prime power characteristic
• Cut elimination and word problems for varieties of lattices
• Embedding and unsolvability theorems for modular lattices
• Zum Wortproblem für freie Untermodulverbände
• The undecidability of entailment and relevant implication
• Quantum logic as motivated by quantum computing
• Free Modular Lattices
• A duality principle for lattices and categories of modules

This page was built for publication: Recursively unsolvable word problems of modular lattices and diagram- chasing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q759047)