Quantifier elimination for quasi-real closed fields

Mickaël Matusinski; Simon Müller

doi:10.5802/crmath.169

逻辑数学实验

拟实闭域的量词消去

米卡·马图辛斯基 ¹ ; 西蒙·米勒 ²

¹波尔多大学，IMB，UMR 5251，F-33400 Talence，法国
²德国康斯坦茨大学，78467

康普特斯·伦德斯。《数学》，第359卷（2021年）第3期，第291-295页。

Nous prouvons l’élimination des quanticateurs pour la theorie des corps准公共物品估价兼容。Cela reprend et unifie les mémes résultats connus pour les corps algébriquement clos et les corps reéels clos。

我们证明了具有相容赋值的拟实闭域理论的量词消去。这统一了代数闭值域和实闭值域的相同已知结果。

回复：2020-05-26
接受：2020-12-13
出版物：2021-04-20

内政部：10.5802/crmath.169

分类：03C10、03C64、12J10、12J15、12L12

导演协会：

米卡·马图辛斯基¹ ; 西蒙·米勒²

¹波尔多大学，IMB，UMR 5251，F-33400 Talence，法国
²德国康斯坦茨大学，78467

许可证：

CC-BY 4.0版

Droits d’auteur：Les auteurs保守者leurs Droits

@文章{CRMATH_2021_359_3_291_0，author={Micka\“el-Matusinski and Simon M\”uller}，title={准实闭域的量词消去}，journal={Comptes-Rendus.Math\'ematique}，页数={291--295}，publisher={巴黎科学院}，体积={359}，数字={3}，年份＝{2021}，doi={10.5802/crmath.169}，语言={en}，}

TY-JOUR公司澳大利亚-米卡埃尔·马图辛斯基澳大利亚-西蒙·米勒TI-准实闭场的量词消去JO-康普特斯·伦德斯。数学竞赛2021年上半年SP-291型EP-295VL-359IS-3标准PB-巴黎科学院DO-10.5802/规格169LA-英语ID-CRMATH_2021_359_3_291_0呃-

%0期刊文章%米卡·马图辛斯基%西蒙·米勒%准实闭域的T量词消去%《康普特斯·伦德斯杂志》。数学竞赛%D 2021年%第291-295页%359伏%编号3%巴黎科学院%R 10.5802/crmath.169%G en公司%对于CRMATH_2021_359_3_291_0

米卡·马图辛斯基；西蒙·米勒。准实闭域的量词消去。康普特斯·伦德斯。《数学》，第359卷（2021年）第3期，第291-295页。doi:10.5802/crmath.169。https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.169/

[1]埃米尔·阿廷；奥托·施赖尔Algebraische Konstruktion卷取机Körper，Abh.数学。塞明。汉堡大学。，第5卷（1927）第1期，第85-99页|DOI程序|兹布尔

[2]Reinhold Baer公司U ber nicht-archimedisch geordnete Körper公司。（Beiträge zur代数5.）。，第8卷1927年，第3-13页|兹布尔

[3]格雷戈里·切尔林；马克斯·迪克曼实闭环II，Ann.纯应用。逻辑，第25卷（1983）第3期，第213-231页|DOI程序|先生|兹布尔

[4]查尔斯·德尔泽尔（Charles N.Delzell）；亚历山大·普雷斯特尔数学逻辑和模型理论。简介，Universitext（通用文本），施普林格出版社，2011年，x+193页|兹布尔

[5]艾多·埃弗拉特估价、订购和Milnor $K（K）$ -理论、数学调查和专著, 124，美国数学学会，2006，xiv+288页|DOI程序|先生|兹布尔

[6]安东尼奥·恩格尔（Antonio J.Engler）；亚历山大·普雷斯特尔有值字段施普林格数学专著，Springer，2005，x+205页|兹布尔

[7]赛义德·法赫鲁丁准有序场J.Pure应用。代数，第45卷（1987）第3期，第207-210页|DOI程序|先生|兹布尔

[8]沃尔夫冈·克鲁尔Allgemeine Bewertungtheorie公司J.Reine Angew著。数学。，第167卷（1932年），第160-196页|DOI程序|先生|兹布尔

[9]Salma Kuhlmann；米卡·马图辛斯基；弗朗索瓦点拟序差分域的值差秩、组、模块和模型理论——调查和最新发展：纪念吕迪格·哥贝尔（曼弗雷德·德罗斯特（Manfred Droste）、拉兹洛夫克斯（LászlóFuchs）、布伦丹·戈德史密斯（Brendan Goldsmith）、卢茨·斯特林曼（Lutz Strüngmann）编辑），施普林格出版社，2017年，第399-414页|DOI程序|兹布尔

[10]Salma Kuhlmann；西蒙·米勒拟序与赋值的相容性：拟序环的Baer–Krull定理，订单，第36卷（2019）第2期，第249-269页|DOI程序|先生|兹布尔

[11]亚伯拉罕·鲁滨逊完整的理论、逻辑和数学基础研究1956年，北荷兰|兹布尔

[12]约瑟夫·希普曼代数基本定理的改进，数学。智力。，第29卷（2007）第4号，第9-14页|DOI程序|先生|兹布尔

[13]奥斯卡·扎里什；皮埃尔·塞缪尔交换代数。第二卷，数学研究生课程, 29，施普林格出版社，1975年，x+414页（重印1960年版）|先生|兹布尔

Citépar公司资料来源：

评论 - 政治