Let $K$ be a local field of positive characteristic. I'm looking for a $K$ which satisfies the following condition.
- Value group of $K^\text{sep}$ (separable closure of $K$) is $\bigcup_{n\geqq1}(1/p^n) \Bbb{Z}$.
$K$ should be like the form $ \Bbb{F}_q((t))$, so I need to determine $q$.