Axiomatized Set Theory
Well-Orderings in Type Theory
Theory of Well-Orderings
Similarities and Isomorphisms
General Results of the Paper
Well-Orderings on Sets
Towers
Two Instances
Ordinals
Cumulative hierarchy
Instantiation of Linearity Proof
This page has been generated by
coqdoc