62 citations · 126 across the 28 of their papers we have counts for
Showing 2010 · math.LOShow all
2 papers · 2 filters
math.LO2010
Derived rules for predicative set theory: an application of sheaves
Benno van den Berg, Ieke Moerdijk
We show how one may establish proof-theoretic results for constructive Zermelo-Fraenkel set theory, such as the compactness rule for Cantor space and the Bar Induction rule for Bai…
math.LO2010
Topological and simplicial models of identity types
Benno van den Berg, Richard Garner
In this paper we construct new categorical models for the identity types of Martin-Löf type theory, in the categories Top of topological spaces and SSet of simplicial sets. We do s…