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

DOI10.1007/BF01455951MaRDI QIDQ1836679zbMATH OpenFDO

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

• scientific article; zbMATH DE number 3773659 (Why is no real title available?)
• scientific article; zbMATH DE number 3574107 (Why is no real title available?)
• scientific article; zbMATH DE number 3273222 (Why is no real title available?)
• scientific article; zbMATH DE number 3424071 (Why is no real title available?)
• scientific article; zbMATH DE number 3103212 (Why is no real title available?)
• Embedding and unsolvability theorems for modular lattices
• Free Modular Lattices
• On coordinates in modular lattices with a homogeneous basis
• On elementary Arguesian lattices with four generators
• Projective Geometries as Projective Modular Lattices
• Recursively unsolvable word problems of modular lattices and diagram- chasing
• Representations of partially ordered sets of infinite type
• S-verklebte Summen von Verbänden
• The Undecidability of the Word Problems for Projective Geometries and Modular Lattices
• The Variety of Modular Lattices is Not Generated by its Finite Members
• The imbedding problem for modular lattices

Cited in

(11)

• Gelfand-Ponomarev and Herrmann constructions for quadruples and sextuples
• 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

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)