The finite inseparability of the first-order theory of diagonalisable algebras
- Cite this article as:
- Smoryński, C. Stud Logica (1982) 41: 347. doi:10.1007/BF00403334
- 17 Downloads
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.