1 citations · 1 across the 5 of their papers we have counts for
Showing 2020 · math.LOShow all
2 papers · 2 filters
math.LO2020
Realisability for Infinitary Intuitionistic Set Theory
Merlin Carl, Lorenzo Galeotti, Robert Passmann
We introduce a realisability semantics for infinitary intuitionistic set theory that is based on Ordinal Turing Machines (OTMs). We show that our notion of OTM-realisability is sou…
math.LO2020
Logics of Intuitionistic Kripke-Platek Set Theory
Rosalie Iemhoff, Robert Passmann
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.