TY - RPRT TI - Spherical Completeness, Coherence, and GCD Properties of Formal Power Series and Witt Vector Rings AU - Yiding Wang PY - 2026 UR - https://arxiv.org/abs/2608.04897 ID - 2608.04897 ER -