于尔肖夫（Yu Ershov）。L。 具有较小绝对Galois群的RRC字段。 （英语） Zbl 0691.12012号 Ann.纯粹应用。逻辑 43，第2期，197-208（1989）。 设（RRC_n）是具有零特征的所有正则实闭场（RRC-场）的类，Galois群G（F）具有一个生成元系统（σ_1，σ_2，…，σ_n），使得F上的任何线性阶L都是唯一阶对（F ^{σ}）的限制对于某些对合（σ1，σ2，…，σn）主要结果是：类（RRC_n）的初等理论（Th（RRC_n））对任何（n_in_omega）都是可判定的。审核人：D.布斯内格 引用于2文件 MSC公司： 12升05 可判定性与场理论 关键词：可判定性;正则实闭域;RRC字段;基本理论 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov}，Ann.纯应用。逻辑43，No.2，197--208（1989；Zbl 0691.12012） 全文： 内政部 参考文献： [1] Basarab，S.A.，伪实闭域的公理，罗马数学评论。Pure等人。，2944-456（1984年）·Zbl 0555.12009号 [2] Basarab，S.A.，关于Hilbertian域的某些类，数学结果。，7，1-34（1984年）·Zbl 0547.12016号 [3] C.Cherlin，L.van den Dries和A.MacIntyre，正则闭场的基本理论，预印本。；C.Cherlin、L.van den Dries和A.MacIntyre，规则闭场的基本理论，预印本·Zbl 0466.12017号 [4] 范登·德里斯，L.，场模型理论（论文（1978），乌得勒支）·Zbl 1019.03027号 [5] 于尔肖夫（Yu Ershov）。L.，《场论中的算法问题（积极方面）》，（数学逻辑参考书，第三部分，递归理论（1982年），瑙卡：瑙卡莫斯科），269-353，（俄语）。 [6] 于尔肖夫（Yu Ershov）。《完全真实的领域扩展》，《苏联数学》。道克。，25, 2, 477-480 (1982) ·Zbl 0514.03019号 [7] 于尔肖夫（Yu Ershov）。L.，对合群，代数和逻辑，22，3，185-196（1984）·Zbl 0594.03017号 [8] 于尔肖夫（Yu Ershov）。L.，正则闭域，代数与逻辑，22，4，277-291（1984）·Zbl 0544.12017号 [9] 于尔肖夫（Yu Ershov）。L.，正则\（r）-带弱泛Galois群的闭域，代数与逻辑，23426-449（1985）·Zbl 0578.12021号 [10] 于尔肖夫（Yu Ershov）。L.，关于正则闭域的两个定理，J.Reine Angew。数学。，347, 154-167 (1984) ·Zbl 0514.12022号 [11] 于尔肖夫（Yu Ershov）。L.，Realizable i-groups，（Nekotorye problemy i zadachi analiza algebry（1985），NGU:NGU Novosibirsk），46-60，（俄语）·Zbl 0597.20023号 [12] 哈兰，D。；Jarden，M.，伪实闭域的绝对Galois群，Annali della Scuola Normale Superiore di Pisa，第十二卷，第3期，第449-489页（1985年），Ser。四、·Zbl 0595.12013号 [13] Haran，D.，伪实闭域的不可判定性，Manuscripta Math。，49, 91-108 (1984) ·兹比尔0578.12020 [14] Jarden，M.，《大折叠有序域的基本理论》，《数学学报》。，149, 239-260 (1982) ·兹比尔0513.12020 [15] Jarden，M.，《关于折叠有序场理论的模型伴侣》，《数学学报》。，150, 243-253 (1983) ·2018年5月18日Zbl [16] Prestel，A.，伪实闭域，集合论和模型论。集合论和模型论，数学课堂讲稿。，872, 127-156 (1981) ·Zbl 0466.12018号 [17] Prestel，A.，预定域的可判定理论，数学。Ann.，258，481-492（1982）·Zbl 0466.12019号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。