On the elimination of imaginaries from certain valued fields
definable \(m\)-ary equivalence relation
expansions of the field of \(p\)-adic numbers
scientific article; zbMATH DE number 219150
scientific article