Toposes from Forcing for Intuitionistic ZF with Atoms
classification
🧮 math.LO
math.CT
keywords
forcingatomseveryintuitionisticmodelcategoryequivalentgrothendieck
read the original abstract
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 equivalent to the category of 'sets in this forcing model'.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.