56 citations · 75 across the 8 of their papers we have counts for
Showing 2007 · math.LOShow all
2 papers · 2 filters
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…