Maximal ordered fields of rank n
An ordered field F has a valuation v compatible with the order, and the rank of this valuation is called the rank of F. We say F is complete if it does not allow of an extension \(\hat F\) in which F is dense. The authors show that any maximal ordered field F of finite rank is complete, where by maximal it is meant one which has no proper ordered extension of the same rank. The main theorem establishes (i) the existence and uniqueness of a maximal ordered field F of rank n for any natural number n, and (ii) any ordered field K of rank n can be order-isomorphically embedded in F. This F is in fact the formal power series field in x with coefficients from R and exponents from the n-fold lexicographic product of the additive group of real numbers \({\mathbb{R}}\).
- Maximal ordered fields of rank n. II
- Maximal extensions of ordered fields
- Maximality of orders in number fields
- Fields maximal with respect to a set of orderings
- Maximal orders over valuation rings
- Maximal orders over Krull domains
- Maximality of orders in Dedekind domains
- Maximally complete fields
- On the rank of certain finite fields
- Maximal orders in Artinian rings
- Some new results on ordered fields
- Cuts of ordered fields
- Maximal ordered fields of rank n. II
- The weak approximation theorem for valuations
- Embedding ordered fields in formal power series fields
- Fields of finite Morley rank
- scientific article; zbMATH DE number 3963989 (Why is no real title available?)
- Exponentiation in power series fields
- Rangs et types de rang maximum dans les corps différentiellement clos
- Maximal extensions of ordered fields
This page was built for publication: Maximal ordered fields of rank n
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q581457)
