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

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

Publication Type | Journal Article |

Year of Publication | In Press |

Authors | Jäger, G, Steila, S |

Journal | The Journal of Symbolic Logic |

Abstract | 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. |

URL | http://www.iam.unibe.ch/ltgpub/2017/jast17.pdf |