Classical descriptive set theory as a refinement of effective descriptive set theory

被引：5

作者：

Moschovakis, Yiannis N. ^{[1
,2
]}

机构：

[1] Univ Calif Los Angeles, Dept Math, Los Angeles, CA 90024 USA

[2] Univ Athens, Dept Math, Athens, Greece

来源：

ANNALS OF PURE AND APPLIED LOGIC | 2010年 / 162卷 / 03期

关键词：

Effective descriptive set theory; Realizability; Suslin-Kleene Theorem; 2ND RECURSION THEOREM;

D O I：

10.1016/j.apal.2010.09.010

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

The (effective) Suslin-Kleene Theorem is obtained as a corollary of a standard proof of the classical Suslin Theorem, by noticing that it is mostly constructive and applying to it a naive realizability interpretation. (C) 2010 Elsevier B.V. All rights reserved.

引用

页码：243 / 255

页数：13

共 9 条

[1]

Aczel P, 2009, SYNTH LIBR, V341, P129, DOI 10.1007/978-1-4020-8926-8_6

[2]

[Anonymous], 1955, Trans. Amer. Math. Soc., DOI DOI 10.2307/1993033

[3]

Kleene S. C., 1955, Bull. Am. Math. Soc., V61, P193

[4]

Kuratowski K., 1966, Topology, VI

[5] KLEENE'S AMAZING SECOND RECURSION THEOREM [J].

Moschovakis, Yiannis N. .

BULLETIN OF SYMBOLIC LOGIC, 2010, 16 (02) :189-239

[6]

Moschovakis YN, 2009, LECT NOTES COMPUT SC, V5771, P24, DOI 10.1007/978-3-642-04027-6_5

[7]

MOSCHOVAKIS YN, 1971, NOTICES AM MATH SOC, V1088

[8]

Rathjen M, 2005, J UNIVERS COMPUT SCI, V11, P2008

[9]

Suslin Mikhail Ya., 1917, CR HEBD ACAD SCI, V164, P88

← 1 →