3 citations · 4 across the 8 of their papers we have counts for
1 paper · 1 filter
Samuele Maschio, Alexandre Miquel
In this paper we show that using implicative algebras one can produce models of set theory generalizing Heyting/Boolean-valued models and realizability models of (I)ZF, both in int…