赛义德·穆罕默德·巴赫里;布鲁诺·波扎特;Pourmahdian，马苏德 一阶逻辑的算术观点。 （英语） Zbl 1259.03052号 Ann.纯粹应用。逻辑 161，第6期，745-755（2010）. 作者在[C.C.Chang公司和H.J.凯斯勒，连续模型理论。新泽西州普林斯顿：普林斯顿大学出版社（1966年；Zbl 0149.00402)]. 它们将任何配备有连续量词的Hausdorff拓扑空间（mathbb{B}）作为值空间（即，将非空有限子集\（mathbb{B}\）发送到\（mathbb{B{）和元素\（mat血红蛋白{B}_）发送到它们自己的映射）集合（M）上的（n）元关系定义为一个范围有限的映射：（M到mathbb{B}）。语义概念（如满意度）的定义符合人们的预期。但是，通过一种新的方法，即关系界，公式的范围是有限的。作者给出了一些（mathbb{B}）的例子，并发展了模型理论的基础。这些包括超积、公理化性和类型。此外，这种使用关系界的新方法在图着色方面有一个有趣的应用，它表明，如果一个图的所有可数子图都是有限着色的，那么它就可以被有限着色。相反，可以说，在这种情况下，任何理论都可以用增加词汇量和额外公理的一阶理论来表示。在最后一节中，作者将他们的工作与Khwárazmi（我们被告知他是1200年前的波斯数学家）考虑的逻辑规则联系起来。他们还提到了其他选项，例如使用积分量词和概率逻辑。评论家想知道这项工作与柱形逻辑和/或多元逻辑之间的关系。审核人：M.Yasuhara（普林斯顿） MSC公司： 03C90号 非经典模型（布尔值、层等） 03C30号 其他模型构造 03C80号 带有额外量词和运算符的逻辑 05C15号 图和超图的着色 关键词：价值空间;关系界;连续量词;超产品;公理化;图着色;Khwárazmi村 引文：Zbl 0149.00402 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Bagheri}等人，Ann.Pure Appl。逻辑161，No.6，745--755（2010；Zbl 1259.03052） 全文： 内政部 参考文献： [1] I.Ben-Yaacov，A.Berenstein，C.W.Henson，A.Usvyatsov，度量结构模型理论，印前；I.Ben-Yaacov，A.Berenstein，C.W.Henson，A.Usvyatsov，度量结构模型理论，印前·Zbl 1233.03045号 [2] I.Ben-Yaacov，B.Poizat，逻辑积极基金会，预印本；I.Ben-Yaacov，B.Poizat，逻辑积极基金会，预印本·Zbl 1139.03022号 [3] Chang，C.C.（张建中）。；Keisler，H.J.，《连续模型理论》（1966），普林斯顿大学出版社·Zbl 0149.00402 [4] Keisler，H.J.，概率量词，（Barwise，J.；Feferman，S.，模型理论逻辑（1985），Springer-Verlag）·Zbl 0217.30503号 [5] Mohammad ebn Mousán Khwárazmi、Al-Kitáb Al-mukhtasar fi hiséb Al-jabr wa'l-mughábala（约830人）；Mohammad ebn Mousán Khwárazmi、Al-Kitáb Al-mukhtasar fi hisáb Al-jabr wa'l-mughábala（约830人） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。