Witt Vector, an infinite sequence of things of a commutative ring, which belongs to an algebra over this ring, and continues to be introduced for dealing with carry propagation from the functions on p-adic quantities. is not a Hilbert Place. ^ A basis of a Hilbert Place isn't the exact https://vectorinc.org/en