Studia Logica

, Volume 39, Issue 4, pp 355–359

The undecidability of the first-order theory of diagonalizable algebras

  • Franco Montagna
Article

Abstract

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Polish Academy of Sciences 1980

Authors and Affiliations

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

Personalised recommendations