scientific article; zbMATH DE number 4204629
From MaRDI portal
Publication:3353231
zbMATH Open0729.18002MaRDI QIDQ3353231FDOQ3353231
Authors: André Joyal, Ieke Moerdijk 
Publication date: 1991
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 813127
- Complete topoi representing models of set theory
- Comparing material and structural set theories
- Exact completion and constructive theories of sets
- Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory
intuitionistic Zermelo-Fraenkel set theorycumulative hierarchycategory with the representability propertyelementary universetheory of small sets and small maps in a pretopos
Cited In (10)
- Bernays-Gödel type theory
- LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS
- A completeness theorem for open maps
- Title not available (Why is that?)
- ALGEBRAIC NEW FOUNDATIONS
- A cumulative hierarchy of sets for constructive set theory
- Title not available (Why is that?)
- Relating First-Order Set Theories and Elementary Toposes
- Can the cumulative hierarchy be categorically characterized?
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3353231)
