9 citations · 19 across the 11 of their papers we have counts for
11 papers
A topos for continuous logic
Daniel Figueroa, Benno van den Berg
We suggest an ordering for the predicates in continuous logic so that the semantics of continuous logic can be formulated as a hyperdoctrine. We show that this hyperdoctrine can be…
Univalent polymorphism
Benno van den Berg
We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category . Path categories are categories of fibrant objects in the s…
A topos for a nonstandard functional interpretation
Benno van den Berg
We introduce a new topos in order to give a semantic account of the nonstandard functional interpretation introduced by Eyvind Briseid, Pavol Safarik and the author.
Predicative toposes
Benno van den Berg
We explain the motivation for looking for a predicative analogue of the notion of a topos and propose two definitions. For both notions of a predicative topos we will present the b…
W-types in sheaves
Benno van den Berg, Ieke Moerdijk
We give a concrete description of W-types in categories of sheaves.
Aspects of Predicative Algebraic Set Theory II: Realizability
Benno van den Berg, Ieke Moerdijk
This is the second in a series of papers on the relation between algebraic set theory and predicative formal systems. In part I, we introduced the notion of a predicative category…