ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
Abstract Starting 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 …