About some fixed point axioms and related principles in Kripke-Platek environments

TitleAbout some fixed point axioms and related principles in Kripke-Platek environments
Publication TypeJournal Article
Year of PublicationSubmitted
AuthorsJäger, G, Steila, S
AbstractStarting 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.
URLhttp://www.iam.unibe.ch/ltgpub/2017/jast17.pdf