PRIME AND SEARCH COMPUTABILITY, CHARACTERIZED AS DEFINABILITY IN CERTAIN SUB-LANGUAGES OF CONSTRUCTIBLE L OMEGA.1, OMEGA

被引：2

作者：

GORDON, CE ^{[1
]}

机构：

[1] CALIF STATE UNIV,DEPT MATH,LOS ANGELES,CA 90032

来源：

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY | 1974年 / 197卷

关键词：

D O I：

10.2307/1996943

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：391 / 407

页数：17

相关论文

共 4 条

[1]

LACOMBE D, 1971, RECURSION THEORETIC, P3

[2] ABSTRACT COMPUTABILITY AND INVARIANT DEFINABILITY [J].

MOSCHOVAKIS, YN .

JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (04) :605-+

[3]

MOSCHOVAKIS YN, 1969, T AM MATH SOC, V138, P427, DOI 10.2307/1994926

[4]

TAKEUTI G, 1963, J MATH SOC JAPAN, V15, P176