37 citations · 105 across the 15 of their papers we have counts for
1 paper · 2 filters
Jean-Louis Krivine
Using the proof-program (Curry-Howard) correspondence, we give a new method to obtain models of ZF and relative consistency results in set theory. We show the relative consistency…