4 citations · 11 across the 14 of their papers we have counts for
1 paper · 2 filters
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…