马克哈巴托夫，N.D。;Sudolatov，S.V.公司。 伪有限公式。 （英语） Zbl 07676597号 Lobachevskii J.数学。 43，第12号，3583-3590（2022）. 摘要：介绍了伪有限公式的概念。研究了伪有限公式及其谱的联系。发现了与伪有限公式相关的布尔代数、格和半格。考虑了伪有限公式与正、负、（对于所有）-公式、（存在）-公式，（对于所有的）-公式和（对于所有存在的）-表达式之间的关系。考虑了给定语言中所有一致公式的族，并刻画了该语言中非伪一致公式的存在性。 MSC公司： 03Cxx号 模型理论 03年XX月 数学逻辑和基础 11日xx 丢番图方程 关键词：伪有限公式;伪有限理论;理论近似 PDF格式BibTeX公司 XML格式引用 \textit{N.D.Markhabatov}和\textit{S.V.Sudoplatov}，Lobachevskii J.Math。43，编号12，3583-3590（2022；Zbl 07676597） 全文： 内政部 参考文献： [1] 阿克斯·J。；Kochen，S.，局部域上的丢番图问题I，Am.J.Math。，87, 605-630 (1965) ·Zbl 0136.32805号 ·doi:10.2307/2373065 [2] Ax，J.，有限域的基本理论，Ann.Math。，88, 239-71 (1968) ·Zbl 0195.05701号 ·数字对象标识代码：10.2307/1970573 [3] 鲍德温，J.T。；Lachlan，A.H.，《关于强极小集》，J.Symbol。逻辑，36，79-96（1971）·Zbl 0217.30402号 ·doi:10.2307/2271517 [4] Cherlin，G.，Ann.《纯粹的应用》。逻辑，28103-135（1985）·Zbl 0566.03022号 ·doi:10.1016/0168-0072（85）90023-5 [5] G.Cherlin，《代数模型理论》中的“具有少量类型的大型有限结构”，B.Hart、A.Lachlan和M.Valeriote编辑，《北约高级研究所学报》第496卷，菲尔德研究所，多伦多，1996年8月19日至30日，北约ASI，Ser。C（Kluwer，Dordrecht，1997）·兹伯利0887.03029 [6] G.Cherlin和E.Hrushovski，《有限结构与少数类型》，《数学研究年鉴》第152卷（普林斯顿大学出版社，普林斯顿，2003年）·Zbl 1024.03001号 [7] 杜兰德，A。；琼斯，N。；Makowsky，J。；莫尔，M.，《频谱问题五十年：调查和新结果》，布尔。符号。逻辑，18505-553（2012）·Zbl 1309.03014号 ·数字对象标识代码：10.2178/bsl.1804020 [8] 据。L.Ershov，“具有可解理论的领域”，Sov。数学。多克。8, 575-576 (1967); Zbl 0153.37201·Zbl 0153.37201号 [9] Ershov，Y.L。；Palyutin，E.A.，《数学逻辑》（2011），莫斯科：菲兹马特利特出版社，莫斯科 [10] Gaifman，H.，《关于一阶计算中的措施》，以色列J.Math。，2, 1-18 (1964) ·Zbl 0192.03302号 ·doi:10.1007/BF02759729 [11] E.Hrushovski，《集合与逻辑中的有限与无限组合学》中的“具有很少类型的有限结构”，N.W.Sauer、R.E.Woodrow和B.Sands编辑，北约ASI系列第411卷。C（施普林格，多德雷赫特，1993）·兹伯利0845.03013 [12] Kantor，W.M。；Liebeck，M.W。；麦克弗森，H.D.，Proc。伦敦数学。《社会学杂志》，59，439-463（1989）·Zbl 0649.03018号 ·doi:10.1112/plms/s3-59.3.439 [13] Lynch，J.，《几乎肯定的理论》，Ann.Math。逻辑，18，91-135（1980）·Zbl 0433.03020号 ·doi:10.1016/0003-4843（80）90014-5 [14] D.Macpherson，《代数模型理论》中的“均匀和光滑近似结构”，B.T.Hart、A.H.Lachlan和M.A.Valeriote编辑，北约ASI系列第496卷（Springer，Dordrecht，1997）·Zbl 0878.03023号 [15] Markhabatov，N.D.，“置换理论家族的排名”，Izv。伊尔库茨克。塞尔维亚大学。材料，28，85-94（2019）·Zbl 07105755号 [16] 在I.Pavlyuk和S.V.Sudolatov，“Abelian群理论族的公式和性质”，Izv。伊尔库茨克。州立大学。材料36，95-109（2021）·Zbl 07392344号 [17] Peretyatkin，M.G.，《有限公理化理论》（1997），纽约：Plenum，纽约·Zbl 0884.03031号 [18] Rosen，E.，《模型理论和有限结构的某些方面》，Bull。符号。逻辑，8380-403（2002）·Zbl 1017.03015号 ·doi:10.2178/bsl/1182353894 [19] Scholz，H.，Ein ungelostes《符号的问题》，Logik，J.Symbol。逻辑，17，160（1952） [20] Sudolatov，S.V.，强极小理论的二进制半隔离公式的无穷大强制和分布代数，数学。统计，2183-187（2014）·doi:10.13189/ms.2014.020501 [21] Sudolatov，S.V.，“与结构组合相关的闭包和发电机组”，Izv。伊尔库茨克。塞尔维亚大学。材料，16，131-144（2016）·兹比尔1402.03039 [22] Sudolatov，S.V.，理论近似，Sib。电子。数学。代表，17，715-725（2020）·Zbl 1437.03123号 [23] Sudolatov，S.V.，理论家族及其谱的秩，Lobachevskii J.Math。，42, 2959-2968 (2021) ·Zbl 1496.03150号 ·doi:10.1134/S1995080221120313 [24] Sudolatov，S.V.，《公式和属性，它们的联系和特征》，数学，91391（2021）·doi:10.3390/路径9121391 [25] Zilber，B.，《理论规划研究》（1981年）·Zbl 0606.03001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。