×

公式的特殊关系、等价关系和理论。 (英语) Zbl 07544345号

小结:我们研究了在给定语言中产生等价关系的公式的特殊关系在一般情况下和初等理论中的性质和特征。描述了特殊关系链和等价关系链的特征。

MSC公司:

03C07号机组 一阶语言和结构的基本性质
03C10号机组 量词消除、模型完整性和相关主题
03C68型 其他经典一阶模型理论
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] M.G.Peretyat'kin,有限公理化理论,Plenum Publ。公司,纽约,1997年。Zbl 0884.03031号
[2] 于。L.Ershov,可否认性和可计算性,Plenum Publ。公司,纽约,1996年。Zbl 0870.03019号
[3] A.Pillay,《几何稳定性理论》,克拉伦登出版社,牛津,1996年。Zbl 0871.03023号·Zbl 0871.03023号
[4] S.V.Sudolatov,理论家族及其谱的等级,Lobachevskii J.Math。,42:12 (2021), 29592968. Zbl 7450560号·Zbl 1496.03150号
[5] N.D.Markhabatov,S.V.Sudolatov,给定语言所有理论家族的排名,欧亚数学。J.,12:2(2021),5258。Zbl 7382394号·Zbl 1488.03018号
[6] N.D.Markhabatov,S.V.Sudoplatov,Denable理论家族,相关计算和等级,Sib。Elektron公司。Mat.Izv.公司。,17 (2020), 700714. 兹比尔1437.03126·Zbl 1437.03126号
[7] N.D.Markhabatov,S.V.Sudolatov,可否认理论家族的代数,Sib。Elektron公司。Mat.Izv.公司。,16 (2019), 600608. Zbl 1432.03060号·Zbl 1432.03060号
[8] N.D.Markhabatov,排列理论家族的排名,Izv。伊尔库茨克。戈斯。州立大学。材料,28(2019),8694。Zbl 7105755号·Zbl 07105755号
[9] N.D.Markhabatov,局部自由代数的伪单位性,载于Pinus,A.G.(ed.)等人,《代数与模型理论》,第12卷,新西伯利亚州立大学,新西比尔斯克州立大学,2019年,第4146页。
[10] S.V.Sudolatov,《公式和属性,它们的链接和特征》,《数学》,2021年9月12日,文章ID 1391。
[11] B.Sh.Kulpeshov,S.V.Sudolatov,强极小理论族的秩的性质,Sib。Elektron公司。Mat.Izv.公司。,19:1 (2022), 120124. Zbl 7483038号·Zbl 07483038号
[12] A.S.Morozov,D.A.Tussupov,∆可判定性的最小谓词,代数逻辑,59:4(2020),328340。Zbl 7281982号
[13] N.D.Markhabatov,S.V.Sudoplatov,理论家族的拓扑、秩和闭包。I、 代数逻辑,59:6(2021),437455。Zbl 7350228号·Zbl 1515.03156号
[14] N.D.Markhabatov,S.V.Sudoplatov,理论家族的拓扑、秩和闭包。二、 代数逻辑,60:1(2021),3852。Zbl 7374462号·Zbl 1515.03157号
[15] I.Pavlyuk,S.V.Sudolatov,阿贝尔群理论族的公式和性质,Izv。伊尔库茨克。戈斯。州立大学。材料,36(2021),95109。Zbl 7392344号·Zbl 07392344号
[16] E.A.Palyutin,J.Sae,S.S.Starchenko,《超级巨星霍恩理论模型》,《代数逻辑》,24:3(1985),171210。Zbl 0597.03017号·Zbl 0597.03017号
[17] 塔斯基,演绎科学方法论的基本概念。一、 逻辑、语义、元数学。1923年至1938年的论文。J.H.Woodger译,克拉伦登出版社,牛津,1956年,60109年。Zbl 0075.00702(JFM 56.0046.02)·Zbl 0075.00702号
[18] D.Myers,Lindenbaum-Tarski代数,摘自J.D.Monk(编辑)等人,《布尔代数手册》第3卷,北荷兰特,阿姆斯特丹等,1989年,11671195·Zbl 0671.06001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。