Homotopy Type Theory Number theory > history (Rev #9, changes)

Showing changes from revision #8 to #9: Added | Removed | Changed

Here we collect articles about doing number theory in HoTT.

• natural numbers

• division algorithm?

• integers

• rational numbers

• decimal numbers

• rational root theorem

• ordered integral domain

• ordered field

• infinities and infinitesimals?

• Archimedean ordered integral domain

• Archimedean ordered field

• irrational numbers

• locator

• number field?

• Cauchy complete Archimedean ordered field

• Dedekind complete Archimedean ordered integral domain

• Dedekind complete Archimedean ordered field

• interval-complete Archimedean ordered field?

References

• HoTT Book