Implicative models of intuitionistic set theory
From MaRDI portal
Abstract: 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 as consequence that if one assumes the inaccessible cardinal axiom, then every topos which is obtained from a Set-based tripos as the result of the tripos-to-topos construction hosts a model of intuitionistic set theory.
This page was built for publication: Implicative models of intuitionistic set theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6424587)
