A Unified Approach to Algebraic Set Theory

zbMath1228.03046arXiv0710.3066MaRDI QIDQ3656421

Benno van den Berg, Ieke Moerdijk

Publication date: 13 January 2010

Full work available at URL: https://arxiv.org/abs/0710.3066

zbMATH Keywords

constructive set theorycategorical logicalgebraic set theoryintuitionistic set theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical and second-order set theories (03E70)

Related Items (4)

Relating first-order set theories, toposes and categories of classes ⋮ Constructive toposes with countable sums as models of constructive set theory ⋮ The associated sheaf functor theorem in algebraic set theory ⋮ Aspects of predicative algebraic set theory. II: Realizability

This page was built for publication: A Unified Approach to Algebraic Set Theory