Here we collect articles about doing number theory in HoTT.
natural numbers
integers
rational numbers
decimal numbers
ordered integral domain
ordered field
infinities and infinitesimals?
Archimedean ordered integral domain
Archimedean ordered field
irrational numbers
number field?
Cauchy complete Archimedean ordered field
Dedekind complete Archimedean ordered integral domain
Dedekind complete Archimedean ordered field
Revision on April 22, 2022 at 07:55:34 by Anonymous?. See the history of this page for a list of all contributions to it.