The finite inseparability of the first-order theory of diagonalisable algebras |
| |
| Authors: | Craig Smoryński |
| |
| Affiliation: | (1) Department of Mathematics, San José State University, 95 192 San José, CA, USA |
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
