Index of books/ordinals

Files

• e0-ordinal
• lexicographic-book
• lexicographic-ordering-without-arithmetic
• limits
• ordinal-addition
• ordinal-basic-thms
• ordinal-definitions
• ordinal-exponentiation
• ordinal-isomorphism
• ordinal-multiplication
• ordinal-total-order
• ordinals-without-arithmetic
• top-with-meta