×
Ali N.瓦利扎德。;马苏德普尔马迪安

某些泛型图的严格超能力和可判定性。 （英语） Zbl 07125898号

牛市。伊朗。数学。Soc公司。 第45号，第6期，1839-1854（2019）.
摘要：我们证明了某些树类的Hrushovski-Fraïssé极限导致了各种U-秩的严格超可行理论。事实上，对于每一个\（\alpha\In\omega+1\反斜杠\｛0\｝\），我们引入了U-rank \（\alpha\）的严格超稳定理论。此外，我们还证明了这些理论是可判定的和伪有限的。

引用于1文件

MSC公司：

03C99号 模型理论
05C63号 无限图

关键词：

Hrushovski建筑;通用结构;绝对是超级巨星;拉斯卡排名;预先确定尺寸;伪有限结构;超平面图
PDF格式BibTeX公司 XML格式引用
\textit{A.N.Valizadeh}和\textit{M.Pourmahdian}，公牛。伊朗。数学。Soc.45，No.6，1839--1854（2019；Zbl 07125898）
全文： 内政部 arXiv公司

参考文献：

[1] Adler，H.，Adler，I.：将无处密集的图类解释为模型理论的经典概念。Eur.J.库姆。36, 322-330 (2014) ·Zbl 1284.05155号 ·doi:10.1016/j.ejc.2013.06.048
[2] Baldwin，J.T.，Shelah，S.：二阶量词和理论的复杂性。《圣母院J.形式逻辑》26（3），229-303（1985）。07 ·Zbl 0596.03033号 ·数字对象标识代码：10.1305/ndjfl/1093870870
[3] Baldwin，J，T.：“病理结构问题”。摘自：《模型理论第十届复活节会议论文集》，Wendisches Rietz，4月12-19日，第1-9页（1993）·Zbl 0798.03035号
[4] Baldwin，J.T.：几乎是强极小非desarguesian投影平面。事务处理。美国数学。Soc.342695-711（1994）·Zbl 0796.03041号 ·doi:10.1090/S0002-9947-1994-1165085-8
[5] Baldwin，J.T.，Shelah，S.：随机性和半泛型。事务处理。美国数学。《社会学》第349（4）卷，第1359-1376页（1997年）。4 ·兹比尔0952.03029 ·doi:10.1090/S002-9947-97-01869-2
[6] Baldwin，J.T.，Shi，N.：稳定的类属结构。Ann.纯应用。逻辑79，1-35（1996）·Zbl 0857.03020号 ·doi:10.1016/0168-0072（95）00027-5
[7] Goode，J.B.：一些琐碎的考虑。J.塞姆。逻辑56（2），624-631（1991）·Zbl 0741.03015号 ·doi:10.2307/2274704
[8] Herre，H.，Mekler，A.，Smith，K.：超稳定图。数学基础118（2），75-79（1983）·Zbl 0698.05042号 ·doi:10.40064/fm-118-2-75-79
[9] Hrushovski，E.：一个新的强极小集。Ann.纯应用。《逻辑》62，147-166（1993）。03 ·Zbl 0804.03020号 ·doi:10.1016/0168-0072（93）90171-9
[10] 池田，K.：超稳定但不稳定的从头算泛型结构。架构（architecture）。数学。逻辑51，203-211（2012）·Zbl 1247.03054号
[11] 池田，K.，Kikyo，H.：关于超级通用结构。架构（architecture）。数学。逻辑51，591-600（2012）·Zbl 1259.03050号 ·doi:10.1007/s00153-012-0284-9
[12] Ivanov，A.A.：超平面图的结构。基础数学143107-117（1993）·Zbl 0785.03020号
[13] Nešetřil，J.，de Mendez，P.O.：稀疏。柏林施普林格出版社（2012）·Zbl 1268.05002号 ·doi:10.1007/978-3642-27875-4
[14] Podewski，K.，Ziegler，M.：稳定图。数学基础100，101-107（1978）·Zbl 0407.05072号 ·doi:10.4064/fm-100-2-101-107
[15] Pourmahdian，M.：没有AC和Robinson理论的流畅课堂。J.塞姆。逻辑67（4），1274-1294（2002）。12个·Zbl 1041.03028号 ·doi:10.2178/jsl/1190150285
[16] Pourmahdian，M.：简单的通用结构。Ann.纯应用。逻辑121，227-260（2003）。06 ·Zbl 1028.03027号 ·doi:10.1016/S0168-0072（02）00114-8
[17] Spencer，J.：随机图的奇怪逻辑。施普林格，柏林（2001）·Zbl 0976.05001号 ·doi:10.1007/978-3-662-04538-1
[18] Valizadeh，A.N.，Pourmahdian，M.：非交流通用结构的一些模型理论性质。预印本，arXiv:1606.05750（2016）
[19] Valizadeh，A.N.，Pourmahdian，M.：Hrushovski结构中的伪有限性。《圣母院J.形式逻辑》（2018）（即将出版）·Zbl 1484.03057号
[20] FO瓦格纳；Kaye，RW（编辑）；Macpherson，D.（编辑），关系结构和维度，153-180（1994），牛津·Zbl 0813.03020号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。