Free Modular Lattices
From MaRDI portal
Cites work
- A test for identities satisfied in lattices of submodules
- Arguesian Lattices of Dimension $n\leqq 4$.
- Embedding and unsolvability theorems for modular lattices
- Free lattices
- Free lattices. II
- Generators of lattice varieties
- scientific article; zbMATH DE number 3131080 (Why is no real title available?)
- scientific article; zbMATH DE number 3132807 (Why is no real title available?)
- scientific article; zbMATH DE number 3777562 (Why is no real title available?)
- scientific article; zbMATH DE number 3472103 (Why is no real title available?)
- scientific article; zbMATH DE number 3472104 (Why is no real title available?)
- scientific article; zbMATH DE number 3489171 (Why is no real title available?)
- scientific article; zbMATH DE number 3552699 (Why is no real title available?)
- scientific article; zbMATH DE number 3556163 (Why is no real title available?)
- scientific article; zbMATH DE number 3596912 (Why is no real title available?)
- scientific article; zbMATH DE number 3273222 (Why is no real title available?)
- scientific article; zbMATH DE number 3050845 (Why is no real title available?)
- scientific article; zbMATH DE number 3069321 (Why is no real title available?)
- scientific article; zbMATH DE number 3081737 (Why is no real title available?)
- On coordinates in modular lattices with a homogeneous basis
- On free modular lattices. II
- On modular lattices with four generators
- Planar sublattices of FM(4)
- Projective Geometries as Projective Modular Lattices
- Recursively unsolvable word problems of modular lattices and diagram- chasing
- The arithmetical theory of Birkhoff lattices
- The imbedding problem for modular lattices
- 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 word problem for division rings
- Word problems
- Zum Wortproblem für freie Untermodulverbände
- Über modulare Verbände, die von einer endlichen halbgeordneten Menge frei erzeugt werden
Cited in
(29)- Proof theory for linear lattices
- Dimension equations in modular lattices
- The word and generator problems for lattices
- Free products and the word problem
- Elementary properties of free extensions
- Graphs with given automorphism group and few edge orbits
- Bibliography on quantum logics and related structures
- \(k\)-ary monoids of term operations
- Directions in lattice theory
- On the word problem for the modular lattice with four free generators
- Join-semidistributive lattices and convex geometries.
- Decision problems for distributive lattice-ordered semigroups
- Undecidable fragments of elementary theories
- Varieties of lattices with geometric descriptions
- From multiple sequent for additive linear logic to decision procedures for free lattices
- On the complexity of equational decision problems for finite height complemented and orthocomplemented modular 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
- Computer proof of monotonicity of operations on orthomodular lattices
- On the Arithmetic of Projective Coordinate Systems
- A Logical Autobiography
- Comments on the Contributions
- An equational logic sampler
- Free abelian lattice-ordered groups
- Free lattice algorithms
- An algebraic glimpse at bunched implications and separation logic
- On the equational theory of finite modular lattices
- Applications of coordinatization in modular lattice theory: The legacy of J. von Neumann
- On some geometrical properties defining classes of rings and varieties of modular lattices
This page was built for publication: Free Modular Lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3877741)
