One‐Dimensional p‐Adic Subanalytic Sets

In this paper we extend two theorems from [2] on p‐adic subanalytic sets, where p is a fixed prime number, Qp is the field of p‐adic numbers and Zp is the ring of p‐adic integers. One of these theorems [2, 3.32] says that each subanalytic subset of Zp is semialgebraic. This is extended here as follows.