On the word problem for the modular lattice with four free generators

DOI10.1007/BF01455951zbMATH Open0506.06004MaRDI QIDQ1836679FDOQ1836679

Authors: Christian Herrmann 

Publication date: 1983

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/163836

zbMATH Keywords

modular latticesfree modular latticeword problem for modular lattices

Mathematics Subject Classification ID

Modular lattices, Desarguesian lattices (06C05) Free lattices, projective lattices, word problems (06B25)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The Variety of Modular Lattices is Not Generated by its Finite Members
• On coordinates in modular lattices with a homogeneous basis
• Projective Geometries as Projective Modular Lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• S-verklebte Summen von Verbänden
• Free Modular Lattices
• Title not available (Why is that?)
• Embedding and unsolvability theorems for modular lattices
• Recursively unsolvable word problems of modular lattices and diagram- chasing
• The imbedding problem for modular lattices
• On elementary Arguesian lattices with four generators
• The Undecidability of the Word Problems for Projective Geometries and Modular Lattices
• Representations of partially ordered sets of infinite type

Cited In (11)

• On the Arithmetic of Projective Coordinate Systems
• Proof theory for linear lattices
• A field guide to equational logic
• From multiple sequent for additive linear logic to decision procedures for free lattices
• Join-semidistributive lattices and convex geometries.
• An equational logic sampler
• Computer proof of monotonicity of operations on orthomodular lattices
• Graphs with given automorphism group and few edge orbits
• The structure of non-Arguesian lattices
• The undecidability of the elementary theory of lattices of all equational theories of large signature
• Gelfand-Ponomarev and Herrmann constructions for quadruples and sextuples

This page was built for publication: On the word problem for the modular lattice with four free generators

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