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

George F. McNulty

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






Cites Work


This page was built for publication: The undecidability of the elementary theory of lattices of all equational theories of large signature