卡塔斯、康斯坦蒂诺斯 自由场渐近理论的一个不可判定性结果。 (英语) Zbl 1516.12002年 Ann.纯粹应用。逻辑 174,第2号,文章ID 103203,第13页(2023). 审核人:Xavier Vidaux(康塞普西翁) MSC公司:12升05 12月10日 03C60型 03第35页 PDF格式BibTeX公司 XML格式引用 \textit{K.Kartas},Ann.纯粹应用。逻辑174,第2号,文章ID 103203,13页(2023;Zbl 1516.12002) 全文: 内政部 arXiv公司
亚历山德拉·施拉彭托克;卡洛斯·维德拉 无限代数扩张中的可定义性和可判定性。 (英语) Zbl 1352.12006年 Ann.纯粹应用。逻辑 165,编号7-8,1243-1262(2014).MSC公司:12升05 12升12 03C30号 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Shlapentokh}和\textit{C.Videla},Ann.纯苹果。逻辑165,No.7--8,1243--1262(2014;Zbl 1352.12006) 全文: 内政部 arXiv公司
马克西姆·维塞米尔诺夫 多项式环的Woods-Erdös猜想。 (英语) Zbl 0999.12015号 Ann.纯粹应用。逻辑 113,编号1-3,331-344(2002). 审核人:G.佩斯托夫(托木斯克) MSC公司:12升05 12E05型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Vsemirnov},Ann.《纯粹的应用》。逻辑113,编号1--3,331--344(2002;Zbl 0999.12015) 全文: 内政部
尼古拉·科索夫斯基 有理数域无量词非负理论的计算复杂性。 (英语) Zbl 0988.03061号 Ann.纯粹应用。逻辑 113,编号1-3,175-180(2002).MSC公司:2015年3月1日 03B25号 12升05 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kossovski},Ann.纯粹应用。逻辑113,编号1--3,175-180(2002;Zbl 0988.03061) 全文: 内政部
帕斯卡·科伊兰;娜塔莎·波特 一般曲线的前后系统和极限理论的决策算法。 (英语) Zbl 0985.03024号 Ann.纯粹应用。逻辑 111,第3期,257-275(2001). 审核人:Oleg V.Belegradek(伊斯坦布尔) MSC公司:03C60型 12升05 PDF格式BibTeX公司 XML格式引用 \textit{P.Koiran}和\textit{N.Portier},Ann.纯应用。逻辑111,No.3,257--275(2001;Zbl 0985.03024) 全文: 内政部
亚哈龙·拉宗 无(e)PAC域的基本理论。 (英语) Zbl 0980.03009号 Ann.纯粹应用。逻辑 103,编号1-3,55-95(2000). 审核人:T.Pheidas(伊拉克利翁) MSC公司:03B25号 03C60型 12升12 12升05 12升10 PDF格式BibTeX公司 XML格式引用 \textit{A.Razon},Ann.纯应用程序。逻辑103,编号1--3,55-95(2000;Zbl 0980.03009) 全文: 内政部
查齐达基斯,佐伊 有限域和伪有限域的模型理论。 (英语) Zbl 0924.12006号 Ann.纯粹应用。逻辑 88,编号2-3,95-108(1997). 审核人:A.Prestel(康斯坦兹) MSC公司:12升12 03C60型 12升05 12月20日 11单元09 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chatzidakis},Ann.纯苹果。逻辑88,编号2--3,95-108(1997;Zbl 0924.12006) 全文: 内政部
亚历山德拉·施拉彭托克 全球范围内的合理可分性。 (英语) Zbl 0857.12004号 Ann.纯粹应用。逻辑 79,第1期,93-108(1996). 审核人:D.Busneag(克雷奥瓦) MSC公司:12升05 03D45号 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{A.Shlapentokh},Ann.纯应用。逻辑79,No.1,93--108(1996;Zbl 0857.12004) 全文: 内政部
于尔肖夫(Yu Ershov)。L。 具有较小绝对Galois群的RRC字段。 (英语) Zbl 0691.12012号 Ann.纯粹应用。逻辑 第43期,第2期,197-208年(1989年). 审核人:D.布斯内格 MSC公司:12升05 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov},Ann.纯应用。逻辑43,No.2,197--208(1989;Zbl 0691.12012) 全文: 内政部
格雷戈里·切尔林;莫什·贾登 PAC领域中一些基本理论的不确定性。 (英语) Zbl 0591.03021号 Ann.纯粹应用。逻辑 30, 137-163 (1986).MSC公司:03第35页 12升05 PDF格式BibTeX公司 XML格式引用 \textit{G.Cherlin}和\textit{M.Jarden},Ann.纯应用。逻辑30,137--163(1986;Zbl 0591.03021) 全文: 内政部