Studia Logica

, Volume 39, Issue 4, pp 355–359

The undecidability of the first-order theory of diagonalizable algebras

  • Franco Montagna
Article

DOI: 10.1007/BF00713545

Cite this article as:
Montagna, F. Stud Logica (1980) 39: 355. doi:10.1007/BF00713545

Abstract

The undecidability of the first-order theory of diagonalizable algebras is shown here.

Copyright information

© Polish Academy of Sciences 1980

Authors and Affiliations

  • Franco Montagna
    • 1
  1. 1.Institute of MathematicsSiena UniversityItaly