Turing jumps in the Ershov hierarchy

Faizrakhmanov M.K.

首页> 外文期刊>Algebra and logic >Turing jumps in the Ershov hierarchy

【24h】

Turing jumps in the Ershov hierarchy

机译：图灵跳入Ershov阶层

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We look at infinite levels of the Ershov hierarchy in the natural system of notation, which are proper for jumps of sets. It is proved that proper infinite levels for jumps are confined to δ_a~(-1)-levels, where a stands for an ordinal ω~n > 1.

机译：我们在自然符号系统中查看了Ershov层次结构的无限级别，这些级别适用于集合跳跃。证明了适当的跳跃无穷级被限制在δ_a〜（-1）级，其中a代表序数ω〜n> 1。

著录项

来源
《Algebra and logic》 |2011年第3期|共11页
作者
Faizrakhmanov M.K.;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数理逻辑、数学基础;
关键词
constructive ordinals; Ershov hierarchy; superlow sets; Turing jumps;

机译：构造序数;Ershov等级;超低集;Turing跳跃;

相似文献

外文文献
中文文献
专利

1. Turing jumps in the Ershov hierarchy [J] . Faizrakhmanov M.K. Algebra and logic . 2011,第3期

机译：图灵跳入Ershov阶层
2. COMPUTABLE NUMBERINGS OF FAMILIES OF LOW SETS AND TURING JUMPS IN THE ERSHOV HIERARCHY [J] . M. Kh. Faizrahmanov Siberian Mathematical Journal . 2010,第6期

机译：ERSHOV层次结构中低集合和图跳转的家庭的可计算编号
3. Turing definability in the ershov hierarchy [J] . S. Barry Cooper, Angsheng Li The Journal of the London Mathematical Society . 2002,第3期

机译：ershov层次结构中的图灵可定义性
4. GLOBAL PROPERTIES OF THE TURING DEGREES ANDTHE TURING JUMP [C] . Theodore A. Slaman Workshop on Computational Prospects of Infinity . 2008

机译：图灵度和图灵跳的全球性质
5. On Transfinite Levels of the Ershov Hierarchy [D] . Peng, Cheng 2018

机译：关于Ershov层次结构的无限级
6. Coalescence-Induced Jumping of Multiple Condensate Droplets on Hierarchical Superhydrophobic Surfaces [O] . Xuemei Chen, Ravi S. Patel, Justin A. Weibel, -1

机译：分层超疏水表面上多个凝聚液滴的聚结诱导跳跃
7. Turing degrees and the Ershov hierarchy [O] . Frank Stephan, Yue Yang, Liang Yu 2015

机译：图灵度和Ershov层次结构
8. Unambiguous Computation: Boolean Hierarchies an Sparse Turing-Complete Sets [R] . Hemaspaandra, L. A., Rothe, J. 1994

机译：明确的计算：布尔层次结构稀疏的图灵完备集

Turing jumps in the Ershov hierarchy

摘要

著录项

相似文献

相关主题

期刊订阅