{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,1,9]]，“日期-时间”：“2024-01-09T00:04:33Z”，“时间戳”：1704758673681}，“引用-计数”：23，“发布者”：“威利”，“问题”：“1”，“许可证”：[{“开始”：{-“日期-零件”：[2003,16]]，”日期-时间“：”2003-01-16 T00:00:00Z“，”时间戳“：104267520000}，“content-version”：“vor”，“delay-in-days”：15，“URL”：“http://\\onlinelibrary.wiley.com/termsAndConditions#vor”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[“数学逻辑Qtrly”]，“published-print”：{“date-parts”：[[2003,1]}，”abstract“：”摘要<\/jats:title>在本文中，我们讨论了有序域的（Dedekind）完全展开式，即那些没有可定义间隙的完全展开式。在这两种情况下，我们都给出了几个公理化，比如可定义连接。作为推论，当允许参数时，有序字段的展开式是o\u2010minimal当且仅当其所有可定义子集都是可定义连通（可定义）子集的有限不交并。我们注意到展开式中的可定义间隙是多么简单（就量词复杂性和/或参数的使用而言）。接下来我们证明了在有序域的参数可定义完全展开式上，所有一个从u2010到u2010的可定义（带参数）连续函数都是单调且开放的。此外，在无参数和无参数的情况下，有序域的可定义完全展开满足Heine\u2010Borel和极值定理的可定义版本，也满足闭有界子集可定义族的有界交性质<\/jats:p>“，”DOI“：”10.1002\/malq.200310005“，”type“：”journal-article“，”created“：{”date-parts“：[[2003,17]]，”date-time“：”2003-01-17T16:43:11Z“，”timestamp“：1042821791000}，”page“：“，”作者“：[{”给定“：”Jafar S.“，”family“：”Eivazloo“，”sequence“：”first“，”affiliation“：[]}，”{“given”：“Mojtaba”，“family”：“Moniri”，“sequence”：“additional”，“affiliation:[]}]，”member“：”311“，”published-online“：{“date-parts”：[[2003,16]]}“reference”：[{“key”：”e_1_1_2_2_2“，”doi-asserted-by“：“publisher”，“doi”：“10.1016\/0168-0072（94）00054-7“}，{“键”：“e_1_2_1_3_2”，“doi-asserted-by“：”crossref“，”first page“：”66“，”doi“：”10.1215\/ijm\/1256044752“，”article-title“：”满足Rolle定理的有序字段“，”volume“：“30”，”author“：”Brown R.“，“year”：“1986”，”journal-title”：“Illinois J.Math。“}，{”key“：”e_1_1_4_2“，”doi-asserted-by“：”publisher“，”doi“：”10.2307\/2046522“}、{”密钥“：”e_1_2_1_5_2“，“doi-assert-by”：“publisher”，“doi”：“10.1007\/BF01171706”}，“key”：“e_1_cu6_2”，“doi asserted-by”：1_7_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0024-3795（94）00053-G“}，{”key“：”e_1_2_1_8_2“，“非结构化“：”J.S.EivazlooandM。Moniri Definably Dedekind完成有序字段的扩展。摘录了LC’01 Bull的一次贡献演讲。符号逻辑8 132\u2013133（2002）。“}，{”key“：”e_1_1_9_2“，”doi-asserted-by“：”crossref“，”unstructured“：”R.Goldblatt关于超现实的讲座：非标准分析简介（Springer\u2010Verlag New York 1998）。“，”doi“：”10.1007\/978-1-4612-0615-6“}”，{“key”：“e_2_1_10_2”，“doi-assert-by”：“publisher”，“doi”：“10.2307\/2694977”}，11_2“，”doi-asserted-by“：”crossref“，”unstructured“：”皮亚诺算法的R.Kaye模型（牛津大学出版社，牛津1991年）。“，”DOI“：”10.1093\/oso\/9780198532132.001.0001“}，{”key“：”e_1_2_1_12_2“，”DOI-asserted-by“：”crossref“，”unstructured“：”H.\u2010J.Keisler Monotone complete fields.In:非标准分析维多利亚研讨会（A.Hurd and P.Loeb eds.）数学课堂笔记第369卷第113\u2013 115页（Springer\u2010Verlag-Berlin et al.1974）。“，”10.1007 \/BFb0066005“}，{“key”：“e_1_2_1_13_2”，“doi-asserted-by”：“crossref”，“first page”：”593“，“doi”：“10.1090 \/S0002-9947-1986-0833698-1”，“article-title”：“有序结构中的可定义集II”，“volume”：《295》，“author”：“Knight J.F.”，《年份》：“1986”，“日记标题”：“Trans.Amer.Math.Soc.”}，“e_1_2_1_14_2”，“doi-asserted-by”：“交叉引用”，“非结构化“：”A.Macintyre稠密嵌入I：罗宾逊在一般情况下的定理。摘自：《模型理论与代数：对亚伯拉罕·罗宾逊的纪念》（D.H.Saracino和V.B.Weispfenning主编）数学讲义第498卷第200\u2013 219页（Springer\u2010Verlag-Berlin\u2010New York 1975）。“，”DOI“：”10.1007\/BFb0080981“}，{“key”：“e_1_1_15_2”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1090\/S0002-9947-00-02633-7”}，“{”key“：”e_1_i_16_2“，”DOI-assert-by“：”crossref“，”unstructured“：”D.Marker对场模型理论的介绍。In:场模型理论（D.Marker M.Messmer和A.Pillay eds.）《逻辑学讲义》5，第1页，2013 37页（Springer\u2010Verlag Berlin，1996年）。“，”DOI“：”10.1007\/978-3662-22174-7_1“}，{“key”：“e_1_1_17_2”，“DOI-asserted-by”：“publisher”，“DOI”：“10.2307\/2694974”}，“{”key“：”e_1_cu1_18_2“，”first page“：“193”，”article-title“：“实线的开放集扩展：o\u2010极小性和开放核心”，“volume”：”162“，”author“：”Miller C.“，”year“：”1999“，”journal-title“：”Fund.Math.“}，{”key“：”e_1_2_1_19_2“，”非结构化“：”M.Moniri和J。S.Eivazloo在Dedekind单调或Scott不完全有序字段中使用网络和可定义性问题。第九届布拉格拓扑研讨会论文集（P.Simon主编）拓扑地图集（电子版，网址：http://\/at.yorku.ca）多伦多，2002年，第195\u2013 203页10.1090\/S0002-9947-1986-0833697-X“}，{“key”：“e_1_1_22_2”，“doi-asserted-by”：“publisher”，“doi”：“10.2307\/2695102”}，“key“：”e_1_i_1_23_2“，”doi-assert-by“：”publisher“，”doi“：”10.1007\/BF02567077概率（W.A.J。卢森堡编辑）第274\u2013 278页（霍尔特·莱因哈特和温斯顿，纽约，1969年）。“}]，”container-title“：[”Mathematical Logic Quarterly“]，”original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\\/api.wiley.com/onlinelibrary\\tdm\/v1\/articles \/10.1002%2Fmalq.200310005”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“text-mining”}，{“URL”：“”https:\/\/onlinelibrary.wiley.com/doi\/pdf\/10.1002\/malq.200310005“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2024,1,8]]，”date-time“：“2024-01-08T20:03:20Z”，”timestamp“：1704744200000}，”score“：1，”resource“：{”primary“：”https:\/\/onlinelibrary.wiley.com/doi\/10.1002\/malq.200310005“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部分“：[[2003,1]]}，“参考计数”：23，”日志发布“：”发布“：“：”http://\/dx.doi.org\/10.1002\/malq.200310005“，”存档“：[”Portico“]，“关系“：{}，”ISSN“：[”0942-5616“，”1521-3870“]，”ISSN-type“：[{”value“：”09425-5616“，”type“:”print“}，{”value“：”1521-380“，”类型“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[[2003,1]}}}}