9 citations · 9 across the 2 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2005
Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem
Benno van den Berg, Federico De Marchi
The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of fun…
math.LO2005★ 9 cited
Sheaves for predicative toposes
Benno van den Berg
In this paper, we identify some categorical structures in which one can model predicative formal systems: in other words, predicative analogues of the notion of a topos, with the a…