DEFINING TOTALITY IN THE ENUMERATION DEGREES

成果类型：

Article

署名作者：

Cai, Mingzhong; Ganchev, Hristo A.; Lempp, Steffen; Miller, Joseph S.; Soskova, Mariya I.

署名单位：

Dartmouth College; University of Sofia; University of Wisconsin System; University of Wisconsin Madison

刊物名称：

JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY

ISSN/ISSBN：

0894-0347

DOI：

10.1090/jams/848

发表日期：

2016

页码：

1051-1067

关键词：

relative recursive enumerability array nonrecursiveness jump definability DOMINATION sets

来源URL：