Aspects of predicative algebraic set theory III: sheaves

DOI10.1112/PLMS/PDR066zbMath1253.03079arXiv0912.1242OpenAlexW3099209700MaRDI QIDQ3143444

Ieke Moerdijk, Benno van den Berg

Publication date: 30 November 2012

Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

categorical logicalgebraic set theorypredicative category with small mapssheaf models of constructive set theories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (5)

Covariant isotropy of Grothendieck toposes and extensive categories ⋮ Relating first-order set theories, toposes and categories of classes ⋮ Constructive toposes with countable sums as models of constructive set theory ⋮ Aspects of predicative algebraic set theory. II: Realizability ⋮ The axiom of multiple choice and models for constructive set theory

This page was built for publication: Aspects of predicative algebraic set theory III: sheaves