The undecidability of the elementary theory of lattices of all equational theories of large signature
From MaRDI portal
Publication:2311327
DOI10.1007/s00012-019-0601-9zbMath1468.08004OpenAlexW2959975534MaRDI QIDQ2311327
Publication date: 10 July 2019
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-019-0601-9
Lattices of varieties (08B15) Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05)
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
- Lattice-theoretic decision problems in universal algebra
- Intervals in the lattice of varieties
- On the word problem for the modular lattice with four free generators
- Unsolvable problems for equational theories
- On the structure of the lattice of equational classes \({\mathcal L}(\tau)\)
- Free lattices
- Undecidable theories
- Identities in Finite Partition Lattices
- Free Modular Lattices
- Decidable varieties with modular congruence lattices
- The lattice of equational theories. Part II: The lattice of full sets of terms
- The decision problem for equational bases of algebras
- Recursive Unsolvability of a problem of Thue
- Primitive classes of algebras with unary and nullary operations
- The Lattice of Equational Classes of Algebras with One Unary Operation
This page was built for publication: The undecidability of the elementary theory of lattices of all equational theories of large signature