Categoricity results for second-order ZF in dependent type theory

Keyphrases

• Categoricity 100%
• Dependent Type Theory 100%
• Cardinality 50%
• Axiomatic Set Theory 50%
• Embedding Theorems 50%
• Inductive Definitions 50%
• Constructive Type Theory 50%
• Excluded Middle 50%
• Grothendieck Universe 50%
• Inner Models 50%
• Transfinite Recursion 50%

Mathematics

• Type Theory 100%
• Dependent Type 100%
• Axiomatic Set Theory 50%
• Cardinality 50%
• Grothendieck 50%
• Embedding Theorem 50%
• Excluded Middle 50%
• Cumulative Hierarchy 50%
• Transfinite Recursion 50%
• Inner Model 50%