论文信息 - Embedding ordered fields in formal power series fields

Embedding ordered fields in formal power series fields

In the paper it is shown how an embedding of an ordered field F into a formal power series field 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.

Salma Kuhlmann | Franz-Viktor Kuhlmann | Murray Marshall | M. Zekavat

[1] O. Zariski,et al. Commutative Algebra, Vol. I , 1959 .

[2] J. Ohm. The ruled residue theorem for simple transcendental extensions of valued fields , 1983 .

[3] D. Buchsbaum,et al. Commutative Algebra, Vol. II. , 1959 .

[4] A. Pillay,et al. DEFINABLE SETS IN ORDERED STRUCTURES. I , 1986 .

[5] Jean-Pierre Ressayre,et al. Every Real Closed Field Has an Integer Part , 1993, J. Symb. Log..

[6] H. Hahn,et al. Über die nichtarchimedischen Größensysteme , 1995 .

[7] Irving Kaplansky,et al. Maximal fields with valuations, II , 1942 .

[8] H. Bateman. Book Review: Ergebnisse der Mathematik und ihrer Grenzgebiete , 1933 .

[9] S. Maclane,et al. Zero-Dimensional Branches of Rank One on Algebraic Varieties , 1939 .

[10] J. Neukirch,et al. The Theory of Valuations , 1999 .

[11] N. L. Alling,et al. On the existence of real-closed fields that are _{}-sets of power ℵ_{} , 1962 .

[12] Ludwig Bröcker,et al. Constructible sets in real geometry , 1996 .

[13] August Pfizmaier,et al. Sitzungsberichte der kaiserlichen Akademie der Wissenschaften , 1875 .

[14] Etude des coupures dans les groupes et corps ordonnes , 1982 .

[15] Orderings On Real Surfaces , 1984 .

[16] A. Pillay,et al. Definable sets in ordered structures , 1984 .