|
|||||
|
|
On the relation provable equivalence and on partitions in effectively inseparable sets |
|
| Authors: | Claudio Bernardi |
| Affiliation: | (1) Istituto di Matematica, Siena, Italy |
| Abstract: | We generalize a well-knownSmullyan's result, by showing that any two sets of the kindCa = {x/ x a} andCb = {x/ xb} are effectively inseparable (if I  b). Then we investigate logical and recursive consequences of this fact (see Introduction). |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |