科萨克，罗马人;巴托斯·Wcisło 具有停止条件的分离。 （英语） Zbl 07455123号 牛市。符号。日志。 27，第3期，231-253（2021年）. 小结：我们介绍了一种分析皮亚诺算法上的合成真值理论（\text{CT}^-\）模型的工具。我们给出了Lachlan定理的一个新证明，即模型的算术部分是递归饱和的。我们还使用此工具从[M.Łełyk公司和B.Wcisło，修订版符号。日志。第12期，第1期，144-172页（2019年；Zbl 1454.03092号)]（text{CT}^-\）的所有模型都带有部分归纳真谓词。最后，我们构造了一个为一组公式定义的部分真值谓词，这些公式的句法深度形成了一个非标准割集，该割集不能扩展为满足（text{CT}^-\）的全真值谓语。 引用于4文件 MSC公司： 2015年上半年03日 非标准算术模型 03C62号 算术和集合论模型 30楼03号 一阶算法和片段 关键词：真理理论;真理谓词;满意度等级;皮诺算术;算术模型;递归饱和 引文：Zbl 1454.03092号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kossak}和\textit{B.Wcisło}，公牛。符号。日志。27，第3号，231--253（2021；Zbl 07455123） 全文： 内政部 arXiv公司 参考文献： [1] Cie she lin n ski，C.，Łełyk，M.和Wcis \322»o，B.，总公式的带内部归纳法的（{{PT}}空间{1.5pt}}^-\）模型。《符号逻辑评论》，第10卷（2017），第1期，第187-202页·Zbl 1417.03294号 [2] Enayat，A.和Pakhomov，F.，《真理、析取和归纳》。《数理逻辑档案》，第58卷（2019年），第753-766页·Zbl 1477.03250号 [3] Enayat，A.和Visser，A.，满意度课程的新建构，统一真理哲学（T.Achourioti，H.Galinon，J.Martínez Fernández和K.Fujimoto，编辑），Springer，Dordrecht，2015，第321-335页。 [4] Kaye，R.，《皮亚诺算术模型》，克拉伦登出版社，牛津，1991年·Zbl 0744.03037号 [5] Kotlarski，H.，有界归纳和满足类。Zeitschrift für mathematische Logik und Grundlagen der Mathematik，第32卷（1986年），第531-544页·Zbl 0622.03025号 [6] Lachlan，A.H.，《完全满足类和递归饱和》。《加拿大数学公报》，第24卷（1981年），第295-297页·Zbl 0471.03055号 [7] Łełyk，M.，公理真理理论，有界归纳法和反射原理。华沙大学博士学位论文，2017年。 [8] Łełyk，M.和Wcis \322»o，B.，弱真理理论的模型。《数理逻辑档案》，第56卷（2017年），第5期，第453-474页·Zbl 1417.03237号 [9] Smith，S.，《非标准语法和语义以及算术模型的完全满足类》，耶鲁大学博士论文，1984年。 [10] Smith，S.T.，非标准可定义性。《纯粹和应用逻辑年鉴》，第42卷（1989年），第1期，第21-43页·Zbl 0701.03038号 [11] Wcisło，B.，《理解构成真理的力量》，华沙大学博士论文，2018年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。