Logics of intuitionistic Kripke-Platek set theory (Q2231694)

A theorem of De Jongh's says that intuitionistic logic is maximal with respect to Heyting arithmetic, which is to say that the arithmetical axioms do not affect the logic. One of the central results of the present paper is that the intuitionistic Kripke-Platek set theory coined by Lubarsky behaves equally well, and so do certain extensions even with the axiom of choice. This is to be contrasted with the situation for intuitionistic Zermelo-Fraenkel set theory, which Diaconescu has proved to yield its classical forerunner once one adds the axiom of choice.