Project Page Index Table of Contents
  • Structures and Models
  • Basic Library for ZF
    • We assume a model of ZF
    • Well-founded sets
    • Least sets
    • Empty set
    • Unordered Pair
    • Union
    • Replacement and Separation
    • Description
    • Power
  • Models of ZF with Infinity are uncountable
  • Inner Models
  • Cumulative Hierarchy
    • Cumulative Hierarchy
    • Limits
    • Universes
  • Embedding Theorem for Models of ZF
  • Categoricity in Every Cardinality
  • Categoricity of ZF0
  • Categoricity of ZFn for n > 0
Generated by coqdoc and improved with CoqdocJS