1 paper · 1 filter
Samuele Maschio
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 a…