Definability, Automorphisms, and Dynamic Properties of Computably Enumerable Sets
Leo Harrington and Robert I. Soare
- 期刊名称The Bulletin of Symbolic Logic
- 作者Leo Harrington and Robert I. Soare
- 卷第2卷
- 期第2期
- 印刷ISSN1079-8986
- 文件大小483.89KB
- 发表时间1996-06
- DOI10.2307/421110
- 页码199-213