IKP and Friends
Logic
2015-10-05 v1
Abstract
The basics of Intuitionistic Kripke-Platek set theory are developed, and some independence results among related classically equivalent theories are shown using Kripke models.
Cite
@article{arxiv.1510.00463,
title = {IKP and Friends},
author = {Robert Lubarsky},
journal= {arXiv preprint arXiv:1510.00463},
year = {2015}
}