Restriction map of spaces of orderings of fields
Let \(X_F\) denote the space of orderings of a formally real field \(F\). For every field extension \(F_1/F_0\), one can define a restriction map \(\varepsilon_{F_1/F_0}: X_{F_1}\to X_{F_0}\), assuming \(\varepsilon_{F_1/F_0}(L):= L\cap F_0\) for every positive cone \(L\) in \(F_1\). \textit{R. Elman}, \textit{T. Y. Lam} and \textit{A. R. Wadsworth} [J. Reine Angew. Math. 306, 7--27 (1979; Zbl 0398.12019)] proved that \(\varepsilon_{F_1/F_0}\) is a continuous and open mapping, provided \(F_1/F_0\) is finitely generated. Using the method of elimination of quantifiers the author proves that for every finitely generated field extension \(F_1/F_0\) the restriction map \(\varepsilon_{F_1/F_0}\) has a continuous section (i.e., there is a continuous mapping \(\sigma\colon Y\to X_{F_1}\) such that \(\varepsilon_{F_1/F_0}\circ \sigma = \operatorname{id}_Y\), where \(Y := \varepsilon_{F_1/F_0}(X_{F_1}))\). This result is applied to solve some problems concerning the RRC-fields. Moreover, the general problem of existence of continuous sections of mappings of Boolean spaces is discussed.
- Topological spaces as spaces of \(\mathbb R\)-places
- The Boolean space of \({\mathbf R}\)-places
- Existence and uniqueness of the real closure of an ordered field without Zorn's lemma
- Fields maximal with respect to a set of orderings
- The behavior of chains of orderings under field extensions and places
- Some remarks on orderings under finite field extensions
- scientific article; zbMATH DE number 3937286
- scientific article; zbMATH DE number 4210287
- A construction of real closed fields
- Plongement dense d'un corps ordonné dans sa clôture réelle
This page was built for publication: Restriction map of spaces of orderings of fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1087922)
