2 papers
math.LO2020
Extensional realizability for intuitionistic set theory
Emanuele Frittaion, Michael Rathjen
In generic realizability for set theories, realizers treat unbounded quantifiers generically. To this form of realizability, we add another layer of extensionality by requiring tha…
math.LO2017
The strength of SCT soundness
Emanuele Frittaion, Florian Pelupessy, Silvia Steila +1
In this paper we continue the study, from Frittaion, Steila and Yokoyama (2017), on size-change termination in the context of Reverse Mathematics. We analyze the soundness of the S…