Studia Logica

, Volume 41, Issue 4, pp 347–349

The finite inseparability of the first-order theory of diagonalisable algebras

  • Craig Smoryński
Article

DOI: 10.1007/BF00403334

Cite this article as:
Smoryński, C. Stud Logica (1982) 41: 347. doi:10.1007/BF00403334

Abstract

In a recent paper, Montagna proved the undecidability of the first-order theory of diagonalisable algebras. This result is here refined — the set of finitely refutable sentences is shown effectively inseparable from the set of theorems. The proof is quite simple.

Copyright information

© Polish Academy of Sciences 1982

Authors and Affiliations

  • Craig Smoryński
    • 1
  1. 1.Department of MathematicsSan José State UniversitySan JoséUSA