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

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?