no. 3
Logique mathématique
Quantifier elimination for quasi-real closed fields
Matusinski, Mickaël1 ; Müller, Simon2 
1 Univ. Bordeaux, IMB, UMR 5251, F-33400 Talence, France
2 Universität Konstanz, 78467 Konstanz, Germany
Comptes Rendus. Mathématique, Tome 359 (2021) no. 3, pp. 291-295.

Nous prouvons l’élimination des quantificateurs pour la théorie des corps quasi-réels clos munis d’une valuation compatible. Cela reprend et unifie les mêmes résultats connus pour les corps algébriquement clos et les corps réels clos.

We prove quantifier elimination for the theory of quasi-real closed fields with a compatible valuation. This unifies the same known results for algebraically closed valued fields and real closed valued fields.

Reçu le :
Accepté le :
Publié le :
DOI : 10.5802/crmath.169
Classification : 03C10, 03C64, 12J10, 12J15, 12L12
Matusinski, Mickaël 1 ; Müller, Simon 2

1 Univ. Bordeaux, IMB, UMR 5251, F-33400 Talence, France
2 Universität Konstanz, 78467 Konstanz, Germany 
@article{CRMATH_2021__359_3_291_0,
     author = {Matusinski, Micka\"el and M\"uller, Simon},
     title = {Quantifier elimination for quasi-real closed fields},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {291--295},
     publisher = {Acad\'emie des sciences, Paris},
     volume = {359},
     number = {3},
     year = {2021},
     doi = {10.5802/crmath.169},
     language = {en},
     url = {http://www.numdam.org/articles/10.5802/crmath.169/}
}
TY  - JOUR
AU  - Matusinski, Mickaël
AU  - Müller, Simon
TI  - Quantifier elimination for quasi-real closed fields
JO  - Comptes Rendus. Mathématique
PY  - 2021
SP  - 291
EP  - 295
VL  - 359
IS  - 3
PB  - Académie des sciences, Paris
UR  - http://www.numdam.org/articles/10.5802/crmath.169/
DO  - 10.5802/crmath.169
LA  - en
ID  - CRMATH_2021__359_3_291_0
ER  - 
%0 Journal Article
%A Matusinski, Mickaël
%A Müller, Simon
%T Quantifier elimination for quasi-real closed fields
%J Comptes Rendus. Mathématique
%D 2021
%P 291-295
%V 359
%N 3
%I Académie des sciences, Paris
%U http://www.numdam.org/articles/10.5802/crmath.169/
%R 10.5802/crmath.169
%G en
%F CRMATH_2021__359_3_291_0
Matusinski, Mickaël; Müller, Simon. Quantifier elimination for quasi-real closed fields. Comptes Rendus. Mathématique, Tome 359 (2021) no. 3, pp. 291-295. doi : 10.5802/crmath.169. http://www.numdam.org/articles/10.5802/crmath.169/

[1] Artin, Emil; Schreier, Otto Algebraische Konstruktion reeller Körper, Abh. Math. Semin. Univ. Hamb., Volume 5 (1927) no. 1, pp. 85-99 | DOI | Zbl

[2] Baer, Reinhold Über nicht-archimedisch geordnete Körper. (Beiträge zur Algebra 5.)., Volume 8, 1927, pp. 3-13 | Zbl

[3] Cherlin, Gregory; Dickmann, Max A. Real closed rings II, Ann. Pure Appl. Logic, Volume 25 (1983) no. 3, pp. 213-231 | DOI | MR | Zbl

[4] Delzell, Charles N.; Prestel, Alexander Mathematical logic and model theory. A brief introduction, Universitext, Springer, 2011, x+193 pages | Zbl

[5] Efrat, Ido Valuations, orderings, and Milnor K-theory, Mathematical Surveys and Monographs, 124, American Mathematical Society, 2006, xiv+288 pages | DOI | MR | Zbl

[6] Engler, Antonio J.; Prestel, Alexander Valued fields, Springer Monographs in Mathematics, Springer, 2005, x+205 pages | Zbl

[7] Fakhruddin, Syed M. Quasi-ordered fields, J. Pure Appl. Algebra, Volume 45 (1987) no. 3, pp. 207-210 | DOI | MR | Zbl

[8] Krull, Wolfgang Allgemeine Bewertungstheorie, J. Reine Angew. Math., Volume 167 (1932), pp. 160-196 | DOI | MR | Zbl

[9] Kuhlmann, Salma; Matusinski, Mickaël; Point, Françoise The Valuation Difference Rank of a Quasi-Ordered Difference Field, Groups, Modules, and Model Theory – Surveys and Recent Developments : In Memory of Rüdiger Göbel (Droste, Manfred; Fuchs, László; Goldsmith, Brendan; Strüngmann, Lutz, eds.), Springer, 2017, pp. 399-414 | DOI | Zbl

[10] Kuhlmann, Salma; Müller, Simon Compatibility of Quasi-Orderings and Valuations: A Baer–Krull Theorem for Quasi-Ordered Rings, Order, Volume 36 (2019) no. 2, pp. 249-269 | DOI | MR | Zbl

[11] Robinson, Abraham Complete theories, Studies in Logic and the Foundations of Mathematics, North-Holland, 1956 | Zbl

[12] Shipman, Joseph Improving the fundamental theorem of algebra, Math. Intell., Volume 29 (2007) no. 4, pp. 9-14 | DOI | MR | Zbl

[13] Zariski, Oscar; Samuel, Pierre Commutative algebra. Vol. II, Graduate Texts in Mathematics, 29, Springer, 1975, x+414 pages (Reprint of the 1960 edition) | MR

Cité par Sources :