Log In

Logics of Intuitionistic Kripke-Platek Set Theory

Files

1-s2.0-S0168007221000725-main.pdf (539.67 KB)

Publication date

2021

Authors

Iemhoff, RosalieORCID 0000-0001-9975-9604ISNI 0000000392683939
Passmann, Robert

Editors

Advisors

Supervisors

DOI

https://doi.org/10.1016/j.apal.2021.103014

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository
Open Access logo

License

cc_by

Abstract

We investigate the logical structure of intuitionistic Kripke-Platek set theory IKP, and show that the first-order logic of IKP is intuitionistic first-order logic IQC.

Keywords

Intuitionistic logic, Constructive set theory

Citation

Iemhoff, R & Passmann, R 2021, 'Logics of Intuitionistic Kripke-Platek Set Theory', Annals of Pure and Applied Logic, vol. 172, no. 10, 103014. https://doi.org/10.1016/j.apal.2021.103014

URI

https://dspace.library.uu.nl/handle/1874/470392