Power Kripke-Platek set theory and the axiom of choice
Power Kripke-Platek set theory and the axiom of choice
复制标题
Power Kripke-Platek 集合论和选择公理
DOI：
10.1093/logcom/exaa020
复制
发表时间：
2020
影响因子：
0.7
通讯作者：
Rathjen M
中科院分区：
文献类型：
--
作者：
Rathjen M
While power Kripke–Platek set theory,, shares many properties with ordinary Kripke–Platek set theory,, in several ways it behaves quite differently from. This is perhaps most strikingly demonstrated by a result, due to Mathias, to the effect that adding the axiom of constructibility togives rise to a much stronger theory, whereas in the case of, the constructible hierarchy provides an inner model, so thatandhave the same strength.This paper will be concerned with the relationship betweenandplus the axiom of choice or even the global axiom of choice, $\textbf{AC}_{\tiny {global}}$. Sinceis the standard vehicle to furnish a model in which this axiom holds, the usual argument for demonstrating that the addition ofor $\textbf{AC}_{\tiny {global}}$ todoes not increase proof-theoretic strength does not apply in any obvious way. Among other tools, the paper uses techniques from ordinal analysis to show that ${\textbf{KP}}({\mathcal{P}})+\textbf{AC}_{\tiny {global}}$ has the same strength as, thereby answering a question of Mathias. Moreover, it is shown that ${\textbf{KP}}({\mathcal{P}})+\textbf{AC}_{\tiny {global}}$ is conservative overforstatements of analysis.The method of ordinal analysis for theories with power set was developed in an earlier paper. The technique allows one to compute witnessing information from infinitary proofs, providing bounds for the transfinite iterations of the power set operation that are provable in a theory.As the theory ${\textbf{KP}}({\mathcal{P}})+\textbf{AC}_{\tiny {global}}$ provides a very useful tool for defining models and realizability models of other theories that are hard to construct without access to a uniform selection mechanism, it is desirable to determine its exact proof-theoretic strength. This knowledge can for instance be used to determine the strength of Feferman’s operational set theory with power set operation as well as constructive Zermelo–Fraenkel set theory with the axiom of choice.
While power Kripke–Platek set theory,, shares many properties with ordinary Kripke–Platek set theory,, in several ways it behaves quite differently from. This is perhaps most strikingly demonstrated by a result, due to Mathias, to the effect that adding the axiom of constructibility togives rise to a much stronger theory, whereas in the case of, the constructible hierarchy provides an inner model, so thatandhave the same strength.This paper will be concerned with the relationship betweenandplus the axiom of choice or even the global axiom of choice, $\textbf{AC}_{\tiny {global}}$. Sinceis the standard vehicle to furnish a model in which this axiom holds, the usual argument for demonstrating that the addition ofor $\textbf{AC}_{\tiny {global}}$ todoes not increase proof-theoretic strength does not apply in any obvious way. Among other tools, the paper uses techniques from ordinal analysis to show that ${\textbf{KP}}({\mathcal{P}})+\textbf{AC}_{\tiny {global}}$ has the same strength as, thereby answering a question of Mathias. Moreover, it is shown that ${\textbf{KP}}({\mathcal{P}})+\textbf{AC}_{\tiny {global}}$ is conservative overforstatements of analysis.The method of ordinal analysis for theories with power set was developed in an earlier paper. The technique allows one to compute witnessing information from infinitary proofs, providing bounds for the transfinite iterations of the power set operation that are provable in a theory.As the theory ${\textbf{KP}}({\mathcal{P}})+\textbf{AC}_{\tiny {global}}$ provides a very useful tool for defining models and realizability models of other theories that are hard to construct without access to a uniform selection mechanism, it is desirable to determine its exact proof-theoretic strength. This knowledge can for instance be used to determine the strength of Feferman’s operational set theory with power set operation as well as constructive Zermelo–Fraenkel set theory with the axiom of choice.
登录
查看更多内容
麦克莱恩集合论的优势
影响因子：
0.8
作者：
A. Mathias
通讯作者：
A. Mathias
KPM的证明理论分析
影响因子：
0.3
作者：
M. Rathjen
通讯作者：
M. Rathjen
采尔梅洛-弗兰克尔门根勒的终极公理系统
DOI：
--
发表时间：
1968
期刊：
影响因子：
--
作者：
E. Thiele
通讯作者：
E. Thiele
影响因子：
0.8
作者：
M. Rathjen
通讯作者：
M. Rathjen
序数分析的最新进展：Π1 2 — CA 和相关系统
影响因子：
0.6
作者：
M. Rathjen
通讯作者：
M. Rathjen