scientific article; zbMATH DE number 4204629

MaRDI QIDQ3353231zbMATH OpenFDO

Authors André Joyal, Ieke Moerdijk

Publication date 1991

zbMATH Keywords

intuitionistic Zermelo-Fraenkel set theorycumulative hierarchycategory with the representability propertyelementary universetheory of small sets and small maps in a pretopos

Mathematics Subject Classification ID

Topoi (18B25) Intuitionistic mathematics (03F55)

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

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
• scientific article; zbMATH DE number 5635093 (Why is no real title available?)
• ALGEBRAIC NEW FOUNDATIONS
• scientific article; zbMATH DE number 4027723 (Why is no real title available?)
• A cumulative hierarchy of sets for constructive set theory
• Relating First-Order Set Theories and Elementary Toposes
• Can the cumulative hierarchy be categorically characterized?
• scientific article; zbMATH DE number 813127 (Why is no real title available?)

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)