|
|||||
|
|
Relative to any nonrecursive set |
|
| Authors: | Theodore A Slaman |
| Institution: | Department of Mathematics, The University of Chicago, Chicago, Illinois 60637 |
| Abstract: | There is a countable first order structure  such that for any set of integers  ,  is not recursive if and only if there is a presentation of  which is recursive in  . |
| Keywords: | Recursive model theory |
| 点击此处可从《Proceedings of the American Mathematical Society》浏览原始摘要信息 | |
| 点击此处可从《Proceedings of the American Mathematical Society》下载免费的PDF全文 | |