Index sets of classes of automatic structures

N. S. Vinokurov

首页> 外文期刊>Siberian Mathematical Journal >Index sets of classes of automatic structures

【24h】

Index sets of classes of automatic structures

机译：自动结构类索引集

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We obtain exact estimates in the arithmetical and analytical hierarchies of index sets of various classes of automatic models. We also obtain estimates for the existence problems for computable isomorphism and embedding of automatic structures.

机译：我们在各种类别的自动模型的索引集的算术和分析层次结构中获得精确的估计。我们还获得了对可计算同构和自动结构嵌入存在问题的估计。

著录项

来源
《Siberian Mathematical Journal》 |2006年第5期|共9页
作者
N. S. Vinokurov;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数学;
关键词
automatic model; index set; computable isomorphism problem; uniformity; universality;

机译：自动模型指标集可计算同构问题均匀性通用性;

相似文献

外文文献
中文文献
专利

1. Index sets of classes of automatic structures [J] . N. S. Vinokurov Siberian Mathematical Journal . 2006,第5期

机译：自动结构类索引集
2. Advice Automatic Structures and Uniformly Automatic Classes [J] . Faried Abu Zaid, Erich Gr{}del, Frederic Reinhardt LIPIcs : Leibniz International Proceedings in Informatics . 2017,第2期

机译：咨询自动结构和统一自动分类
3. Automatic Aggregation of Classes in the Decision Attributes in Applications of Dominance-based Rough Sets [J] . Annibal Parracho SantAnna, Roberto Malheiros Moreira Filho Sistemas Gest?o . 2013,第1期

机译：基于优势的粗糙集在决策属性中类别的自动聚合
4. Some classes of sets of structures definable without quantifiers [C] . James Rogers, Dakotah Lambert Meeting on the mathematics of language . 2019

机译：无需量词即可定义的某些类型的结构集
5. Algebraic Structures on the Set of All Binary Operations over a Fixed Set [D] . Owusu-Mensah, Isaac. 2020

机译：固定集上所有二进制操作集的代数结构
6. Evaluation of Discharge Medication Orders Following Automatic Therapeutic Substitution of Commonly Exchanged Drug Classes [O] . Sarah Glaholt, Genevieve L. Hayes, Christopher S. Wisniewski 2014

机译：自动交换常用药物类别的治疗后评估出院药物命令
7. The isomorphism problem on classes of automatic structures with transitive relations [O] . Dietrich Kuske, Jiamou Liu, Markus Lohrey 2013

机译：具有及物关系自动结构类的同构问题

Index sets of classes of automatic structures

摘要

著录项

相似文献

相关主题

期刊订阅