×
安德烈·莫罗佐夫。

实域上的可计算模型理论。 （英语） Zbl 1485.03117号

Day，Adam（编辑）等人，《可计算性和复杂性》。在罗德尼·G·唐尼60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。10010, 354-365 (2017).
小结：本文是对实数有序域上遗传有限超结构上结构的（Sigma）-可定义性的结果和一系列开放性问题的综述。
关于整个系列，请参见[兹比尔1352.03004].

MSC公司：

03C57号 可计算结构理论
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Morozov}，莱克特。注释计算。科学。10010，354--365（2017；Zbl 1485.03117）
全文： DOI程序

参考文献：

[1] Morozov，A.S.，Korovina，M.V.：开\[\西格玛\]-实数、复数和四元数上可数结构的可定义性。代数逻辑47（3），193-209（2008）·Zbl 1164.03332号 ·doi:10.1007/s10469-008-9009-x
[2] Barwise，J.：容许集与结构。斯普林格，海德堡（1975）·Zbl 0316.02047号 ·doi:10.1007/978-3-662-11035-5
[3] Ershov，Y.L.：可定义性和可计算性。增压器出版物。Co.，纽约（1996）·Zbl 0856.03039号
[4] 埃尔肖夫，Y.L.：\[\西格玛\]-代数结构的可定义性。《逻辑与数学基础研究》，第1卷，第235–260页。爱思唯尔，阿姆斯特丹（1998）·Zbl 0940.03043号
[5] Korovina，M.V.：实域上函数的广义可计算性。Vychislitel'nye Systemi（计算系统）133，38-68（1990）。俄语
[6] Morozov，A.S.：关于实数域的一些表示。代数逻辑51（1），66–88（2012）·Zbl 1334.03039号 ·doi:10.1007/s10469-012-9171-z
[7] A.S.莫罗佐夫：开\[\西格玛\]-真实秩序的严格表述。西伯利亚数学。J.55（3），562–572（2014）·Zbl 1314.03035号 ·doi:10.1134/S0037446614030070
[8] Morozov，A.S.：一维\[\西格玛\]-结构的表示\[\mathbb{HF}{\mathbb{R}}\]收录：Geschke，P.S.S.，Löwe，B.（编辑）无限、可计算性和元数学，Festschrift庆祝Peter Koepke和Philip Welch的60岁生日。《致敬系列》，第23卷，第285-298页。伦敦大学出版社（2014）·Zbl 1344.03035号
[9] 莫罗佐夫，A.S.：\[\西格玛\]-在reals上演示订购。代数逻辑53（3），217–237（2014）·Zbl 1323.03047号 ·doi:10.1007/s10469-014-9285-6
[10] Morozov，A.S.：遗传有限超结构中结构不可表示的充分条件。代数逻辑55，242–251（2016）·Zbl 1402.03051号 ·doi:10.1007/s10469-016-9392-7
[11] Morozov，A.S.：遗传有限超结构中某些分析结构的不可表示性。代数逻辑（2017年出版）·Zbl 1420.03076号
[12] Korovina，M.V.，Kudinov，O.V.：连续数据的正谓词结构。数学。结构。计算。科学。25（特刊08），1669–1684（2015）·兹比尔1361.68069 ·网址：10.1017/S0960129513000315
[13] Ershov，Y.L.，Goncharov，S.S.：构建模型。西伯利亚代数和逻辑学校。Kluwer学术/全体会议，纽约（2000年）·doi:10.1007/978-1-4615-4305-3
[14] Tarski，A.：初等代数和几何的判定方法。兰德公司，圣莫尼卡（1957）
[15] Weihrauch，K.：可计算分析。导言，第285页。斯普林格，海德堡（2000）·Zbl 0956.68056号 ·doi:10.1007/978-3-642-566999-9
[16] 埃尔肖夫，Y.L.，Puzarenko，V.G.，Stukachev，A.I.：\[\mathbb{HF}\]-可计算性。摘自：Cooper，S.B.，Andrea，S.（编辑）《上下文中的可计算性》。《现实世界中的计算与逻辑》，第169-242页。帝国理工学院出版社，伦敦（2011）·Zbl 1260.03086号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。