The axiom of multiple choice and models for constructive set theory

DOI10.1142/S0219061314500056zbMath1337.03079arXiv1204.4045OpenAlexW2079355284WikidataQ114008516 ScholiaQ114008516MaRDI QIDQ2878782

Ieke Moerdijk, Benno van den Berg

Publication date: 5 September 2014

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

realizabilitysheavesconstructive set theoryalgebraic set theory

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 (8)

The elementary construction of formal anafunctors ⋮ Non-deterministic inductive definitions ⋮ Derived rules for predicative set theory: an application of sheaves ⋮ Unnamed Item ⋮ The weak choice principle WISC may fail in the category of sets ⋮ Unnamed Item ⋮ On certain 2-categories admitting localisation by bicategories of fractions ⋮ CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES

Cites Work

• Unnamed Item
• Derived rules for predicative set theory: an application of sheaves
• Aspects of predicative algebraic set theory. II: Realizability
• Aspects of predicative algebraic set theory. I: Exact completion
• Wellfounded trees in categories
• Aspects of general topology in constructive set theory
• Aspects of predicative algebraic set theory III: sheaves
• The Relation Reflection Scheme
• Type theories, toposes and constructive set theory: Predicative aspects of AST

This page was built for publication: The axiom of multiple choice and models for constructive set theory