1 citations · 1 across the 1 of their papers we have counts for
1 paper
Keita Yamamoto
We introduce the forcing model of IZFA (Intuitionistic Zermelo-Fraenkel set theory with Atoms) for every Grothendieck topology and prove that the topos of sheaves on every site is…