Электронный каталог: Fehm, Arno - Existential ∅-definability of henselian valuation rings