Author:
JÄGER GERHARD,STEILA SILVIA
Abstract
AbstractStarting points of this article are fixed point axioms for set-bounded monotone Σ1 definable operators in the context of Kripke–Platek set theory $KP$. We analyze their relationship to other principles such as maximal iterations, bounded proper injections, and Σ1 subset-bounded separation. One of our main results states that in $KP + (V\, = \,L)$ all these principles are equivalent to Σ1 separation.
Publisher
Cambridge University Press (CUP)
Reference19 articles.
1. Notes on the mathematical aspects of Kripke's theory of truth.
2. Operational set theory and small large cardinals
3. On Tarski’s fixed point theorem
4. [15] Rathjen M. , Explicit mathematics with the monotone fixed point principle. II: Models, this Journal, vol. 64 (1999), no. 2, pp. 517–550.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献