Homotopy Type Theory Large types > history (Rev #1, changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

Here we collect articles about large types in HoTT.

• excluded middle

• well-order?

• natural numbers

• regular type?

• aleph type?

• beth type?

• continuum hypothesis?

• generalized continuum hypothesis?

• axiom of replacement

• inaccessible type?

• hyper-inaccessible type?

• Mahlo type?

• measurable type?