56 citations · 75 across the 8 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2008★ 1 cited
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…
math.LO2007★ 2 cited
Aspects of Predicative Algebraic Set Theory I: Exact Completion
Benno van den Berg, Ieke Moerdijk
This is the first in a series of three papers on Algebraic Set Theory. Its main purpose is to lay the necessary groundwork for the next two parts, one on Realisability and the othe…
math.LO2007★ 1 cited
A Unified Approach to Algebraic Set Theory
Benno van den Berg, Ieke Moerdijk
The paper provides an introduction to the field of Algebraic Set Theory (AST). AST is a flexible categorical framework for studying different kinds of set theories: both classical…