Embedding ordered fields in formal power
β
F.-V. Kuhlmann; S. Kuhlmann; M. Marshall; M. Zekavat
π
Article
π
2002
π
Elsevier Science
π
English
β 198 KB
In the paper it is shown how an embedding of an ordered ΓΏeld F into a formal power series ΓΏeld can be extended canonically to an embedding of any simple extension F(y) of F. Properties of the extended embedding are studied in detail. Several applications are given.