Geodesic
Totally ordered fields with symmetric gaps
Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mehanika, no. 46 (2017), pp. 14-20 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

The paper investigates properties of totally ordered fields with symmetric gaps. Let $(A, B)$ be a gap of an ordered field $K$. The set $A$ is called long-shore if for all $a\in A$ there exists $a_1\in A$ such that $(a_1+(a_1-a))\in B$. If both of the shores $A$ and $B$ are long-shore, then the gap $(A, B)$ is called symmetric. We consider under (GCH) a real closed field $K$, $|K|=|G|=cf(G)=\beta>\aleph_0$, where $G$ is the group of Archimedean classes of $K$ and cofinality of each symmetric gap of $K$ is $\beta$. We show that $K$ is order-isomorphic to the field of bounded formal power series $\mathbf{R}[[G, \beta]]$. We prove that a gap $(A, B)$ of an ordered field $K$ is symmetric iff $\exists t\in \mathbf{R}[[G]]\setminus K$, $A, where $G$ is the group of Archimedean classes of $K$. For any ordered field, with a symmetric gap of cofinality $\beta$ we construct a subfield, with a symmetric gap of the same cofinality. We consider an example of real closed field $H$, $\mathbf{R}[[G, \beta]]\subset H\subset\mathbf{R}[[G, \beta^+]]$, with a symmetric gap of cofinality $\beta^+$.
Keywords: totally ordered Abelian group, totally ordered field, field of bounded formal power series, simple transcendental extension of ordered field, real closure, symmetric gap, cofinality of a gap. 
@article{VTGU_2017_46_a1,
     author = {N. Yu. Galanova},
     title = {Totally ordered fields with symmetric gaps},
     journal = {Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mehanika},
     pages = {14--20},
     year = {2017},
     number = {46},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VTGU_2017_46_a1/}
}
TY  - JOUR
AU  - N. Yu. Galanova
TI  - Totally ordered fields with symmetric gaps
JO  - Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mehanika
PY  - 2017
SP  - 14
EP  - 20
IS  - 46
UR  - http://geodesic.mathdoc.fr/item/VTGU_2017_46_a1/
LA  - ru
ID  - VTGU_2017_46_a1
ER  - 
%0 Journal Article
%A N. Yu. Galanova
%T Totally ordered fields with symmetric gaps
%J Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mehanika
%D 2017
%P 14-20
%N 46
%U http://geodesic.mathdoc.fr/item/VTGU_2017_46_a1/
%G ru
%F VTGU_2017_46_a1
N. Yu. Galanova. Totally ordered fields with symmetric gaps. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mehanika, no. 46 (2017), pp. 14-20. http://geodesic.mathdoc.fr/item/VTGU_2017_46_a1/

[1] Pestov G. G., The structure of ordered fields, TSU publ., Tomsk, 1980

[2] Pestov G. G., “On the Theory of Cuts in Ordered Fields”, Sib. Math. J., 42:6 (2001), 1123–1131 | DOI | MR | Zbl

[3] Pestov G. G., To the theory of ordered fields and groups, Dis. doct. fiz.-mat. nauk: 01.01.06, Tomsk, 2003, 273 pp.

[4] Pestov G. G., “Investigations on ordered groups and fields in Tomsk State University”, Tomsk State University Journal of Mathematics and Mechanics, 2011, no. 3(15), 41–58

[5] Galanova N. Yu., “Symmetry of sections in fields of formal power series and nonstandard real line”, Algebra and Logic, 42 (2003), 14–19 | DOI | MR

[6] Galanova N. Yu., “Symmetric and asymmetric gaps in some fields of formal power series”, Serdica Math., 30 (2004), 495–504 | MR | Zbl

[7] Galanova N. Y., “An investigation of the fields of bounded formal power series by means of theory of cuts”, Acta Appl. Math., 85 (2005), 121–126 | DOI | MR | Zbl

[8] Dales H. J., Woodin H., Super real fields, Clarenden Press, Oxford, 1996 | MR | Zbl

[9] Fuchs L., Partially ordered algebraic systems, Pergamon Press, Oxford, 1963 | MR | Zbl

[10] Galanova N. Y., Pestov G. G., “Symmetry of cuts in fields of formal power series”, Algebra and Logic, 47:2 (2008), 100–106 | DOI | MR | Zbl