BOUNDING NON-GL(2) AND REA

Ambos-Spies Klaus; Ding Decheng; Wang Wei; Yu Liang

首页> 外文期刊>Journal of Symbolic Logic >BOUNDING NON-GL(2) AND REA

【24h】

BOUNDING NON-GL(2) AND REA

机译：有界非GL（2）和REA

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We prove that every Turing degree a bounding some non-GL(2) degree is recursively enumerable in and above (r.e.a.) some 1-generic degree.

机译：我们证明，每个图灵度（一个非GL（2）度）的边界都可以在（r.a.）某个1泛度以上的范围内递归枚举。

著录项

来源
《Journal of Symbolic Logic》 |2009年第3期|共12页
作者
Ambos-Spies Klaus; Ding Decheng; Wang Wei; Yu Liang;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类 513B0004;
关键词
Generalized high/low hierarchies; recursively enumerable in and above; generic degree;

机译：广义高/低层次结构;递归枚举;泛型;

相似文献

外文文献
中文文献
专利

1. BOUNDING NON-GL(2) AND REA [J] . Ambos-Spies Klaus, Ding Decheng, Wang Wei, Journal of Symbolic Logic . 2009,第3期

机译：有界非GL（2）和REA
2. Crystal structures of Rea1-MIDAS bound to its ribosome assembly factor ligands resembling integrin–ligand-type complexes [J] . Yasar Luqman Ahmed, Matthias Thoms, Valentin Mitterer, Nature Communications . 2019,第1期

机译：Rea1-midas的晶体结构与其核糖体组装因子配体相结合，类似于整合蛋白 - 配体型配合物
3. Influence of the Relative Enamel Abrasivity (REA) of Toothpastes on the Uptake of KOH-soluble and Structurally Bound Fluoride [J] . Elmazi Valbona, Sener Beatrice, Attin Thomas, Oral health & preventive dentistry . 2015,第4期

机译：牙膏的相对牙釉质磨蚀度（REA）对KOH可溶性和结构结合的氟化物吸收的影响
4. Extending the REA-DSL by the Planning Layer of the REA Ontology [C] . Dieter Mayrhofer, Christian Huemer International conference on advanced information systems engineering;CAiSE 2012;WISSE;Workshop on information systems security engineering;Workshop on ontology, models, conceptualization and epistemology in social, artificial and natural systems;ONTOSE 2012;International workshop on system/software architectures;IWSSA 2012;Workshop on human-centric process-aware information systems;HC-PAIS 2012;Workshop on governance, risk and compliance in information systems;GRCIS;Workshop on enterprise and organizational modeling and simulation;EOMAS;International workshop on busunness/IT alignment and interoperability;BUSITAL;International workshop on agility of enterprise systems;AgilES 2012 . 2012

机译：通过REA本体的规划层扩展REA-DSL
5. Percepción del líder educativo, maestros y estudiantes sobre el acoso escolar "bullying" entre una escuela superior del área metropolitana en comparación con una escuela superior del área sur de la isla en su escenario escolar [D] . Ruiz Buehl, Lydia M. 2015

机译：关于大都市区高级学校的教育领导者，教师和学生的教育领导者，教师和学生与岛屿南部地区的高校的学校情景
6. Crystal structures of Rea1-MIDAS bound to its ribosome assembly factor ligands resembling integrin–ligand-type complexes [O] . Yasar Luqman Ahmed, Matthias Thoms, Valentin Mitterer, -1

机译：Rea1-MIDAS的晶体结构与其核糖体装配因子配体结合类似于整联蛋白-配体型复合物
7. Bounds in the Yukawa2 quantum field theory: Upper bound on the pressure, Hamiltonian bound and linear lower bound [O] . Erhard Seiler, Barry Simon 1975

机译：Yukawa2量子场理论的界限：压力上限，汉密尔顿束缚和线性下限

BOUNDING NON-GL(2) AND REA

摘要

著录项

相似文献

相关主题

期刊订阅