IKP and friends

DOI10.2178/JSL/1190150286zbMath1039.03041arXiv1510.00463OpenAlexW2962804016MaRDI QIDQ4451720

Robert S. Lubarsky

Publication date: 1 March 2004

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.00463

zbMATH Keywords

forcingKripke modelsintuitionistic set theoryfixed points of inductive definitionsintuitionistic admissibility

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)

Related Items (4)

Realisability for infinitary intuitionistic set theory ⋮ From the weak to the strong existence property ⋮ Logics of intuitionistic Kripke-Platek set theory ⋮ Forcing in Proof Theory

Cites Work

• Sacks forcing sometimes needs help to produce a minimal upper bound
• Extending Gödel's negative interpretation to ZF

This page was built for publication: IKP and friends