Model-Theoretic Properties of ω-Automatic Structures
Model-Theoretic Properties of ω-Automatic Structures
复制标题
Ï-自动结构的模型理论性质
DOI：
10.1007/s00224-013-9508-6
复制
发表时间：
2014
影响因子：
0.5
通讯作者：
W.Pakusa
中科院分区：
文献类型：
--
作者：
F. Abu Zaid;E. Grädel;L. Kaiser;W.Pakusa
我们研究无限结构的 ω 自动表示的结构特性，以便改进我们的方法来确定给定结构是否是 ω 自动。我们应用这些方法来证明几类结构（例如配对函数和无限积分域）不具有 ω 自动模型。
We investigate structural properties ofω-automatic presentations of infinite structures in order to sharpen our methods to determine whether a given structure isω-automatic. We apply these methods to show that several classes of structures such as pairing functions and infinite integral domains do not have anω-automatic model.
登录
查看更多内容
从自动结构到 Borel 结构
DOI：
--
发表时间：
2008
期刊：
2008 23rd Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
G. Hjorth;B. Khoussainov;A. Montalbán;A. Nies
通讯作者：
A. Nies
DOI：
--
发表时间：
2009
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
T. Tsankov
通讯作者：
T. Tsankov
关于 Phragmén-Lindelöf 原理
DOI：
--
发表时间：
1937
期刊：
影响因子：
--
作者：
L. Ahlfors
通讯作者：
L. Ahlfors
欧米伽自动结构上的基数和计数量词
DOI：
--
发表时间：
2008
期刊：
Symposium on Theoretical Aspects of Computer Science
影响因子：
--
作者：
Lukasz Kaiser;S. Rubin;V. Bárány
通讯作者：
V. Bárány
DOI：
--
发表时间：
2004
期刊：
影响因子：
--
作者：
C. Delhommé
通讯作者：
C. Delhommé