Valuations on extensions of Weyl skew fields
The main result is that if \(k\subset K\) is a finitely generated field extension of transcendence degree 1, and \(k'=K'\) is the corresponding extension of skew fields of the first Weyl algebra, then the \(k\)-valuations of \(K\) are in one-to-one correspondence with the \(k'\)-valuations of \(K'\).
scientific article; zbMATH DE number 923689