2 papers
math.LO2023
Implicative models of intuitionistic set theory
Samuele Maschio
In this paper we will show that using implicative algebras one can produce models of intuitionistic set theory generalizing both realizability and Heyting-valued models. This has a…
math.CT2014
Models of Intuitionistic Set Theory in Subtoposes of Nested Realizability Toposes
Samuele Maschio, Thomas Streicher
With every pca and subpca we associate the nested realizability topos within which we identify a class of s…