We study first-order properties of the quotient rings C (V)/P by a pri
me ideal P, where C(V) is the ring of p-adic valued continuous definab
le functions on some affine p-adic variety V. We show that they are in
tegrally closed Henselian local rings, with a p-adically closed residu
e field and field of fractions, and they are not valuation rings in ge
neral but always satisfy For All x, y(x/y(2) V y/x(2)).