Models of Intuitionistic Set Theory in Subtoposes of Nested Realizability Toposes

Samuele Maschio, Thomas Streicher

With every pca $\mathcal{A}$ and subpca ${\mathcal{A}}_{\#}$ we associate the nested realizability topos $\mathsf{RT}(\mathcal{A},{\mathcal{A}}_{\#})$ within which we identify a class of s…