Article contents
ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
Published online by Cambridge University Press: 01 August 2018
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 states that in
$KP + (V\, = \,L)$ all these principles are equivalent to Σ1 separation.
Keywords
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2018
References
REFERENCES
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180731124556579-0906:S0022481218000129:S0022481218000129_inline3.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180731124556579-0906:S0022481218000129:S0022481218000129_inline4.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180731124556579-0906:S0022481218000129:S0022481218000129_inline5.gif?pub-status=live)
- 4
- Cited by