Sikorski Roman
On algebraic extensions of ordered fields