|
|||||
|
|
The Undecidability of Grisin's Set Theory |
|
| Authors: | Cantini Andrea |
| Affiliation: | (1) Dipartimento di Filosofia, Università di Firenze, via Bolognese 52, I-50139 Firenze, Italy |
| Abstract: | We investigate a contractionless naive set theory, due to Grisin [11]. We prove that the theory is undecidable. |
| Keywords: | set theory contractionless logics second recursion theorem combinatory logic |
| 本文献已被 SpringerLink 等数据库收录！ | |