12J05 Normed fields
12J10 Valued fields
12J12 Formally $p$-adic fields
12J15 Ordered fields
12J17 Topological semifields
12J20 General valuation theory
12J25 Non-Archimedean valued fields, See also {30G06, 32P05,
46S10, 47S10}
12J27 Krasner-Tate algebras See mainly{ 32P05; See also 46S10, 47S10}
12J99 None of the above but in this section