62 citations · 126 across the 28 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.LO2017
A Kuroda-style j-translation
Benno van den Berg
In topos theory it is well-known that any nucleus j gives rise to a translation of intuitionistic logic into itself in a way which generalises the Goedel-Gentzen negative translati…
cs.LO2017★ 5 cited
A homotopy-theoretic model of function extensionality in the effective topos
Daniil Frumin, Benno van den Berg
We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance.…