00847nas a2200133 4500008004100000245008700041210006900128300001200197490000700209520040700216100002000623700001900643856005100662 2018 eng d00aAbout some fixed point axioms and related principles in Kripke-Platek environments0 aAbout some fixed point axioms and related principles in KripkePl a642-6680 v833 aStarting 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.1 aJäger, Gerhard1 aSteila, Silvia uhttp://www.iam.unibe.ch/ltgpub/2017/jast17.pdf