Free Modular Lattices

DOI10.2307/1998318zbMath0437.06006OpenAlexW4234439254MaRDI QIDQ3877741

Ralph Freese

Publication date: 1980

Full work available at URL: https://doi.org/10.2307/1998318

zbMATH Keywords

unsolvable word problemcoordinatization theoryfirst order theory of quintuplesfree modular lattice on five generators

Mathematics Subject Classification ID

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

Related Items

Directions in lattice theory ⋮ Dimension equations in modular lattices ⋮ Gelfand-Ponomarev and Herrmann constructions for quadruples and sextuples ⋮ On the Arithmetic of Projective Coordinate Systems ⋮ Decision problems for distributive lattice-ordered semigroups ⋮ An equational logic sampler ⋮ The word and generator problems for lattices ⋮ Free products and the word problem ⋮ Undecidable fragments of elementary theories ⋮ Varieties of lattices with geometric descriptions ⋮ Elementary properties of free extensions ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ From multiple sequent for additive linear logic to decision procedures for free lattices ⋮ Computer proof of monotonicity of operations on orthomodular lattices ⋮ Graphs with given automorphism group and few edge orbits ⋮ Bibliography on quantum logics and related structures ⋮ \(k\)-ary monoids of term operations ⋮ Free abelian lattice-ordered groups ⋮ Free lattice algorithms ⋮ The undecidability of the elementary theory of lattices of all equational theories of large signature ⋮ Applications of coordinatization in modular lattice theory: The legacy of J. von Neumann ⋮ On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices ⋮ On the word problem for the modular lattice with four free generators ⋮ On some geometrical properties defining classes of rings and varieties of modular lattices ⋮ Join-semidistributive lattices and convex geometries. ⋮ Proof theory for linear lattices ⋮ A Logical Autobiography ⋮ Comments on the Contributions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursively unsolvable word problems of modular lattices and diagram- chasing
• On free modular lattices. II
• Planar sublattices of FM(4)
• Zum Wortproblem für freie Untermodulverbände
• Embedding and unsolvability theorems for modular lattices
• Generators of lattice varieties
• A test for identities satisfied in lattices of submodules
• On modular lattices with four generators
• On coordinates in modular lattices with a homogeneous basis
• Über modulare Verbände, die von einer endlichen halbgeordneten Menge frei erzeugt werden
• Free lattices
• The arithmetical theory of Birkhoff lattices
• The imbedding problem for modular lattices
• Free lattices. II
• Projective Geometries as Projective Modular Lattices
• Arguesian Lattices of Dimension $n\leqq 4$.
• The Variety of Modular Lattices is Not Generated by its Finite Members
• Word problems
• The word problem for division rings
• The Undecidability of the Word Problems for Projective Geometries and Modular Lattices