TY - JOUR
T1 - About some fixed point axioms and related principles in Kripke-Platek environments
JF - The Journal of Symbolic Logic
Y1 - 2018
A1 - Gerhard Jäger
A1 - Silvia Steila
AB - Starting point 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 sparation. One of our main results states that in KP + (V =L) all these principles are equivalent to Σ_1 separation.
VL - 83
UR - http://www.iam.unibe.ch/ltgpub/2017/jast17.pdf
IS - 2
ER -