! k,ao:[t] Now, in order to obtain f3' we first lift a* to some total ordering f3* of W,ao:[t]. For this consider the prime ideal m,ao:[t] of W,ao:[t], where m,ao: is the maximal is a valuation ring of ideal of W,ao:. Then the localization V =(W,ao:[t]) mf3,,[t] k(f3)(t) with residue field k,ao:(t). In fact, let x = P/Q, where P, Q E W,ao:[t].
Download Constructible Sets in Real Geometry by Carlos Andradas, Ludwig Bröcker, Jesús M. Ruiz (auth.) PDF
Rated 5 – based on votes of