Elementary properties of free lattices II: decidability of the universal theory
- 16 April 2026
- journal article
- research article
- Published by Springer Nature in Selecta Mathematica
- Vol. 32 (2) , 41
Abstract
No abstract availableKeywords
All Related Versions
This publication has 12 references indexed in Scilit:
- Free and Finitely Presented Lattices2016
- Model Theory1993
- Distributive lattices with finite projective coversPacific Journal of Mathematics, 1979
- Projective latticesPacific Journal of Mathematics, 1978
- Splitting lattices generate all latticesAlgebra universalis, 1977
- A REPORT ON SUBLATTICES OF A FREE LATTICE1977
- Projective lattices and bounded homomorphismsPacific Journal of Mathematics, 1972
- Equational bases and nonmodular lattice varietiesTransactions of the American Mathematical Society, 1972
- Free Lattices Generated by Partially Ordered Sets and Preserving BoundsCanadian Journal of Mathematics, 1964
- Free LatticesAnnals of Mathematics, 1941