The undecidability of the elementary theory of lattices of all equational theories of large signature

• George F. McNulty ^[1]
  1. [1] University of South Carolina

     University of South Carolina

     Estados Unidos

     
• Localización: Algebra universalis, ISSN 0002-5240, Vol. 80, Nº. 3, 2019, págs. 1-11
• Idioma: inglés
• DOI: 10.1007/s00012-019-0601-9
• Enlaces
  • Texto completo