transfinite arithmetic, cardinal arithmetic, ordinal arithmetic
prime field, p-adic integer, p-adic rational number, p-adic complex number
arithmetic geometry, function field analogy
Given a Heyting field $F$, let us define the type of all terms in $F$ apart from 0:
The reciprocal or reciprocal function is a partial function $f:F_{#0} \to F$ such that for all $a \in F_{#0}$ we have $a \cdot f(a) = 1$ and $f(a) \cdot a = 1$
Last revised on July 7, 2022 at 02:22:05. See the history of this page for a list of all contributions to it.