Najprej vpeljemo pojem krepko abelove valuacije na nekomutativnih obsegih. Za krepko abelove valuacije velja, da sta tako valuacijska grupa kot tudi obseg ostankov komutativna. Nato klasificiramo vse valuacije na realni Weylovi algebri, ki imajo realno polje ostankov. Izkaže se, da so te valuacije vse krepko abelove. Nato klasificiramo valuacije na razširitvi realne Weylove algebre z realnim zaprtjem polja realnih racionalnih funkcij, ki imajo realno polje ostankov, pri čemer se pri eni skupini takih valuacij tega lotimo s pomočjo izreka o kompaktnosti iz teorije modelov. Tudi te valuacije so krepko abelove. S pomočjo te klasifikacije opišemo vse valuacije na realni Weylovi algebri, ki se razširijo na večji kolobar. Pokažemo, da izrek Kaplanskega, po katerem je vsaka razširitev polja z valuacijo z limitami psevdo-konvergentnih zaporedij neposredna, v splošnem ne velja za nekomutativne obsege. Opišemo vse ureditve Weylove algebre in njene razširitve z realnim zaprtjem polja realnih funkcij. Nazadnje opišemo možnosti, kako bi lahko predstavljeno konstrukcijo valuacij na Weylovi algebri uporabili za opis valuacij na drugih kolobarjih nekomutativnih polinomov.
|