%0 Journal Article
%J The Journal of Symbolic Logic
%D 2018
%T About some fixed point axioms and related principles in Kripke-Platek environments
%A Gerhard Jäger
%A Silvia Steila
%X 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.
%B The Journal of Symbolic Logic
%V 83
%P 642-668
%G eng
%U http://www.iam.unibe.ch/ltgpub/2017/jast17.pdf
%N 2