  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.
