62 citations · 126 across the 28 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
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…
math.CT2010★ 36 cited
Noncommutativity as a colimit
Benno van den Berg, Chris Heunen
Every partial algebra is the colimit of its total subalgebras. We prove this result for partial Boolean algebras (including orthomodular lattices) and the new notion of partial C*-…