×
贾格尔，格哈德；西尔维娅·斯特拉

关于Kripke-Platek环境中的一些不动点公理和相关原理。 （英语） Zbl 1469.03139号

J.塞姆。日志。 83，第2期，642-668（2018）.
摘要：本文的出发点是在Kripke-Platek集合论（mathsf{KP}）的背景下，集有界单调（Sigma_1）可定义算子的不动点公理。我们分析了它们与其他原理的关系，如最大迭代、有界真注入和（Sigma_1）次有界分离。我们的一个主要结果表明，在（mathsf{KP}+（V=L）中，所有这些原理都等价于（Sigma_1）分离。

引用于1审查
引用于2文件

MSC公司：

03E30年 经典集合论及其片断的公理化
03财年03 一般证明理论（包括证明理论语义）
03年2月25日 相对一致性和解释
03E45型 内部模型，包括可构造性、顺序可定义性和核心模型

关键词：

克里普克-普拉克集合论；集边界\（\Sigma_1\）-运算符；不动点公理；有界真值\（\Sigma_1\）-注入；\（\Sigma_1）-分离；\（\Sigma_1）-子界分离
PDF格式BibTeX公司 XML格式引用
\textit{G.Jäger}和\textit{S.Steila}，J.Symb。日志。83，No.2，642--668（2018；Zbl 1469.03139）
全文： DOI程序

参考文献：

[1] Barwise，J.，《可容许集与结构，数理逻辑的观点》，第7卷，施普林格出版社，柏林，1975年·Zbl 0316.02047号
[2] Buchholz，W.、Feferman，S.、Pohlers，W.和Sieg，W.，《迭代归纳定义和分析子系统：最近的理论验证研究》，数学课堂讲稿，第897卷，施普林格，柏林，1981年·Zbl 0489.03022号
[3] Curi，G.，关于Tarski的不动点定理。《美国数学学会学报》，第143卷（2015年），第10期，第4439-4455页。doi:10.1090/proc/12569·Zbl 1352.03075号
[4] Feferman，S.，《运算集理论与小-大基数》。《信息与计算》，第207卷（2009年），第971-979页。doi:10.1016/j.ic.2008.04.007·Zbl 1183.03044号
[5] Fitting，M.，关于克里普克真理理论的数学方面的注释。《圣母院形式逻辑期刊》，第27卷（1986年），第1期，第75-88页。doi:10.1305/ndjfl/1093636525·Zbl 0588.03003号
[6] Jäger，G.，Zur Beweistheorie der Kripke-Platek-Mengenlehreüber den natürlichen Zahlen。Archiv für mathematische Logik und Grundlagenforschung，第22卷（1982年），第3-4期，第121-139页·兹比尔0503.03014
[7] Jäger，G.，《论费费曼的运算集理论》（OST）。《纯粹和应用逻辑年鉴》，第150卷（2007年），第1-3期，第19-39页。doi:10.1016/j.apal.2007.09.001·Zbl 1136.03038号
[8] Jäger，G.和Steila，S。，的固定点Σ_{1}Kripke-Platek环境中的运算符和相关原理。第二部分：增加公理\（左（右）），2017年，正在准备中。
[9] Kunen，K.，《集合论》。《独立性证明导论》，《逻辑研究与数学基础》，第102卷，北荷兰，阿姆斯特丹，1980年·Zbl 0443.03021号
[10] Mathias，A.R.D.，《麦克·莱恩集理论的力量》。《纯粹和应用逻辑年鉴》，第110卷（2001年），第1期，第107-234页。doi:10.1016/S0168-0072（00）00031-2·Zbl 1002.03045号
[11] Moschovakis，Y.N.，《抽象结构的初级归纳法》，《逻辑研究与数学基础》，第77卷，北荷兰，阿姆斯特丹，1974年。（多佛出版社，2008年再版）·Zbl 0307.02003年
[12] Moschovakis，Y.N.，《非单调归纳可定义性》。《数学基础》，第82卷（1974年），第1期，第39-83页。doi:10.4064/fm-82-1-39-83·Zbl 0306.02039号
[13] Rathjen，M。，显式数学中的单调归纳定义，本刊，第61卷（1996年），第1期，第125-146页·Zbl 0851.03018号
[14] Rathjen，M。，单调不动点原理的显式数学，本刊，第63卷（1998年），第2期，第509-542页·Zbl 0912.03028号
[15] Rathjen，M。，显式数学与单调不动点原理。二： 型号，本刊，第64卷（1999年），第2期，第517-550页·Zbl 0930.03093号
[16] Rathjen，M.，相对序数分析：幂Kripke-Platek集理论的案例。《纯粹与应用逻辑年鉴》，第165卷（2014），第1期，第316-339页。doi:10.1016/j.apal.2013.07.016·Zbl 1348.03055号
[17] 高桥，M\（{{\rm{\tilde{\Delta}}}_1}\）-集合论中的可定义性，《数学逻辑会议》，伦敦，70年（霍奇斯，W.，编辑），《数学讲义》，第255卷，施普林格，柏林，1972年，第281-304页。doi:10.1007/BFb0059549
[18] Tarski，A.，格理论不动点定理及其应用。《太平洋数学杂志》，第5卷（1955年），第2期，第285-309页。doi:10.2140/pjm.1955.5.285·Zbl 0064.26004号
[19] P.D.韦尔奇。，弱确定性系统与算术拟诱导定义，本刊，第76卷（2011年），第2期，第418-436页·Zbl 1225.03082号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。