The following pages link to IKP and friends (Q4451720):
Displaying 5 items.
- From the weak to the strong existence property (Q448335) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
- Kripke models for subtheories of \textsf{CZF} (Q2267746) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- Forcing in Proof Theory (Q4678943) (← links)