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

Moschovakis Y.N.

首页> 外文期刊>Annals of Pure and Applied Logic >Classical descriptive set theory as a refinement of effective descriptive set theory

【24h】

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

机译：古典描述集理论对有效描述集理论的完善

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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.

机译：（有效的）Suslin-Kleene定理是经典Suslin定理的标准证明的推论，它通过注意到它主要是构造性的并且对其应用了朴素的可实现性解释而获得。

著录项

来源
《Annals of Pure and Applied Logic》 |2010年第3期|共13页
作者
Moschovakis Y.N.;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数理逻辑、数学基础;
关键词
Effective descriptive set theory; Realizability; Suslin-Kleene Theorem;

机译：有效描述集理论;可实现性;Suslin-Kleene定理;

相似文献

外文文献
中文文献
专利

1. Classical descriptive set theory as a refinement of effective descriptive set theory [J] . Moschovakis Y.N. Annals of Pure and Applied Logic . 2010,第3期

机译：古典描述集理论对有效描述集理论的完善
2. On some classical problems of descriptive set theory [J] . Kanovei VG., Lyubetskii VA. Russian mathematical surveys . 2003,第5期

机译：关于描述集理论的一些经典问题
3. RANDOMNESS VIA INFINITE COMPUTATION AND EFFECTIVE DESCRIPTIVE SET THEORY [J] . MERLINCARL, PHILIPPSCHLICHT Journal of Symbolic Logic . 2018,第2期

机译：无限计算随机性和有效的描述性集合理论
4. On Higher Effective Descriptive Set Theory [C] . Margarita Korovina, Oleg Kudinov Conference on computability in Europe . 2017

机译：论有效描述集理论
5. Descriptive set theory and the ergodic theory of countable groups. [D] . Tucker-Drob, Robin Daniel. 2013

机译：可数组的描述集理论和遍历理论。
6. Assessment of the ‘6–31+G** + LANL2DZ Mixed Basis Set Coupled with Density Functional Theory Methods and Effective Core Potential: Prediction of Heats of Formation and Ionization Potentials for First Row Transition Metal Complexes [O] . Yue Yang, Michael N. Weaver, Kenneth M. Merz Jr -1

机译：在6-31 + G ** + LaNL2DZ混合基础加上密度泛函理论方法及有效核势集的评估：对第一行过渡金属配合物的生成热势和电离势预测
7. Aspects of Classical Descriptive Set Theory [O] . Galicki, Alex 2013

机译：经典描述集理论的方方面面

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

摘要

著录项

相似文献

相关主题

期刊订阅