Elementary properties of free lattices II: decidability of the universal theory
Crossref DOI link: https://doi.org/10.1007/s00029-026-01147-9
Published Online: 2026-04-16
Published Print: 2026-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Nation, J. B.
Paolini, Gianluca
Text and Data Mining valid from 2026-04-01
Version of Record valid from 2026-04-01
Article History
Received: 12 April 2025
Accepted: 6 January 2026
First Online: 16 April 2026