1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
Sori Lee
We seek progress in the study of subtoposes of the effective topos. First we treat Van Oosten's result that local operators on the effective topos are internally NNO-indexed joins…