尼古拉斯·达恩斯;菲利普·迪特曼 在函数字段中通用定义子环。 arXiv:2404.02749 预打印，arXiv:2404.02749[math.NT]（2024）。MSC公司：12L99型 11E81型 12升05 12层20 BibTeX公司 引用 \textit{N.Daans}和\textit{P.Dittmann}，“函数字段中的通用定义子环”，预打印，arXiv:2404.02749[math.NT]（2024） 全文： arXiv公司 OA许可证
卡里姆·约翰内斯·贝彻;尼古拉斯·达恩斯;菲利普·迪特曼 一个变量中函数域中估值的统一存在定义。 arXiv:2311.06044号 预印本，arXiv:2311.06044[math.NT]（2023）。MSC公司：12升05 12L99型 11E81型 12层20 BibTeX公司 引用 \textit{K.J.Becher}等人，“一个变量函数域赋值的统一存在定义”，Preprint，arXiv:2311.06044[math.NT]（2023） 全文： arXiv公司 OA许可证
罗素·米勒 绝对Galois群\（\mathbb{Q}\）的可计算性。 arXiv:2307.08935 预印本，arXiv:2307.08935[math.LO]（2023）。MSC公司：03天80 10楼12号 11兰特32 12L99型 BibTeX公司 引用 \textit{R.Miller}，“$\mathbb{Q}$的绝对Galois群的可计算性”，预打印，arXiv:2307.08935[math.LO]（2023） 全文： arXiv公司 OA许可证
菲利普·迪特曼;弗洛里安·波普 用单域公理描述有限生成域的特征。 arXiv:2012.01307年 预印本，arXiv:2012.01307[math.LO]（2020）。MSC公司：12L99型 14国道25号 BibTeX公司 引用 \textit{P.Dittmann}和\textit{F.Pop}，“用单个字段公理表征有限生成字段”，Preprint，arXiv:2012.01307[math.LO]（2020） 全文： 内政部 arXiv公司 OA许可证
大卫·阿斯珀罗;Tsaprounis、Konstantinos 长雷亚尔。 （英语） Zbl 1386.12009年 J.日志。分析。 10，论文编号1，36 p.（2018）.MSC公司：12升15 12月15日 12L99型 03E10年 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{D.Asperó}和\textit{K.Tsaprounis}，J.Log。分析。10，论文编号1，36 p.（2018；Zbl 1386.12009） 全文： 链接
菲利普·迪特曼 在所有特征的有限生成字段中定义子环。 arXiv：1810.09333 预印本，arXiv:1810.09333[math.LO]（2018）。MSC公司：12L99型 14国道25号 BibTeX公司 引用 \textit｛P.Dittmann｝，“在所有特征的有限生成字段中定义子环”，预印本，arXiv:11810.09333[math.LO]（2018） 全文： arXiv公司 OA许可证
维埃里·本奇;马尔科·福蒂 欧几里得数。 arXiv:1702.04163 预印本，arXiv:1702.04163[math.LO]（2017）。MSC公司：26E35岁 05年3月 03C20 03E65年 12L99型 BibTeX公司 引用 \textit{V.Benci}和\textit{M.Forti}，“欧几里德数”，预印本，arXiv:1702.04163[math.LO]（2017） 全文： arXiv公司 OA许可证
埃特梅，F.Ayissi 有限域内禀解剖结构。 （英语） Zbl 1396.12008号 国际数学杂志。博弈论代数 25，第3号，299-311（2016）.MSC公司：12L99型 PDF格式BibTeX公司 XML格式引用 \textit{F.A.Etémé}，国际数学杂志。博弈论代数25，第3期，299--311（2016；Zbl 1396.12008）
莫罗佐夫，A.S。 实数域的一些表示。 （英语。俄文原件） Zbl 1334.03039号 代数逻辑 51，第1号，66-88（2012）；摘自《代数逻辑》51，第1期，96-128（2012）。MSC公司：03C57号 03D45号 03C40号 12L99型 PDF格式BibTeX公司 XML格式引用 \textit｛A.S.Morozov｝，《代数逻辑51》，第1期，第66-88页（2012年；Zbl 1334.03039）；《代数逻辑》51的译文，第1期，第96-128页（2012） 全文： 内政部
E.纳扎里。;Yu，Movsisyan。M。 域的乘法半群的Cayley定理。 （英语） Zbl 1269.20055号 J.代数应用。 11，第2期，1250042，12页（2012）. 审核人：安娜·罗曼诺夫斯卡（华沙） MSC公司：20米25 03C68号 12L99型 20立方米 20平方米 PDF格式BibTeX公司 XML格式引用 \textit{E.Nazari}和\textit{Yu.M.Movsisyan}，J.代数应用。11，第2期，1250042，12页（2012；Zbl 1269.20055） 全文： 内政部
菲利普·吕克;萨拉、撒哈拉 无限域的自由群和自同构群。 arXiv公司：1211.6891 预印本，arXiv:121.6891[math.LO]（2012）。MSC公司：03E75型 20E05年 20层29 03E35号 12L99型 BibTeX公司 引用 \textit{P.Lücke}和\textit{S.Shelah}，“无限域的自由群和自同构群”，预印本，arXiv:1211.6891[math.LO]（2012） 全文： arXiv公司 OA许可证
莫罗佐夫，A.S。 关于实数域的一些表示。 （英语。俄文原件） Zbl 1291.03079号 代数逻辑 50，第2期，189-190（2011）；摘自《代数逻辑》50，第2期，270-271（2011）。 审核人：赛义德·萨利希（大不里士） MSC公司：03D45号 03C40号 12L99型 PDF格式BibTeX公司 XML格式引用 \textit｛A.S.Morozov｝，《代数逻辑50》，第2期，189-190（2011年；Zbl 1291.03079）；《代数逻辑》第50卷第2期第270--271页的译文（2011年） 全文： 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 部分小森田和祈使小森田。 arXiv：0909.5271 预印本，arXiv:0909.5271[math.RA]（2009）。MSC公司：12E99型 12L99型 BibTeX公司 引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg}，“部分小森字段和祈使小森字段”，预打印，arXiv:0909.5271[math.RA]（2009） 全文： arXiv公司 OA许可证
阿里·布莱贝尔 二维局部场的单元分解。 （英语） Zbl 1206.11141号 伦德。塞明。帕多瓦马特大学 117, 51-67 (2007). 审核人：维姆·韦斯（鲁汶） MSC公司：11系列40 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bleybel}，伦德。塞明。帕多瓦马特大学117，51--67（2007；Zbl 1206.11141） 全文： 欧洲DML
马歇尔，M。 序空间理论中正本原公式的局部全局性质。 （英语） Zbl 1129.12005年 J.塞姆。日志。 71，第4期，1097-1107（2006）. 审核人：Angelika Tschimmel-Faltings（波恩） MSC公司：第12天15 11E81型 12月15日 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Marshall}，J.Symb。日志。71，第4号，1097--1107（2006；Zbl 1129.12005） 全文： 内政部
迪特马尔，多尔宁格;赫尔穆特·Länger;梅西耶·Mąynski 关于与对称密码系统相关的环形结构。 （英语） Zbl 1084.08002号 Demonstr公司。数学。 38，第2期，265-276（2005）. 审核人：Albert A.Mullin（麦迪逊） MSC公司：08A62号 1999年16月 94A60 12L99型 06第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Dorninger}等人，Demonstr。数学。38，第2号，265--276（2005；Zbl 1084.08002） 全文： 内政部
罗曼科夫，V.A。;Khisamiev，N.G。 可构造矩阵群。 （俄语、英语） Zbl 1080.20045号 代数逻辑卡 43，第5期，603-613（2004）；代数逻辑翻译43，第5期，339-345（2004）。 审核人：K.N.Ponomarev（新西伯利亚） MSC公司：20年35月 20E06年 13升05 03D45号 03C57号 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Roman'kov}和\textit{N.G.Khisamiev}，《代数逻辑学》43，第5期，603--613（2004；Zbl 1080.20045）；代数逻辑翻译43，第5期，339--345（2004） 全文： 内政部
查齐达基斯，佐伊;埃胡德·赫鲁肖夫斯基 完美伪代数闭域是代数有界的。 （英语） Zbl 1046.12002号 J.代数 271，第2期，627-637（2004）. 审核人：卡洛·托法洛里（卡梅里诺） MSC公司：12E30型 03C60型 12L99型 PDF格式BibTeX公司 XML格式引用 \textit｛Z.Chatzidakis｝和\textit｛E.Hrushovski｝，《代数杂志》271，第22627-637期（2004年；Zbl 1046.12002） 全文： 内政部
罗南·夸雷兹 实弧芽空间与半代数集的Poincaré级数。（法国血统和庞加莱风格的半阿尔及利亚风格。） （法语） Zbl 0967.14037号 傅立叶学会 51，第1号，43-67（2001）. 审核人：Z.Hajto（克拉科夫） MSC公司：第14页 13日40分 14国道27号 32B10型 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Quarez}，《傅里叶研究年鉴》51，第1期，第43-67页（2001年；Zbl 0967.14037） 全文： 内政部 Numdam编号 欧洲DML
肯尼斯·库恩;富兰克林·D·塔尔。 集合论基本子模型中的实线。 （英语） Zbl 0960.03033号 J.塞姆。日志。 65，第2号，683-691（2000）.MSC公司：03C62号 54个F05 03E55型 03C55号 06年05月 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{K.Kunen}和\textit{F.D.Tall}，J.Symb。日志。65，第2号，683--691（2000；Zbl 0960.03033） 全文： 内政部
丹尼斯·莱米尔 关于超实数的注记，其正规形式具有无穷分解。（Remarques sur les surréels不构成正常的定义。） （法语） Zbl 1100.12501号 科学年鉴。数学。奎。 23，第1期，73-85（1999）.MSC公司：1999年12月 03E10年 11U99型 PDF格式BibTeX公司 XML格式引用 \textit｛D.Lemire｝，《科学》杂志。数学。奎。23，第1号，73--85（1999；Zbl 1100.12501）
马提亚斯·巴兹;理查德·扎克 代数闭域中推广定理的注记。 （英语） Zbl 0905.03038号 架构（architecture）。数学。逻辑 37，第5-6号，297-307（1998）.MSC公司：07年3月 12L99型 20层03 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}和\textit{R.Zach}，拱门。数学。逻辑37，编号5--6，297--307（1998；Zbl 0905.03038） 全文： 内政部
吕贝茨基，V.A。 迁移定理和直觉集理论。 （英语。俄文原件） Zbl 0958.0304号 多克。数学。 56，第3期，851-854（1997）；Dokl翻译。阿卡德。恶心，罗斯。阿卡德。Nauk 357，No.2，168-171（1997）。MSC公司：03楼55 03E70型 2015年2月6日 12月15日 16B70型 16公里40 16E50型 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Lyubetskij}，多克。数学。56，第3号，168--171（1997；Zbl 0958.03040）；Dokl翻译。阿卡德。恶心，罗斯。阿卡德。Nauk 357，No.2，168--171（1997）
丹尼斯·勒米尔 超现实的正规形式的连续分解和\（\ε\）-数的推广。（Décompositions sequences de la forme normal D'un surréel et généralisation des \（\epsilon \）-nombres。） （法语。扩展英语摘要） Zbl 0922.12008号 科学年鉴。数学。奎。 21，第2期，133-146（1997）. 审核人：D.Busneag（克雷奥瓦） MSC公司：12L99型 03E10年 第12天15 PDF格式BibTeX公司 XML格式引用 \textit{D.Lemire}，安.科学。数学。奎。21，第2号，133--146（1997；Zbl 0922.12008） 全文： 链接
Beyer，W.A。;J.D.劳克。 超有限函数迭代和超实数。 （英语） Zbl 0999.12016号 高级申请。数学。 18，第3期，333-350（1997年）.MSC公司：12L99型 03E10年 39B12号机组 26甲18 37磅99 第37页第99页 PDF格式BibTeX公司 XML格式引用 \textit{W.A.Beyer}和\textit{J.D.Louck}，高级应用程序。数学。18，第3号，333--350（1997；Zbl 0999.12016） 全文： 内政部
萨拉、撒哈拉;奥特玛·斯皮纳斯 总空间。 （英语） Zbl 0860.03037号 变速器。美国数学。Soc公司。 348，第10期，4257-4277（1996）.MSC公司：03E35号 11欧元04 12L99型 15B36型 PDF格式BibTeX公司 XML格式引用 \textit{S.Shelah}和\textit{O.Spinas}，翻译。美国数学。Soc.348，No.10，4257--4277（1996；Zbl 0860.03037） 全文： 内政部 arXiv公司
鲁道夫·弗伦德;路德维希·施泰格 图灵机定义的数字。 （英语） Zbl 0851.03012号 后勤学院。库尔特·哥德尔学会年鉴。第2卷。维恩：斯普林格·弗拉格。118-137（1996年）。 审核人：A.V.阿尼西莫夫（基辅） MSC公司：03日第10天 第12天99 11公里99 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Freund}和\textit{L.Staiger}，in：逻辑学院。库尔特·哥德尔学会年鉴。第2卷。维恩：斯普林格·弗拉格。118-137（1996；Zbl 0851.03012）
马提亚斯·巴兹;理查德·扎克 实闭域中的推广定理。 （英语） Zbl 0829.03033号 Ann.纯粹应用。逻辑 75，第1-2、3-23号（1995年）.MSC公司：20层03 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}和\textit{R.Zach}，Ann.Pure Appl。逻辑75，编号1--2，3--23（1995；Zbl 0829.03033） 全文： 内政部
科斯塔斯斯坎达利斯 关于将输入集表征为输出集。 （英语） Zbl 0804.03034号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 20，第4期，381-392（1994）.MSC公司：03D75号 03日第10天 2005年第68季度 12月15日 12L99型 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Skandalis}，安.社会数学。政策。，序列号。四、 芬丹。Inf.20，No.4，381--392（1994；Zbl 0804.03034）
迪内什·马诺查 多多项式结式的有效算法。 （英语） 兹比尔0780.68076 计算。J。 36，第5期，485-496（1993）.MSC公司：68瓦30 65年第68季度 03C10号机组 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Manocha}，计算。J.36，第5485-496号（1993年；Zbl 0780.68076） 全文： 内政部
Ś维尔茨科夫斯基，S。 欧几里德几何的解释。 （英语） Zbl 0715.03004号 变速器。美国数学。Soc公司。 322，第1号，315-328（1990）. 审核人：E.门德尔森 MSC公司：03B30型 2005年5月5日 12L99型 35层03 03C65型 12月15日 PDF格式BibTeX公司 XML格式引用 \textit{S.Świerczkowski}，翻译。美国数学。Soc.322，No.1，315--328（1990；Zbl 0715.03004） 全文： 内政部
Yu Movsisyan。M。 字段和超恒等式的乘法组。 （英语。俄文原件） Zbl 0705.12002号 数学。苏联，伊兹夫。 35，No.2，377-391（1990）；Izv的翻译。阿卡德。Nauk SSSR，序列号。材料53，第5号，1040-1055（1989）。 审核人：Horia Pop（洛杉矶） MSC公司：12E99型 1999年12月 20立方米 08B99号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.M.Movsisyan}，数学。苏联，伊兹夫。35，第2号，377--391（1990；Zbl 0705.12002）；Izv的翻译。阿卡德。Nauk SSSR，序列号。材料53，编号51040-1055（1989） 全文： 内政部
丹尼尔·罗曼诺（Daniel A.Romano）。 环和场，一个建设性的观点。 （英语） Zbl 0645.03061号 Z.数学。Logik Grundlagen数学。 34，第1号，25-40（1988）.MSC公司：65楼03号 1999年16月 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Romano}，Z.数学。Logik Grundlagen数学。34，编号1，25--40（1988；Zbl 0645.03061） 全文： 内政部
克劳斯·舒尔茨。 Quantoren-Eminination bei Faskörpen公司。（消除近域中的量词）。 （德语） Zbl 0637.12018号 阿布。数学。塞明。汉堡大学。 58, 169-174 (1988). 审核人：K.U.舒尔茨 MSC公司：12K05型 03C10号机组 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{K.U.Schulz}，Abh.数学。塞明。汉堡大学。58、169--174（1988年；Zbl 0637.12018） 全文： 内政部
Khisamiev，N.G。 实数的某些有序字段的非构造性。 （英语。俄文原件） Zbl 0647.03038号 同胞。数学。J。 第5期第28期，第845-847页（1987年）；来自Sib的翻译。材料Zh。28，第5号（165），193-195（1987）。 审核人：O.V.贝尔格莱德克 MSC公司：03D45号 12月15日 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{N.G.Khisamiev}，西布。数学。J.28，No.5，845--847（1987；Zbl 0647.03038）；来自Sib的翻译。材料Zh。28，第5号（165），193--195（1987） 全文： 内政部
陈文德 一类非线性离散动力系统的分析。 （中文。英文摘要） Zbl 0631.93015号 J.系统。科学。数学。科学。 7, 282-288 (1987). 审核人：J.H.天 MSC公司：93B25型 93立方厘米 93C55美元 12K99型 12L99型 94C99号 PDF格式BibTeX公司 XML格式引用 \textit{W.Chen}，J.Syst（系统）。科学。数学。科学。7、282--288（1987年；Zbl 0631.93015）
董，S.P。 数字字段中的可定义性。 （英语） Zbl 0629.03009号 J.塞姆。日志。 52, 152-155 (1987). 审核人：S.R.科加洛夫斯基 MSC公司：03C40号 11U99型 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Tung}，J.Symb。日志。52、152--155（1987年；Zbl 0629.03009） 全文： 内政部
卡洛·托法洛里 规则的可分离闭合环。 （意大利语。英文摘要） Zbl 0598.13009号 伦德。帕多瓦州立大学 71, 15-33 (1984). 审核人：G.德扎内利泽 MSC公司：13升05 13个B05 03C60型 10楼12号 16E50型 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Toffalori}，Rend。塞明。帕多瓦马特大学71，15-33（1984；Zbl 0598.13009） 全文： Numdam编号 欧洲DML
斯特莱安·米哈拉什 标准完成\（\mathbb Z\）。 （英语） Zbl 0558.12008号 安。蒂米大学，蒂因大学。 22, 41-46 (1984). 审核人：A.逃生 MSC公司：11标准99 12L99型 11号80 PDF格式BibTeX公司 XML格式引用 \textit{S.Mihalaš}，安大略大学Timișoara，Științe Mat.22，41-46（1984；Zbl 0558.12008）
乔斯·海因茨 代数闭域中的可定义性和快速量词消除。 （英语） Zbl 0546.03017号 西奥。计算。科学。 24, 239-277 (1983). 审核人：S.A.Basarab公司 MSC公司：03C10号机组 2015年3月1日 1999年12月 03C60型 13升05 14A25型 PDF格式BibTeX公司 XML格式引用 \文本｛J.Heintz｝，Theor。计算。科学。24239--277（1983年；Zbl 0546.03017） 全文： 内政部
安格斯·J·麦金太尔。;肯尼思·麦肯纳;卢·范登·德里斯 消除代数结构中的量词。 （英语） Zbl 0531.03016号 高级数学。 47, 74-87 (1983). 审核人：J.Oikkonen先生 MSC公司：03C60型 03C10号机组 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Macintyre}等人，高级数学。47、74-87（1983年；Zbl 0531.03016） 全文： 内政部
布鲁诺·波扎特 C'est beau et chaud公司。 （法语） Zbl 0525.03025号 小组练习曲Theor。Stables 3:1980-1982，Expose No.7，11 p.（1983）。MSC公司：03C60型 03C45号机组 12L99型 34A99 2005年12月 PDF格式BibTeX公司 XML格式 全文： Numdam编号 欧洲DML
布鲁诺·波扎特 群稳定，avec型一般规则。 （法语） Zbl 0525.03024号 J.塞姆。日志。 48, 339-355 (1983).MSC公司：03C60型 03C45号机组 20甲15 1999年12月 PDF格式BibTeX公司 XML格式引用 \textit{B.Poizat}，J.Symb。日志。48339-355（1983年；兹bl 0525.03024） 全文： 内政部
Jean-Louis杜蕾特 兵团稳定部队。 （法语） Zbl 0515.03015号 小组练习曲Theor。Stables 3:1980-1982，Expose No.8，13 p.（1983）。MSC公司：03C45号机组 12L99型 03C35号 PDF格式BibTeX公司 XML格式 全文： Numdam编号 欧洲DML
维姆·鲁登堡 多项式的素性和可逆性。 （英语） Zbl 0523.03047号 L.E.J.Brouwer Centen出版社。交响乐团。，程序。会议，Noordwijkerhout/Holl。1981年，《发现逻辑研究》。数学。110, 413-434 (1982).MSC公司：03楼55 12E05型 2005年12月 2015年1月13日 12L99型 13G05年 13升05 PDF格式BibTeX公司 XML格式
伯恩德·达恩一世。 指数项的极限行为。 （英语） 兹伯利0516.03019 准备。，Neue Folge，德国洪堡大学。，Sekt.系列。数学。第49、30页（1982年）。MSC公司：03C65型 12L99型 PDF格式BibTeX公司 XML格式
安妮·鲍瓦尔 在这种情况下，必须确保兵团波利尼奥斯河畔中心的等效性。 （法语） Zbl 0505.03017号 C.R.学院。科学。，巴黎，Sér。我 295, 31-33 (1982).MSC公司：03C60型 12L99型 13层20 13升05 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauval}，C.R.学院。科学。，巴黎，Sér。I 295，31-33（1982；Zbl 0505.03017）
约翰·希克曼。 内侧场的自同构。 （英语） Zbl 0501.03037号 Z.数学。Logik Grundlagen数学。 28, 263-267 (1982).MSC公司：03E99型 2006年11月 20B27型 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Hickman}，Z.数学。Logik Grundlagen数学。28263--267（1982；Zbl 0501.03037） 全文： 内政部
雷，地雷;弗雷德·里奇曼 可分性和因子分解多项式。 （英语） Zbl 0499.12019 落基山J.数学。 12, 43-54 (1982).MSC公司：12E05型 12L99型 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{R.Mines}和\textit{F.Richman}，洛基山J.数学。12、43——54（1982；Zbl 0499.12019） 全文： 内政部
刘、王进 模糊不变子群和模糊理想。 （英语） Zbl 0488.20005号 模糊集系统。 8, 133-139 (1982).MSC公司：20甲15 03E72型 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{W.-j.Liu}，模糊集系统。8133--139（1982年；Zbl 0488.20005） 全文： 内政部
J·考尔斯。 带有Malitz量词的广义阿基米德域和逻辑。 （英语） Zbl 0533.03020号 芬丹。数学。 112, 45-59 (1981). 审核人：J.莫奇科 MSC公司：03C80号 12L99型 03C10号机组 12月15日 PDF格式BibTeX公司 XML格式引用 \textit{J.Cowles}，芬丹。数学。112、45-59（1981年；Zbl 0533.03020） 全文： 内政部 欧洲DML
布鲁斯·罗斯一世。;罗伯特·伍德罗。 超均质结构。 （英语） Zbl 0481.03017号 Z.数学。Logik Grundlagen数学。 27，23-30（1981年）.MSC公司：03元50分 12L99型 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.I.罗斯}和\textit{R.E.伍德罗}，Z.数学。Logik Grundlagen数学。27、23-30（1981年；Zbl 0481.03017） 全文： 内政部
卢·范登·德里斯 有序字段和值字段上线性公式的量词消除。 （英语） Zbl 0479.03018号 牛市。社会数学。贝尔格。，Sér。B类 33, 19-31 (1981).MSC公司：03C10号机组 12月10日 12L99型 03C60型 1999年6月 PDF格式BibTeX公司 XML格式引用 \textit{L.Van den Dries}，公牛。社会数学。贝尔格。，Sér。B 33，19-31（1981；Zbl 0479.03018）
亚历山大·普雷斯特尔 Zur Axiomatisierung gewisser仿射几何。 （德语） Zbl 0466.12020号 大使。数学。，二、。Sér。 27, 125-136 (1981).MSC公司：12L99型 第12天15 03C60型 51A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Prestel}，恩塞恩。数学。（2） 27125-136（1981年；兹bl 0466.12020）
亚历山大·菲利波尤 θ值Lukasiewicz代数的表示定理。 （英语） Zbl 0455.06004号 离散数学。 33, 21-27 (1981).MSC公司：06时30分 05年6月 03G20 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Filipoiu}，离散数学。33、21-27（1981年；Zbl 0455.06004） 全文： 内政部
汉斯·迈克尔·冈瑟 U ber die Rekursivitaet von V-topologischen Körpern。（论文）。 （德语） Zbl 0482.03020号 Hohe Mathematisch-Naturwissenschaftliche Fakultät der Rheinischen Friedrich-Wilhelm-Universität zu Bonn。99 S.（1980）。MSC公司：03D45号 12J99型 05B35号 12L99型 54甲13 54小时99 PDF格式BibTeX公司 XML格式
弗朗索瓦·德隆 具有相同特征的亨塞尔场（p>0）。 （英语） Zbl 0477.12028号 代数和算术模型理论。Con.，Karpacz/Pol.公司。1979年，Lect。数学笔记。834, 108-116 (1980).MSC公司：12月10日 13月15日 03C60型 12L99型 12J20型 PDF格式BibTeX公司 XML格式
Metakides，G。;A.内罗德。 关于领域和抽象依赖的递归理论。 （英语） Zbl 0469.03029号 J.代数 65, 36-59 (1980).MSC公司：03D45号 1999年12月 PDF格式BibTeX公司 XML格式引用 \textit{G.Metakides}和\textit{A.Nerode}，J.代数65，36-59（1980；Zbl 0469.03029） 全文： 内政部
Jean-Louis杜蕾特 保护独立的伪自由军团。 （法语） Zbl 0469.03020号 C.R.学院。科学。，巴黎，Sér。A类 290, 981-983 (1980).MSC公司：03C60型 03C45号机组 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.Duret}，C.R.学院。科学。，巴黎，Sér。A 290981--983（1980；Zbl 0469.03020）
莫里斯·博法 消除所有量化指标。 （法语） Zbl 0469.03017号 牛市。社会数学。贝尔格。，Sér。B类 32, 107-133 (1980).MSC公司：03C10号机组 12L99型 03-01 12-01 PDF格式BibTeX公司 XML格式引用 \textit{M.Boffa}，公牛。社会数学。贝尔格。，Sér。B 32，107--133（1980；Zbl 0469.03017）
卡洛·托法洛里 Fasci di coppie di campi代数词chiusi。 （意大利语） 兹伯利0467.03027 波尔。Unione Mat.意大利语。，供应商。 2271-282（1980年）.MSC公司：03C60型 12L99型 16E50型 12升05 03C65型 PDF格式BibTeX公司 XML格式引用 \textit{C.Toffalori}，Boll。Unione Mat.意大利语。，补遗2，271--282（1980；Zbl 0467.03027）
汉斯·约阿希姆·戈尔茨 Untersuchungen zur Elimination在Korpertheorien的Quantoren更为常见。 （德语） Zbl 0465.03018号 威斯。洪堡大学柏林分校数学系-大自然。赖厄 29, 391-397 (1980).MSC公司：03C60型 03C10号机组 12L99型 03C80号 PDF格式BibTeX公司 XML格式引用 \威斯康星州，textit{H.-J.Goltz}。洪堡大学柏林分校数学系-自然。R.29，391--397（1980；Zbl 0465.03018）
约翰·希克曼。 关于内侧野的一些观察结果。 （英语） Zbl 0464.03044号 Z.数学。Logik Grundlagen数学。 26, 471-475 (1980).MSC公司：03E25型 12E99型 12L99型 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Hickman}，Z.数学。Logik Grundlagen数学。26、471--475（1980年；Zbl 0464.03044） 全文： 内政部
M.贾登。 有限域和p-adic域的传输原理。 （英语） Zbl 0446.12022号 Nieuw拱门。威斯克德。，三、 序列号。 28139-158（1980年）.MSC公司：12L99型 11T99型 11路45号 11S85型 PDF格式BibTeX公司 XML格式引用 \textit｛M.Jarden｝，涅乌拱门。威斯克德。，三、 序列号。28、139--158（1980年；Zbl 0446.12022）
德内夫，J。 代数整数环上的丢番图集。二、。 （英语） Zbl 0426.12009 变速器。美国数学。Soc公司。 257, 227-236 (1980).MSC公司：11卢比80 03D25号 12L99型 2005年11月 11D99号 PDF格式BibTeX公司 XML格式引用 \textit{J.Denef}，翻译。美国数学。Soc.257227--236（1980；Zbl 0426.12009） 全文： 内政部
梅塔基德斯，G。;A.内罗德。 场论的有效内容。 （英语） Zbl 0469.03028号 安。数学。逻辑 17, 289-320 (1979).MSC公司：03D45号 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{G.Metakides}和\textit{A.Nerode}，《数学年鉴》。逻辑17，289--320（1979；Zbl 0469.03028） 全文： 内政部
威廉·惠勒。 场论中量词的合并和消去。 （英语） Zbl 0437.03012号 程序。美国数学。Soc公司。 77, 243-250 (1979).MSC公司：03C60型 03C10号机组 12E05型 13G05年 2006年11月 12月15日 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Wheeler}，程序。美国数学。Soc.77243--250（1979；Zbl 0437.03012） 全文： 内政部
伯托尔德·舒帕 建模为Oretische Untersuchungen zur Galoistheorie von Funktitionkoerpern。（论文）。 （德语） Zbl 0477.12018号 埃森大学Fachbereich 6（Mathematik）。59 S.（1978）。MSC公司：11卢比 11兰特32 03C60型 12-02 12L99型 PDF格式BibTeX公司 XML格式
格雷戈斯·布莱尔;斯坦尼斯劳·米克洛斯 具体词和抽象词的理论。 （波兰语） Zbl 0394.03042号 泽西蒂·诺克。怀兹。Szkoly Ped公司。马特·奥波洛。 20, 63-76 (1978).MSC公司：03D40号 68瓦99 11U99型 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bryll}和\textit{S.Miklos}，Zesz。恶心。怀俄明州。瑞典。教育学。Opolu，材料20，63--76（1978；Zbl 0394.03042）
格拉博夫斯基，M。;克雷茨马尔，A。 实数和复数的动力学理论。 （英语） Zbl 0393.03014号 数学。已找到。计算。科学。1978年，程序。第七交响曲。马萨诸塞州扎科帕内。注释计算。科学。64, 239-249 (1978).MSC公司：03B60号 68问题65 68瓦99 68号01 03B45 第12天99 13升05 12L99型 PDF格式BibTeX公司 XML格式
希克曼，J.L。 Dedekind-finite油田。 （英语） Zbl 0381.03035号 牛市。澳大利亚。数学。Soc公司。 19, 117-124 (1978).MSC公司：03E35号 12E99型 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Hickman}，公牛。澳大利亚。数学。Soc.19，117--124（1978；Zbl 0381.03035） 全文： 内政部
于尔肖夫（Yu Ershov）。L。 Günter阿瑟（编辑） 数字理论IIIÜbersetzung aus dem Russiaschen：汉斯-迪特里希·赫克。Wissenschaftliche修订版：Günter Asser。 （德语） Zbl 0374.02027号 柏林：VEB Deutscher Verlag der Wissenschaften。桑德鲁克与Z.数学。罗奇·格伦德尔。数学。23; 289-371 S.M 15.00（1978）。MSC公司：03Cxx号 03D99号 12L99型 05年6月 03D25号 03C60型 03-02 PDF格式BibTeX公司 XML格式
亚历山大·普雷斯特尔;马丁·齐格勒 拓扑场理论中的模型理论方法。 （英语） Zbl 0367.12014号 J.Reine Angew。数学。 299/300, 318-341 (1978).MSC公司：12L99型 03C60型 12J99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Prestel}和\textit{M.Ziegler}，J.Reine Angew。数学。299/300、318--341（1978；Zbl 0367.12014） 全文： 克雷勒 欧洲DML
于尔肖夫（Yu Ershov）。L。 数字理论。三、。 （德语） Zbl 0374.02028号 Z.数学。Logik Grundlagen数学。 23, 289-371 (1977).MSC公司：03Cxx号 03D25号 03D99号 03C60型 12L99型 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov}，Z.数学。Logik Grundlagen数学。23289--371（1977年；Zbl 0374.02028） 全文： 内政部
肖恩菲尔德，J.R。 字段中的量词消除。 （英语） Zbl 0362.02045号 非经典逻辑，模型理论，计算。，程序。拉丁美洲第三交响乐团。数学。《逻辑学》，坎皮纳斯1976年，《发现逻辑学研究》。数学。第89243-252页（1977年）。 审核人：D.西塞 MSC公司：03C60型 12L99型 03B25号 12升05 PDF格式BibTeX公司 XML格式
弗里德，M。;萨瑟多特，G。 求解一个数域和所有有限域的所有剩余类域上的丢番图问题。 （英语） Zbl 0376.02042号 安。数学。(2) 104, 203-233 (1976).MSC公司：03C60型 03天80 03-04 11T55型 12L99型 12-04 14G99型 2005年11月 11日72 PDF格式BibTeX公司 XML格式引用 \textit{M.Fried}和\textit{G.Sacerdote}，安.数学。（2） 104、203--233（1976年；Zbl 0376.02042） 全文： 内政部 链接
卡塔琳娜·基夫 有限域上可定义的集合：它们的齐塔函数。 （英语） Zbl 0372.02032号 变速器。美国数学。Soc公司。 223, 45-59 (1976).MSC公司：03C60型 11T99型 12L99型 PDF格式BibTeX公司 XML格式引用 \textit｛C.Kiefe｝，翻译。美国数学。Soc.223，45-59（1976；Zbl 0372.02032） 全文： 内政部
安格斯·J·麦金太尔。 关于p-adic域的可定义子集。 （英语） Zbl 0362.02046号 J.塞姆。日志。 41, 605-610 (1976).MSC公司：03C60型 03B25号 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Macintyre}，J.Symb。日志。41、605--610（1976年；Zbl 0362.02046） 全文： 内政部
沃尔克·魏斯芬宁 关于亨塞尔场的基本理论。 （英语） Zbl 0347.02033号 安。数学。逻辑 10, 59-93 (1976).MSC公司：03C60型 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{V.Weispfenning}，Ann.数学。逻辑10，59--93（1976；Zbl 0347.02033） 全文： 内政部
阿德勒（Allan Adler）;卡塔琳娜·基夫 伪有限域、前循环域和模型补全。 （英语） Zbl 0339.02048号 派克靴。数学杂志。 62, 305-309 (1976).MSC公司：03C60型 11T99型 12L99型 03C35号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Adler｝和\textit｛C.Kiefe｝，太平洋地区。数学杂志。62305-309（1976年；Zbl 0339.02048） 全文： 内政部
威尔弗里德·霍奇斯 关于一些现场建设的有效性。 （英语） 兹伯利0325.12105 程序。伦敦。数学。Soc.，III.系列。 32, 133-162 (1976). 审核人：威尔弗里德·霍奇斯 MSC公司：12L99型 03C60型 13升05 03E25型 03C75号 13月15日 12月15日 2005年12月 10楼12号 12月10日 PDF格式BibTeX公司 XML格式引用 \textit{W.Hodges}，程序。伦敦。数学。Soc.（3）32，133--162（1976；Zbl 0325.12105） 全文： 内政部
威尔弗里德·霍奇斯 Q的Lauchli代数闭包。 （英语） Zbl 0324.02058号 数学。程序。外倾角。菲洛斯。Soc公司。 79, 289-297 (1976).MSC公司：03E25型 03C60型 12L99型 11卢比80 PDF格式BibTeX公司 XML格式引用 \textit{W.Hodges}，数学。程序。外倾角。菲洛斯。Soc.79289--297（1976；Zbl 0324.02058） 全文： 内政部 反向链接： 卫生官员
沃尔克·魏斯芬宁 结构子直积的模型完整性和量词的消除。 （英语） Zbl 0318.02052号 J.代数 36, 252-277 (1975).MSC公司：03C60型 03C68型 13升05 12L99型 2005年12月 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{V.Weispfenning}，J.代数36，252--277（1975；Zbl 0318.02052） 全文： 内政部
乔治·柯林斯。 用柱面代数分解法消除实闭域的量词。 （英语） Zbl 0318.02051号 自动。西奥。兰格，第二届GI Conf.，凯泽斯劳滕1975，莱克托。注释计算。科学。33, 134-183 (1975).MSC公司：03C60型 11卢比80 12L99型 03G15年 65年第68季度 68瓦99 PDF格式BibTeX公司 XML格式
科恩，P.M。 自由字段的单词问题：更正和补遗。 （英语） Zbl 0298.02044号 J.塞姆。日志。 40, 69-74 (1975).MSC公司：03D40号 12L99型 1600万 PDF格式BibTeX公司 XML格式引用 \textit{P.M.科恩}，J.塞姆。日志。40、69——74（1975年；Zbl 0298.02044） 全文： 内政部
阿兰·埃斯卡苏特 巴纳赫超三人组、克拉斯纳美术馆和克拉斯纳泰特美术馆。 （法语） 兹伯利0312.12104 牛市。社会数学。Fr.、Suppl.、MéM。 39-40, 39-54 (1974).MSC公司：12月10日 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Escassut}，公牛。社会数学。Fr.、Suppl.、MéM。39-40、39-54（1974年；Zbl 0312.12104） 全文： Numdam编号 欧洲DML
卡罗尔·伍德 特征微分场的素数模型扩展（p\neq 0）。 （英语） Zbl 0311.02064号 J.塞姆。日志。 39, 468-477 (1974).MSC公司：03C60型 2005年12月 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Wood}，J.Symb。日志。39、468--477（1974年；Zbl 0311.02064） 全文： 内政部
凯斯勒，H.杰罗姆 单调完整字段。 （英语） Zbl 0289.02040号 维多利亚交响乐团。不支持。分析，维多利亚大学，1972年，Lect。数学笔记。369, 113-115 (1974).MSC公司：99年3月 12升15 12月15日 12L99型 PDF格式BibTeX公司 XML格式
莫什·贾登 一种抽象代数变体的内射有理映射。 （英语） Zbl 0275.14001号 J.Reine Angew。数学。 265, 23-30 (1974).MSC公司：14A10号 14E05号 12L99型 14国集团15 PDF格式BibTeX公司 XML格式引用 \textit{M.Jarden}，J.Reine Angew。数学。265、23--30（1974年；Zbl 0275.14001） 全文： 内政部 克雷勒 欧洲DML
丹尼尔·伯特朗 Le theéorème d'Ax et Kochen。 （法语） Zbl 0287.12022号 1972年至1973年，波尔多大学，Sem.Theorye Nombres，Expose No.10，2 p.（1973）。MSC公司：11秒05 12E05型 12L99型 03C60型 PDF格式BibTeX公司 XML格式 全文： 欧洲DML
J.Mlcek。 皮亚诺算法模型的表示。 （英语） Zbl 0284.02029号 评论。数学。卡罗尔大学。 14, 553-558 (1973).MSC公司：03C60型 1999年12月 PDF格式BibTeX公司 XML格式引用 \textit{J.Mlcek}，评论。数学。卡罗尔大学。14、553--558（1973；Zbl 0284.02029） 全文： 欧洲DML
卡罗尔·伍德 特征微分场模型理论。 （英语） Zbl 0273.02039号 程序。美国数学。Soc公司。 40, 577-584 (1973).MSC公司：03C60型 2005年12月 03C68型 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Wood}，程序。美国数学。Soc.40577--584（1973；Zbl 0273.02039） 全文： 内政部
科恩，P.M。 自由字段的单词问题。 （英语） Zbl 0273.02027号 J.塞姆。日志。 38, 309-314 (1973).MSC公司：03D40号 1600万 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{P.M.科恩}，J.塞姆。日志。38、309--314（1973；Zbl 0273.02027） 全文： 内政部
约翰·斯台普斯 建设领域的公理。 （英语） Zbl 0253.02028号 牛市。澳大利亚。数学。Soc公司。 8, 221-232 (1973).MSC公司：03F99型 1999年12月 第12天99 PDF格式BibTeX公司 XML格式引用 \textit{J.Staples}，公牛。澳大利亚。数学。Soc.8221-232（1973年；兹bl 0253.02028） 全文： 内政部
莫里斯·博法;保罗·范普拉格 一般兵团。 （法语） Zbl 0291.02038号 C.R.学院。科学。，巴黎，Sér。A类 274, 1325-1327 (1972).MSC公司：03C60型 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Boffa}和\textit{P.Van Praag}，C.R.Acad。科学。，巴黎，Sér。A 2741325-1327（1972；Zbl 0291.02038）
莫里斯·博法;保罗·范普拉格 sous-champs maximaux des corps generiques值得纪念。 （法语） Zbl 0286.02061号 C.R.学院。科学。，巴黎，Sér。A类 275, 945-947 (1972).MSC公司：03C60型 12层20 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Boffa}和\textit{P.Van Praag}，C.R.Acad。科学。，巴黎，Sér。A 275945--947（1972年；Zbl 0286.02061）
莫里斯·博法 存在于军团的宇宙中。 （法语） Zbl 0257.02044号 C.R.学院。科学。，巴黎，Sér。A类 275, 1267-1268 (1972).MSC公司：03C60型 12L99型 PDF格式BibTeX公司 XML格式引用 \文本{M.Boffa}，C.R.Acad。科学。，巴黎，Sér。A 2751267-1268（1972年；Zbl 0257.02044）
库尔特·豪希尔德 在科尔珀托里定义市场问题。 （德语） Zbl 0301.02058号 威斯。洪堡大学柏林分校数学系-自然。R。 1673-674年（1967年）.MSC公司：03C60型 12L99型 03C35号 PDF格式BibTeX公司 XML格式引用 \威斯康星州textit{K.Hauschild}。洪堡大学柏林分校数学系-自然。R.16，673--674（1967；Zbl 0301.02058）
于尔肖夫（Yu Ershov）。L。 关于极大赋范域的基本理论。三、。 （俄语） Zbl 0159.34002号 代数逻辑卡 6，第3号，31-38（1967）. 审核人：亚历山德鲁·布列祖列努（布库雷什蒂） MSC公司：12升05 12J05型 03B25号 03C60型 12L99型 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov}，代数逻辑学6，No.3，31-38（1967；Zbl 0159.34002） 全文： 链接