The main theorem in this
paper characterizes a local domain (R,M) which satisfies the altitude formula in
terms of certain DVR’s (discrete valuation rings) in the quotient field F of R.
Specifically, R satisfies the altitude formula if and only if every DVRPL (V,N) over
R in F (that is, (V,N) is a DVR with quotient field F such that R ⊆ V , N ∩R = M,
and V is integral over a locality over R) is of the first kind (that is, trd
(V∕N)∕(R∕M) = altitude R − 1).