37 citations · 105 across the 15 of their papers we have counts for
1 paper · 1 filter
Jean-Louis Krivine
We use the technique of "classical realizability" to build new models of ZF + DC in which R is not well ordered. This gives new relative consistency results, probably not obtainabl…