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…