Total Valuation Rings of Ore Extensions

We consider extensions of a total valuation ring V of a skew field K to the Ore extension K(X;σ, δ) for an endomorphism σ of K and a σ-derivation δ. It is shown that there exists an extension R of V with X ∈ R, such that ${\overline X}$ is transcendental over V/J(V) if and only if (σ,δ) is compatible with V, where ${\overline X} = X + J(R^(1))$ . In the case V is invariant, it is established that there is an invariant extension R of V in K(X;σ,δ) such that ${\overline X}$ is transcendental if and only if σ(a)V = aV and δ(a) ∈ aV for all a ∈ K.