沙赫里亚里,M。 关于代数的几何等价。 (英语) Zbl 07780212号 Ann.纯粹应用。逻辑 175,第2号,文章ID 103386,第6页(2024).MSC公司:03C99号 08A99年 14A99号 PDF格式BibTeX公司 XML格式引用 \textit{M.Shahryari},Ann.纯苹果。逻辑175,第2号,文章ID 103386,6页(2024;Zbl 07780212) 全文: 内政部
莱昂纳多·科雷格里亚诺。;玛丽安·马利亚利斯 通过可交换性实现高集成PAC学习。 arXiv公司:2402.14294 预印本,arXiv:2402.14294[cs.LG](2024)。MSC公司:68问题32 60F05型 2015年1月60日 03C99号 BibTeX公司 引用 \textit{L.N.Coregliano}和\textit{M.Malliaris},“通过可交换性进行高完整性PAC学习”,预打印,arXiv:2402.14294[cs.LG](2024) 全文: arXiv公司 OA许可证
王毅恒;林哲;Ju,Shier先生 时间和公开信息的逻辑。 (英语) Zbl 07823014号 Bentzen,Bruno(编辑)等人,《人工智能和法律的逻辑》。2023年9月8日至9日和11日至12日,中国杭州,第三届新一代人工智能逻辑国际研讨会和逻辑、人工智能和法律国际研讨会联合会议记录。伦敦:学院出版物。93-109 (2023).MSC公司:68T27型 03C99号 60升90 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人,in:人工智能和法律的逻辑。第三届新一代人工智能逻辑国际研讨会和逻辑、人工智能和法律国际研讨会联合会议记录,2023年9月8日至9日和11日至12日,中国杭州。伦敦:学院出版物。93-109(2023;Zbl 07823014) 全文: 链接
克拉克斯,拉夫;伊曼纽尔·哈卢普乔克;西尔维·里道·基库奇;弗罗里斯·弗默伦 Hensel极小性II:混合特征和丢番图应用。 (英语) Zbl 07753224号 论坛数学。西格玛 11,论文编号e89,33 p.(2023).MSC公司:03C99号 14G05年 03C65型 12J20型 11国集团50 11天88 03C98号 14E18号 41A58型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cluckers}等人,《论坛数学》。Sigma 11,论文编号e89,33 p.(2023;Zbl 07753224) 全文: 内政部 arXiv公司 OA许可证
戈因纳,丹尼尔;吉列尔莫·巴迪亚;托马斯·科瓦尔斯基 带刚性符号的混合动态一阶逻辑省略类型定理。 (英语) Zbl 07637218号 Ann.纯粹应用。逻辑 174,第3号,文章ID 103212,41页(2023).MSC公司:03C25号 03B45号 03C99号 03C95号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gin}等人,《Ann.Pure Appl.》。逻辑174,第3号,文章ID 103212,41页(2023;Zbl 07637218) 全文: 内政部 arXiv公司
阿列克谢·巴苏科夫 二进制保护单音SNP的遏制。 arXiv:2310.1254 预打印,arXiv:2310.1254[cs.LO](2023)。MSC公司:03C99号 10年5月 第68页,共15页 BibTeX公司 引用 \textit{A.Barsukov},“二进制保护单音SNP的遏制”,预印本,arXiv:2310.01254[cs.LO](2023) 全文: arXiv公司 OA许可证
迈克尔·格兰茨伯格 模型、模型理论和建模。 (英语) Zbl 1528.03032号 Gil Sagi(编辑)等人,《逻辑的语义概念》。关于结果、不变性和意义的论文。剑桥:剑桥大学出版社。209-226 (2021).MSC公司:03A05号 03B65号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{M.Glanzberg},in:逻辑的语义概念。关于结果、不变性和意义的论文。剑桥:剑桥大学出版社。209-226(2021年;兹bl 1528.03032) 全文: 内政部 链接
卢卡·蒂门斯;Dana S.斯科特。;克里斯托夫·本兹穆勒;米罗斯拉夫·本达 计算机支持的类模型分类公理化探索。 (英语) Zbl 1509.68328号 Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12062, 302-317 (2020).MSC公司:68V20型 03B35型 03C07号机组 03C99号 18甲15 2018年20月 PDF格式BibTeX公司 XML格式引用 \textit{L.Tiemens}等人,Lect。注释计算。科学。12062、302-317(2020年;Zbl 1509.68328) 全文: 内政部 arXiv公司
牛顿·C·A·达·科斯塔。;德西奥·克劳斯 结构类的Suppes谓词和可运输性的概念。 (英语) Zbl 1487.03055号 科斯塔·莱特(Costa-Leite),亚历山大(Alexandre)(编辑),《抽象结果与逻辑》。纪念Edelcio G.de Souza的论文。伦敦:学院出版物。悼念4279-97(2020)。MSC公司:03C99号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{N.C.A.da Costa}和\textit{D.Krause},《致敬》42,79-97(2020;Zbl 1487.03055)
Jean-Yves贝齐奥 从模型理论的角度看逻辑结构。 (英语) Zbl 1487.03054号 科斯塔·莱特(Costa-Leite),亚历山大(Alexandre)(编辑),《抽象结果与逻辑》。纪念Edelcio G.de Souza的论文。伦敦:学院出版物。致敬42,3-16(2020)。MSC公司:03C99号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Beziau},《致敬》42,3--16(2020;Zbl 1487.03054)
丽贝卡·库尔森 直径为3的一般二部图:它们的年龄和几乎必然理论。 arXiv:2004.14432号 预印本,arXiv:2004.14432[math.LO](2020)。MSC公司:05年5月 03C99号 BibTeX公司 引用 \textit{R.Coulson},“直径为3的一般二部图:它们的年龄和几乎确定的理论”,预印本,arXiv:2004.14432[math.LO](2020) 全文: arXiv公司 OA许可证
Ali N.瓦利扎德。;马苏德普尔马迪安 某些泛型图的严格超稳定性和可判定性。 (英语) Zbl 07125898号 牛市。伊朗。数学。Soc公司。 第45号,第6期,1839-1854(2019).MSC公司:03C99号 05C63号 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Valizadeh}和\textit{M.Pourmahdian},公牛。伊朗。数学。Soc.45,No.6,1839--1854(2019;Zbl 07125898) 全文: 内政部 arXiv公司
大村,广岛 将几何图形除以0。 (英语) 兹伯利1412.02011 国际几何杂志。 7、1号、17-20(2018).MSC公司:01A27号 03C99号 2004年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{H.Okumura},国际地理杂志。7、1号、17--20(2018;Zbl 1412.01011) 全文: arXiv公司
帕特里克·斯皮塞格 拟解析伊利亚申科代数。 (英语) Zbl 1397.14073号 可以。数学杂志。 70,第1期,218-240(2018). 审核人:Zofia Denkowska(愤怒) MSC公司:第14页,共15页 03C99号 30埃15 37D99型 30D60毫米 PDF格式BibTeX公司 XML格式引用 \textit{P.Speissegger},可以。数学杂志。70,第1号,218--240(2018;Zbl 1397.14073) 全文: 内政部 arXiv公司
勘误表为:“阿贝尔群的新度谱”和“判别等级:不可分辨性、对称性和相对性”。 (英语) Zbl 1453.03045号 圣母院J.形式逻辑 59,第1期,135-138(2018).MSC公司:03D45号 03C57号 20K20码 00A30型 03C40号 03C99号 PDF格式BibTeX公司 XML格式引用 圣母院J.形式逻辑59,No.1,135--138(2018;Zbl 1453.03045) 全文: 内政部 欧几里得
蒂姆·巴顿 辨别等级:不可分辨性、对称性和相对性。 (英语) 兹比尔1386.00057 圣母院J.形式逻辑 58,第4期,527-553(2017); 勘误表同上,第59号,第1期,第135-138页(2018年)。MSC公司:00A30型 03C40号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{T.Button},圣母院J.形式逻辑58,No.4,527--553(2017;Zbl 1386.00057) 全文: 内政部 arXiv公司 链接
巴勃罗Cubides Kovacsics;Nguyen、Kien Huu A \(p \)-没有可定义的Skolem函数的最小结构。 (英语) 兹伯利1434.03097 J.塞姆。日志。 82,No.2,778-786(2017).MSC公司:03C64号 03C99号 12月12日 12J25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cubides Kovacsics}和\textit{K.H.Nguyen},J.Symb。日志。82,No.2,778--786(2017;Zbl 1434.03097) 全文: 内政部 arXiv公司
季米特里斯·泽门齐斯 高级结构同一性原理。 arXiv:1702.07776 预印本,arXiv:170200776[math.LO](2017)。MSC公司:03G99型 03B15号机组 03B22号 03C99号 BibTeX公司 引用 \textit{D.Tsementzis},“高级结构身份原则”,预印本,arXiv:1702.07776[math.LO](2017) 全文: arXiv公司 OA许可证
托马斯·伊巴鲁西亚 Roelcke预紧波兰群的动态层次结构。 (英语) Zbl 1377.54044号 以色列。数学杂志。 215,第2期,965-1009(2016). 审核人:K.P.Hart(代尔夫特) MSC公司:54H20个 03B99号 03C99号 46B99型 46埃15 37B05型 37C85号 PDF格式BibTeX公司 XML格式引用 \textit{T.Ibarlucía},以色列。数学杂志。215,第2号,965--1009(2016;Zbl 1377.54044) 全文: 内政部 arXiv公司 哈尔
季米特里斯·泽门齐斯 同构一阶逻辑。 arXiv:1603.03092 预印本,arXiv:1603.03092[math.LO](2016)。MSC公司:03G99型 03B15号机组 03B22号 03C99号 BibTeX公司 引用 \textit{D.Tsementzis},“带同构的一阶逻辑”,预打印,arXiv:1603.03092[math.LO](2016) 全文: arXiv公司 OA许可证
Shahryari,M。 紧代数的一个新特征。 arXiv:1508.00325 预印本,arXiv:1508.00325[math.LO](2015)。MSC公司:03C99号 08A99年 14A99号 BibTeX公司 引用 \textit{M.Shahryari},“$q_{\omega}$-紧代数的一个新特征”,Preprint,arXiv:1508.00325[math.LO](2015) 全文: arXiv公司 OA许可证
爱丽丝·勒布 统一模型理论和逻辑的普遍主义传统:卡纳普早期的公理学。 (英语) Zbl 1310.03007号 合成 191,第12号,2815-2833(2014).MSC公司:03A05号 03B15号机组 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{I.Loeb},Synthese 191,No.12,2815--2833(2014;Zbl 1310.03007) 全文: 内政部
Jean Berthet 正模型理论和无限逻辑。 arXiv:1403.2540 预印本,arXiv:1403.2540[math.LO](2014)。MSC公司:03C99号 BibTeX公司 引用 \textit{J.Berthet},“正模型理论与无穷逻辑”,预印本,arXiv:1403.2540[math.LO](2014) 全文: arXiv公司 OA许可证
格哈德·帕斯曼。 关于《超恒等式与克隆》中的两个问题。 arXiv:1408.2784 预印本,arXiv:1408.2784[math.LO](2014)。MSC公司:2005年5月20日 03B99号 03C99号 BibTeX公司 引用 \textit{G.R.Paseman},“关于“超恒等式和克隆”中的两个问题”,预打印,arXiv:1408.2784[math.LO](2014) 全文: arXiv公司 OA许可证
维莱姆,诺瓦克 高阶模糊逻辑中的模型理论要素。 (英语) Zbl 1283.03052号 模糊集系统。 205, 101-115 (2012). 审核人:齐格弗里德·戈特瓦尔德(莱比锡) MSC公司:03B52号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{V.Novák},模糊集系统。205、101--115(2012;Zbl 1283.03052) 全文: 内政部
奥利维亚·卡拉梅尔 平面函子的Yoneda表示和拓扑分类。 (英语) Zbl 1291.18003号 理论应用。类别。 26338-553(2012年). 审核人:迪米特鲁·布什内格(克雷奥瓦) MSC公司:18对25 03G30型 18立方厘米 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{O.Caramello},理论应用。类别。26538-553(2012年;Zbl 1291.18003) 全文: arXiv公司 EMIS公司
安托万·多克罗斯 《贝尔科维奇歌曲集》(Les espaces de Berkovich sont modérés)、《达普拉斯·E·赫鲁晓夫斯基和F·洛伊瑟》(d'après E.Hrushovski et F.Loeser)。 arXiv公司:1210.4336 预印本,arXiv:1210.4336[math.AG](2012)。MSC公司:03C64号 03C65型 03C99号 14国道22号 BibTeX公司 引用 \textit{A.Ducros},“Les espaces de Berkovich sont mod’es,d'apr’es E.Hrushovski et F.Loeser”,预印本,arXiv:1210.4336[math.AG](2012) 全文: arXiv公司 OA许可证
维拉·科波宁 撤回:关于非紧逻辑的注释。 arXiv:1207.4067 预印本,arXiv:1207.4067[math.LO](2012);撤回通知同上。MSC公司:03B99号 03C99号 BibTeX公司 引用 \textit{V.Koponen},“撤回:关于非紧逻辑的注释”,预打印,arXiv:1207.4067[math.LO](2012);撤回通知同上。 全文: arXiv公司 OA许可证
加布里埃尔·洛利 [意大利卡尔维诺] 关于数学的论述。伊塔洛·卡尔维诺的《美国演讲》概览。(Discorso sulla matematica。Una rilettura delle“Lezioni Americane”di Italo Calvino) (意大利语) Zbl 1258.00002号 特米200。都灵:Bollati Boringhieri(ISBN 978-88-339-2193-8)。第226页。(2011). 审核人:大卫·邦多尼(安福) MSC公司:00A30型 01A55号 01A60型 03A05号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{G.Lolli},Discorso sulla matematica。意大利卡尔维诺语(意大利语)中的“Lezioni Americane”。都灵:Bollati Boringhieri(2011;Zbl 1258.00002)
贝琳达·特罗塔 自反、反对称有向图的剩余性质。 (英语) Zbl 1226.05128号 休斯顿数学杂志。 37,第1期,第27-46页(2011年).MSC公司:05C20号 05C75号 2006年6月 75年6月 22A30型 08C15号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{B.Trotta},休斯顿数学杂志。37,第1号,第27-46号(2011;Zbl 1226.05128) 全文: 链接
狮子,Jean-Marie;帕特里克·斯皮塞格 嵌套子Pfaffian集的补定理。 (英语) Zbl 1226.14075号 杜克大学数学。J。 155,第1期,35-90(2010). 审核人:兹比格尼乌·哈伊托(克拉科夫) MSC公司:第14页 第58页第17页 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Lion}和\textit{P.Speissegger},杜克数学。J.155,第1号,35--90(2010;Zbl 1226.14075) 全文: 内政部 arXiv公司
伊曼纽尔·哈卢普乔克 \(p\)-adics上可定义集的树。 (英语) Zbl 1202.14023号 J.Reine Angew。数学。 642, 157-196 (2010). 审核人:乔纳森·皮拉(牛津) MSC公司:14G20(二十国集团) 03C99号 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{I.Halupczok},J.Reine Angew。数学。642157-196(2010年;Zbl 1202.14023) 全文: 内政部 arXiv公司
Ng、Siu-Ah Lévy处理一阶模型。 (英语) Zbl 1194.03057号 数学。日志。问:。 56,第3期,310-322(2010). 审核人:Isaac Goldbring(洛杉矶) MSC公司:05年3月 03C99号 60G51型 PDF格式BibTeX公司 XML格式引用 \textit{S.-A.Ng},数学。日志。问题56,第3号,310-322(2010年;兹bl 1194.03057) 全文: 内政部 arXiv公司
富利亚·霍罗扎尔;弗洛里安·拉贝 在类型理论逻辑框架中表示模型理论。 (英语) Zbl 1291.03068号 Ayala-Rincón,Mauricio(编辑)等人,《逻辑和语义框架及其应用第四次研讨会论文集》(LSFA 2009),巴西巴西利亚,2009年8月28日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记256,49-65(2009)。MSC公司:03B70号 03B10号机组 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{F.Horozal}和\textit{F.Rabe},电子。注释Theor。计算。科学。256、49-65(2009年;Zbl 1291.03068) 全文: 内政部
马修·麦考利;布莱恩·拉伯恩;兰登·拉伯恩 Heine-Borel定理的新证明。 arXiv公司:0808.0844 预印本,arXiv:0808.0844[math.HO](2008)。MSC公司:54E45型 03C99号 03财年03 BibTeX公司 引用 \textit{M.Macauley}等人,“Heine-Borel定理的新证明”,预印本,arXiv:0808.0844[math.HO](2008) 全文: arXiv公司 OA许可证
洛朗·莫特·贝利 环中非零的存在可定义性。(《金融监管条例》(Sur la définisabilitéexistentielle de la non-numtédans les anneaux) (法语。英文摘要) 兹比尔1158.13303 代数数论 1,第3号,331-346(2007).MSC公司:13个B40 11单元09 13月15日 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{L.Moret-Bailly},代数数论1,第3期,331--346(2007;Zbl 1158.13303) 全文: 内政部
北卡罗来纳州达科斯塔。;罗德里格斯,A.A.M。 可定义性和不变性。 (英语) Zbl 1125.03030号 螺柱日志。 86,第1期,1-30页(2007年).MSC公司:03C99号 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{N.C.A.da Costa}和\textit{A.A.M.Rodrigues},Stud.Log。86,第1号,1--30(2007;Zbl 1125.03030) 全文: 内政部
洛朗·莫特·贝利 《最终协议》存在于《非法定协议》中。 arXiv:0707.4449 预打印,arXiv:0707.4449[math.AC](2007)。MSC公司:13E05号 13月15日 13个B40 11单元09 03C99号 BibTeX公司 引用 \textit{L.Moret Bailly},“Sur la d‘finissabilit‘e existintelle de la non-nullit‘e dans les anneaux”,预印本,arXiv:0077.4449[math.AC](2007) 全文: arXiv公司
刘福春 模型理论的语义和基于模糊逻辑进一步扩展的逻辑编程不动点。 (中文。英文摘要) Zbl 1333.03046号 模糊系统。数学。 20,第2号,28-33(2006).MSC公司:03B52号 68N17号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{F.C.Liu},模糊系统。数学。20,第2号,第28--33条(2006;Zbl 1333.03046)
萨拉、撒哈拉;亚历克斯·乌斯维亚佐夫 Banach空间和群-序属性和通用模型。 (英语) Zbl 1145.46013号 以色列。数学杂志。 152, 245-270 (2006). 审核人:洛伦斯·哈贝森(伯尔尼) MSC公司:46B99型 20A99年 03C99号 PDF格式BibTeX公司 XML格式引用 \以色列,textit{S.Shelah}和\textit{A.Usvyatsov}。数学杂志。152245--270(2006;Zbl 1145.46013) 全文: 内政部 arXiv公司
威廉·泰特(William W.Tait)。 经典数学的证明理论语义。 (英语) Zbl 1104.03059号 合成 148,第3期,603-622(2006). 审核人:M.Yasuhara(普林斯顿) MSC公司:03财年03 03C99号 03B15号机组 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{W.W.Tait},《合成》148,第3期,第603页--622页(2006年;Zbl 1104.03059) 全文: 内政部
D.M.埃文斯。;P.R.休伊特。 超有限模上置换群的连续上同调。 (英语) 2009年2月1092日 Commun公司。代数 34,第4期,1251-1264(2006). 审核人:胡安·安东尼奥·佩雷斯(萨卡特卡斯) MSC公司:22E41型 20B27型 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Evans}和\textit{P.R.Hewitt},公社。《代数》34,第4期,1251--1264(2006;Zbl 1092.22009) 全文: 内政部 链接
马俊海;任彪;陈玉树 复杂系统中混沌排斥器动态特性的分析与应用研究。 (英语) Zbl 1144.68386号 申请。数学。机械。,英语。预计起飞时间。 26,第4期,449-456(2005).MSC公司:68瓦99 32H50型 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{J.-H.Ma}等人,应用。数学。机械。,英语。第26版,第4期,449--456(2005;Zbl 1144.68386) 全文: 内政部
格雷戈里·切尔林 每行最多有五个点的局部有限广义四边形。 (英语) Zbl 1078.51003号 离散数学。 291,编号1-3,73-79(2005). 审核人:Ana Pereira do Vale(布拉加) MSC公司:第51页,共12页 10年5月 05B25号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{G.Cherlin},离散数学。291,编号1--3,73-79(2005;Zbl 1078.51003) 全文: 内政部
博尔祖艾,R.A。;Y.B.六月。 超BCK-代数的直觉模糊超BCK理想。 (英语) Zbl 1202.03046号 伊朗。J.模糊系统。 1,第1期,65-78(2004).MSC公司:03C99号 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Borzooei}和\textit{Y.B.Jun},伊朗。J.模糊系统。1,编号1,65--78(2004;Zbl 1202.03046)
塔博尔·贝克 预切型理论。 (英语) Zbl 1072.03039号 J.塞姆。日志。 69,第3期,923-934(2004). 审核人:彼得·约翰斯通(剑桥) MSC公司:03G30型 03C99号 18对25 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Beke},J.Symb。日志。69,第3号,923--934(2004;Zbl 1072.03039) 全文: 内政部
V·麦基。 塔斯基令人震惊的存在主义假设。 (英语) Zbl 1098.03014号 合成 142,第3期,371-387(2004). 审核人:埃利奥特·门德尔森(法拉盛)(MR2118064(2005j:03008)) MSC公司:03A05号 03-03 01A60型 03B99号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{V.McGee},Synthese 142,No.3,371--387(2004;Zbl 1098.03014) 全文: 内政部
阿娜·海伦娜·罗克 关于因子分解系统和容许Galois结构。 (英语) Zbl 1064.18001号 Janelidze,George(编辑)等人,伽罗瓦理论,Hopf代数和半交换范畴。2002年9月23日至28日,加拿大安大略省多伦多市,关于世系和伽罗瓦理论、霍普夫代数和半交换范畴的范畴结构研讨会论文。(国际标准图书编号0-8218-3290-5/hbk)。菲尔德研究所通信43,463-467(2004)。MSC公司:18A32飞机 18个40 08C99号 03C99号 10楼12号 PDF格式BibTeX公司 XML格式引用 \textit{A.H.Roque},Fields Inst.Commun公司。43、463--467(2004年;Zbl 1064.18001)
塔帕尼·海蒂宁 模型理论——那是什么? (英语) Zbl 1065.03500号 Abel,Mati(编辑),FinEst Math 2002。数学的最新发展。2002年5月27日至29日,爱沙尼亚塔林,第1届芬兰-伊斯顿学术讨论会论文集,FinEst Math 2002。塔尔图:爱沙尼亚数学学会(ISBN 9985-9444-3-7/pbk)。数学研究(Tartu)2,51-57(2004)。MSC公司:03-01 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{T.Hyttinen},数学。塔尔图螺柱2,51-57(2004;Zbl 1065.03500)
理查德·扎克 高度树和arity树上量化命题直觉逻辑和S4的可判定性\(\leq\omega\)。 (英语) Zbl 1054.03011号 J.菲洛斯。日志。 33,第2期,155-164(2004). 审核人:M.Yasuhara(普林斯顿) MSC公司:03B25号 03B20型 03B45号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{R.Zach},J.Philos。日志。33,第2号,155--164(2004;Zbl 1054.03011) 全文: 内政部 arXiv公司
穆萨,拉希姆 复杂解析几何中的喷射空间:一个阐述。 arXiv:math/0405563 预印本,arXiv:math/0405563[math.LO](2004)。MSC公司:32立方厘米 03C99号 BibTeX公司 引用 \textit{R.Moosa},“复杂解析几何中的Jet空间:一个阐述”,预印本,arXiv:math/0405563[math.LO](2004) 全文: arXiv公司
D.M.克拉克。;戴维,文学学士。;M.哈维亚尔。;可怜的是,J.G。;M.R.塔卢克。 标准拓扑拟变量。 (英语) 兹比尔1141.08301 休斯顿数学杂志。 29,第4期,859-887(2003).MSC公司:08C15号 03C99号 06年50月 22A30型 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Clark}等人,休斯顿数学杂志。29,第4号,859--887(2003;Zbl 1141.08301)
巴拉泰拉,S。;Ng,S.-A.(南澳大利亚州)。 Banach空间的模型理论性质。 (英语) Zbl 1014.46051号 Sunada,Toshikazu(编辑)等人,《2000年第三届亚洲数学会议论文集》,菲律宾迪利曼,菲律宾大学,2000年10月23日至27日。新加坡:世界科学。17-37 (2002). 审核人:尤金·托卡列夫(哈尔科夫) MSC公司:46S99型 03C99号 47时10分 PDF格式BibTeX公司 XML格式引用 \textit{S.Baratella}和\textit{S.A.Ng},《2000年第三届亚洲数学会议论文集》,菲律宾迪利曼菲律宾大学,2000年10月23-27日。新加坡:世界科学。17-37(2002年;Zbl 1014.46051)
维莱姆,诺瓦克 模糊理论的联合一致性。 (英语) Zbl 1019.03020号 数学。日志。问:。 48,第4期,563-573(2002). 审核人:齐格弗里德·约翰内斯·戈特瓦尔德(莱比锡) MSC公司:03B52号 03B50 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{V.Novák},数学。日志。问48,第4号,563--573(2002;Zbl 1019.03020) 全文: 内政部
罗西基,J。;阿达梅克,J。;F.博尔塞克斯。 更多关于局部表示类别中的内射性。 (英语) Zbl 0993.18006号 理论应用。类别。 10, 148-161 (2002). 审核人:Y.Diers(Faches-Thumesnil) MSC公司:18立方厘米 03C99号 18A30型 18G05年 PDF格式BibTeX公司 XML格式引用 \textit{J.Rosicky}等人,理论应用。类别。10148--161(2002;Zbl 0993.18006) 全文: 欧洲DML EMIS公司
Hébert,M。;J·罗西克。 不可数正交性是一个闭包性质。 (英语) Zbl 1031.18004号 牛市。伦敦。数学。Soc公司。 33,第6号,685-688(2001). 审核人:Y.Diers(Faches-Thumesnil) MSC公司:18立方厘米35 03G30型 03C99号 18个40 PDF格式BibTeX公司 XML格式引用 \textit{M.Hébert}和\textit{J.Rosick´},公牛。伦敦。数学。Soc.33,No.6,685--688(2001;Zbl 1031.18004) 全文: 内政部
蒂莫西·贝斯 在塔斯基模型上。 (英语) Zbl 0998.03001号 J.塞姆。日志。 66,第4期,1701-1726(2001). 审核人:Jan Waszkiewicz(Wrocław) MSC公司:03-03 03A05号 01A60型 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{T.Bays},J.Symb。日志。66,编号4,1701---1726(2001;Zbl 0998.03001) 全文: 内政部
迈克尔·马赫(Michael J.Maher)。 可解逻辑的指称语义。 (英语) Zbl 0983.68185号 Lloyd,John(编辑)等人,《计算逻辑-CL 2000》。第一届国际会议,英国伦敦,2000年7月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1861, 209-222 (2000).MSC公司:68T27型 68问题55 03B60号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Maher},莱克特。注释计算。科学。1861209--222(2000年;Zbl 0983.68185)
冈瑟·科内利森;卡里姆·扎希迪 丢番图集的拓扑:关于Mazur猜想的评论。 (英语) Zbl 0982.14014号 Denef,Jan(编辑)等人,希尔伯特的第十个问题:与算术和代数几何的关系。研讨会论文集,比利时根特大学,1999年11月2-5日。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。270, 253-260 (2000). 审核人:G.莱特尔(格拉茨) MSC公司:14G05年 2005年11月 03C99号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{G.Cornelissen}和\textit{K.Zahidi},康特姆。数学。270253-260(2000;Zbl 0982.14014) 全文: arXiv公司
亚妮斯·斯蒂芬努 模型理论和有效性。 (英语) 兹比尔0964.03007 合成 123,第2期,165-193(2000).MSC公司:03A05号 03C99号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Stephanou},Synthese 123,No.2,165--193(2000;Zbl 0964.03007) 全文: 内政部
狮子,Jean-Marie Pfaffian几何中的Lojasiewicz不等式。(Lojasiewicz en géométrie pfaffenne) (法语) Zbl 1014.14029号 Ill.J.数学。 44,编号4889-900(2000). 审核人:A.Diaz-Cano(马德里) MSC公司:第14页 第58页第17页 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Lion},伊利诺伊州J.数学。44,第4号,889--900(2000;Zbl 1014.14029)
奥利维·查普斯;帕斯卡·科伊兰 实域上计算理论中的饱和和稳定性。 (英语) Zbl 0930.03044号 Ann.纯粹应用。逻辑 99,编号1-3,1-49(1999). 审核人:Leon Harkleroad(波基普西) MSC公司:2015年3月1日 2015年第68季度 03C07号机组 03C99号 12升12 PDF格式BibTeX公司 XML格式引用 \textit{O.Chapuis}和\textit{P.Koiran},Ann.Pure Appl。逻辑99,编号1--3,1--49(1999;Zbl 0930.03044) 全文: 内政部
杰拉尔多·拉弗里尔;乔治·J·帕帕斯。;塞尔吉奥·尤文 一类新的可判定混合系统。 (英语) Zbl 0926.93036号 Vaandrager,Frits W.(编辑)等人,《混合系统:计算与控制》。第二届国际研讨会,HSCC’99。Berg en Dal,荷兰,1999年3月29日至31日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1569, 137-151 (1999). 审核人:齐格弗里德·约翰内斯·戈特瓦尔德(莱比锡) MSC公司:93立方 93个B03 03C99号 93B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Lafferierre}等人,Lect。注释计算。科学。1569,137--151(1999;Zbl 0926.93036)
JoséL.Zalabardo。 逻辑理论导论。 (英语) Zbl 0938.03001号 科罗拉多州博尔德:Westview出版社。xiii,330页(1999年)。 审核人:齐格弗里德·约翰内斯·戈特瓦尔德(莱比锡) MSC公司:03-01 03B05号 03B10号机组 03E99型 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Zalabardo},逻辑理论导论。科罗拉多州博尔德:威斯特维尤出版社(1999;Zbl 0938.03001)
威克托·马雷克;Janusz奥尼斯凯维奇 练习中的逻辑和集合论要素。(Elementy logiki i teorii mnogo si ci w zadaniach) (波兰语) Zbl 0915.03003号 华沙:Wydawnictow Naukowe PWN。第274页(1998年)。MSC公司:03-01 00A07年 03B10号机组 03E20型 03E25型 03E10年 03B30型 03C99号 03D20日 05年3月 03克10 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{W.Marek}和\textit{J.Onyszkiewicz},Elementy logiki i teorii mnogo she ci W zadaniach(波兰语)。华沙:Wydawnictow Naukowe PWN(1998;Zbl 0915.03003)
米歇尔·科斯特 少数项的拓扑类型。 (英语) Zbl 0932.12001号 Jakubczyk,Bronisław(编辑)等人,奇点研讨会-Łojasewicz 70。1996年9月25日至29日,在波兰克拉科夫斯坦尼斯·奥哈西维奇70岁生日之际举行的奇点座谈会上发表的论文,以及1996年9月份30日至10月4日在波兰华沙召开的奇点与几何研讨会上发表的文章。华沙:波兰科学院数学研究所,巴纳赫中心。出版物。44, 81-92 (1998). 审核人:多鲁·特夫内斯库(布库雷什蒂) MSC公司:第12天第10天 第14页 57卢比 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{M.Coste},巴纳赫分币。出版物。44、81-92(1998年;Zbl 0932.12001)
库尔德卡、克日什托夫 关于可在o-极小结构中定义的函数的梯度。 (英语) Zbl 0934.32009 安·Inst.Fourier 48,第3期,769-783(1998). 审核人:S.Dimiev(索非亚) MSC公司:32B20型 32B05型 第14页,共15页 2005年2月26日 第26页至第10页 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{K.Kurdyka},《傅里叶研究年鉴》48,第3期,769--783(1998;Zbl 0934.32009) 全文: 内政部 Numdam编号 欧洲DML
Makkai,M。 作为完备性定理框架的广义草图。I至III。 (英语) Zbl 0871.03045号 J.纯应用。代数 115,第1期,第49-79页(1997年); 第2期,179-212(1997);第3期,241-274(1997)。 审核人:P.T.Johnstone(剑桥) MSC公司:03G30型 18立方厘米 03C99号 03F99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Makkai},J.纯应用。《代数115》,第1期,49--79(1997);No.2,179--212(1997);No.3241--274(1997;Zbl 0871.03045) 全文: 内政部
Sánchez Pérez,Enrique A。;何塞·Sánchez Marín 关于化学表示系统的一些形式性质。 (西班牙语。英文摘要) Zbl 0917.03016号 塞贡达·埃波卡理论 12,第30号,567-588(1997).MSC公司:03B80号 92E10型 81V55型 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Sánchez Pérez}和\textit{J.Sátchez Marín},理论,塞贡达·埃波卡12,第30号,567--588(1997;Zbl 0917.03016) 全文: 链接
伊恩·普拉特;奥利弗·莱蒙 平面、多边形单拓扑的本体论。 (英语) Zbl 0897.03014号 圣母院J.形式逻辑 38,第2期,225-245(1997). 审核人:H.古根海默(西亨普斯特德) MSC公司:03立方厘米30 51M99型 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt}和\textit{O.Lemon},圣母院J.形式逻辑38,No.2,225--245(1997;Zbl 0897.03014) 全文: 内政部
何塞·阿尔贝托·费尔南德斯;约翰·格兰特;杰克·明克尔 在演绎数据库中查看更新的模型理论方法。 (英语) Zbl 0855.68027号 J.汽车。推理 17,第2期,171-197(1996).MSC公司:第68页,共15页 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Fernández}等人,J.Autom。推理17,No.2,171--197(1996;Zbl 0855.68027) 全文: 内政部
埃里克·哈默;诺曼·丹纳 走向图解模型理论。 (英语) 兹伯利0860.003036 J.菲洛斯。日志。 25,第5期,463-482(1996). 审核人:H.C.M.de Swart(蒂尔堡) MSC公司:03C99号 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{E.Hammer}和\textit{N.Danner},J.Philos。日志。25,第5号,463--482(1996;Zbl 0860.03036)
阿达梅克,吉安尼;罗西克、吉伊 关于可访问和公理化类别的备注。 (英语) 兹比尔0849.18005 评论。数学。卡罗尔大学。 37,第2期,411-414(1996). 审核人:Y.Diers(Faches-Thumesnil) MSC公司:18B99型 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}和textit{J·罗西克},评论。数学。卡罗尔大学。37,第2号,411--414(1996;Zbl 0849.18005) 全文: 欧洲DML
詹姆斯·库里。 非重复性词汇:时代和本质。 (英语) Zbl 0847.68057号 组合数学 16,第1期,19-40(1996).MSC公司:65年第68季度 68兰特 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Currie},Combinatorica第16期,第1期,第19-40页(1996年;Zbl 0847.68057) 全文: 内政部
塞斯·维特芬 真理维护的部分语义。 (英语) Zbl 0898.68081号 帕特里克·多尔蒂(编辑),《偏爱、情态和非单调性》。加利福尼亚州斯坦福:CSLI出版物。逻辑、语言和信息研究。197-221 (1996).MSC公司:68立方英尺 03B60号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{C.Witteveen},in:偏性、情态和非单调性。加利福尼亚州斯坦福:CSLI出版物。197-221(1996年;Zbl 0898.68081)
戴维,文学学士。;M.哈维亚尔。;H·A·普里斯特利。 二元理论中蕴涵的句法和语义。 (英语) Zbl 0845.08006号 J.塞姆。日志。 60,第4期,1087-1114(1995).MSC公司:08B99号 03C99号 18个40 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Davey}等人,J.Symb。日志。60,第4号,1087--1114(1995;Zbl 0845.08006) 全文: 内政部
王世强 关于共形映射的注记。 (中文。英文摘要) Zbl 0835.03006号 J.北京标准。大学,自然科学。 31,第1期,20-22(1995).MSC公司:03C99号 05年3月30日 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wang},J.北京标准。大学,自然科学。31,编号1,20--22(1995;Zbl 0835.03006)
de Queiroz,Ruy J.G.B。;Dov M.加巴伊。 存在量词的功能解释。 (英语) Zbl 0831.03002号 牛市。IGPL公司 3,编号2-3,243-290(1995). 审核人:M.Yasuhara(普林斯顿) MSC公司:03B30型 07年3月 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{R.J.G.B.de Queiroz}和\textit{D.M.Gabbay},公牛。IGPL 3,编号2--3,243--290(1995;Zbl 0831.03002) 全文: 内政部
卡尔·施莱赫塔 逻辑、拓扑和集成。 (英语) Zbl 0822.03020号 J.汽车。推理 14,第3期,353-381(1995).MSC公司:03C99号 68T99型 54小时99 第28页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{K.Schlechta},J.Autom(汽车杂志)。推理14,No.3,353--381(1995;Zbl 0822.03020) 全文: 内政部
高桥、新高;高原雅彦 系统理论的逻辑方法。 (英语) Zbl 0830.93001号 控制与信息科学课堂讲稿. 204. 柏林:斯普林格-弗拉格。xi,174页(1995年)。 审核人:S.Gottwald(莱比锡) MSC公司:93-02 03C99号 93A30型 93A10号 PDF格式BibTeX公司 XML格式引用 \textit{S.Takahashi}和\textit{Y.Takahara},系统理论的逻辑方法。柏林:Springer-Verlag(1995;Zbl 0830.93001) 全文: 内政部
特鲁,简 类型系统中的强规范化:一种模型理论方法。 (英语) Zbl 0818.03006号 Ann.纯粹应用。逻辑 73,第1期,53-78(1995).MSC公司:03B40型 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{J.Terlow},Ann.《纯粹的应用》。逻辑73,No.1,53--78(1995;Zbl 0818.03006) 全文: 内政部
卡尔·施莱赫塔 命题条件逻辑的一些完备性结果。 (英语) Zbl 0818.03013号 牛市。IGPL公司 3,第1期,111-115(1995).MSC公司:03B60号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{K.Schlechta},公牛。IGPL 3,编号1,111--115(1995;Zbl 0818.03013) 全文: 内政部
卡尔·海因里希·霍夫曼;Mislove,M.W。 所有紧Hausdorff-lambda模型都是退化的。 (英语) Zbl 0818.03005号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 22,第1-2期,第23-52期(1995年).MSC公司:03B40型 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{K.H.Hofmann}和\textit{M.W.Mislove},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.22,No.1--2,23-52(1995;Zbl 0818.03005)
安西亚·格拉布;Chandra Shekhar Sharma公司 特征值的极小极大理论。 (英语) Zbl 0816.47016号 《自然地质学杂志》。 7,第1期,45-76(1995).MSC公司:47A75型 47B25型 03C99号 2010年1月20日 81V99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Grubb}和\textit{C.S.Sharma},J.Nat.Geom。7,第1号,45--76(1995;Zbl 0816.47016)
安德烈·彼得鲁兹扎克(Andrzej Pietruszczak) 纯名称计算模型的基数。 (英语) Zbl 0849.03025号 代表数学。逻辑 28, 87-102 (1994).MSC公司:03C99号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pietruszczak},代表数学。逻辑28,87--102(1994;Zbl 0849.03025)
Makowsky,J.A。 模型理论对理论计算机科学的影响。 (英语) Zbl 0854.03040号 Prawitz,D.(ed.)等人,《科学的逻辑、方法论和哲学IX.第九届国际逻辑、方法学和科学哲学大会论文集》,瑞典乌普萨拉,1991年8月7日至14日。阿姆斯特丹:荷兰北部。发现螺柱逻辑。数学。134, 239-262 (1994). 审核人:O.Štěpánková(普拉哈) MSC公司:03C99号 68-02 03C07号机组 03-02 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.A.Makowsky},Stud.逻辑找到。数学。134239--262(1994;Zbl 0854.03040)
保罗·约翰·金 调和奥斯丁和拉塞尔对说谎者悖论的描述。 (英语) Zbl 0812.03002号 J.菲洛斯。日志。 23,第5期,451-494(1994). 审核人:G.牧师(布里斯班) MSC公司:03A05号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{P.J.King},J.Philos。日志。23,第5号,451--494(1994;Zbl 0812.03002) 全文: 内政部
斯特沃·托多切维奇 三维组合立方体的一些划分。 (英语) Zbl 0812.03022号 J.库姆。理论,Ser。A类 68,第2期,410-437(1994). 审核人:M.Weese(柏林) MSC公司:03E05号 10年5月 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{S.Todorcevic},J.库姆。理论,Ser。A 68,No.2,410--437(1994;Zbl 0812.03022) 全文: 内政部
约翰·范·本特姆 演绎的风景。 (英语) Zbl 0941.03509号 Schroeder-Heister,Peter(编辑)等人,《亚结构逻辑》。德国图宾根大学自然语言处理系统研讨会,1990年10月7日至8日。牛津:克拉伦登出版社。螺柱日志。计算。2, 357-376 (1994).MSC公司:03B22号 03B47号 03财年03 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem},螺柱日志。计算。2357--376(1994;Zbl 0941.03509)
伯恩哈德·劳斯 一阶句子极限的归纳推理。 (英语) Zbl 0796.03045号 螺柱日志。 52,第4期,491-517(1993).MSC公司:03C99号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{B.Lauth},螺柱日志。52,编号:4491-517(1993年;Zbl 0796.03045) 全文: 内政部
胡婉君 模型上的拓扑结构。 (中文。英文摘要) Zbl 0794.03053号 J.北京标准。大学,自然科学。 29,第3期,291-295(1993).MSC公司:03C99号 54D10号 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Hu},J.北京标准。大学,自然科学。29,第3号,291--295(1993;Zbl 0794.03053)
彼得罗·迪·贾南托尼奥;Furio Honsell 应用的抽象概念。 (英语) Zbl 0788.68090号 Bezem,Marc(编辑)等人,《类型化Lambda结石及其应用》。1993年3月16日至18日在荷兰乌得勒支举行的1993年TLCA国际会议。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。664, 124-138 (1993).MSC公司:68问题55 03B40型 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{P.Di Gianantonio}和\textit{F.Honsell},莱克特。注释计算。科学。664124--138(1993年;Zbl 0788.68090)
穆斯塔芬,T.G。 关于完整理论的相似性。 (英语) Zbl 0797.03040号 Oikkonen,Juha Markku Robert(编辑)等人,《90年逻辑学术讨论会》。1990年7月15日至7月22日在芬兰赫尔辛基举行的ASL夏季会议。柏林:Springer-Verlag。莱克特。注释日志。2, 259-265 (1993). 审核人:S.R.Kogalovskij(伊万诺沃) MSC公司:03C99号 03C40号 03元52分 08年60月 08C10号 PDF格式BibTeX公司 XML格式引用 \textit{T.G.穆斯塔芬},莱克特。备注日志。2259--265(1993;Zbl 0797.03040)
尤哈·奥科宁;Väänänen,佐科 博弈论归纳可定义性。 (英语) Zbl 0797.03045号 Ann.纯粹应用。逻辑 65,第3期,265-306(1993). 审核人:于。文特索夫(新西伯利亚) MSC公司:03日70 03C99号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Oikkonen}和\textit{J.Väänänen}.《纯粹的应用》。逻辑65,编号3,265-306(1993;Zbl 0797.03045) 全文: 内政部
A.西蒙。 有限化问题不是什么。 (英语) Zbl 0797.03063号 Rauszer,Cecylia(编辑),逻辑和计算机科学中的代数方法。1991年9月15日至12月15日在波兰华沙举行的关于逻辑代数方法及其计算机科学应用的第三十八学期论文。华沙:波兰科学院数学研究所。巴纳赫美分。出版物。28, 95-116 (1993). 审核人:R.Maddux(艾姆斯) MSC公司:03G15年 03B99号 03C99号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{A.Simon},巴纳赫分币。出版物。28,95--116(1993;Zbl 0797.03063)
理查德·克莱默 在三维欧几里德直线几何中,与垂直度相交的不稳定性。 (英语) Zbl 0778.51007号 地理。Dedicata公司 46,第2期,207-210(1993). 审核人:V.V.潘布奇(安娜堡) MSC公司:2005年5月5日 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kramer},地理。Dedicata 46,No.2,207--210(1993;Zbl 0778.51007) 全文: 内政部
古雷维奇,R.H。 检测显式表示函数的代数(in)依赖性(Nevanlinna理论在数理逻辑中的一些应用)。 (英语) Zbl 0778.30005号 事务处理。美国数学。Soc公司。 336,第1期,1-67页(1993年).MSC公司:30B40码 03C99号 30天35分 第32天 PDF格式BibTeX公司 XML格式引用 \textit{R.H.Gurevč},翻译。美国数学。Soc.336,No.1,1--67(1993;Zbl 0778.30005) 全文: 内政部
莱因哈德·尼德雷 数字衡量什么?一种新的基本测量方法。 (英语) Zbl 0777.92025号 数学。社会科学。 24,编号2-3,237-276(1992). 审核人:C.库斯米尔(伊阿什) MSC公司:91C05型 00A69号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{R.Niederée},数学。社会科学。24,编号2--3,237--276(1992;Zbl 0777.92025) 全文: 内政部
阿兰·道 拓扑学中的集合论。 (英语) Zbl 0796.54001号 Hušek,Miroslav(ed.)等人,一般拓扑学的最新进展。1991年8月19日至23日在捷克斯洛伐克布拉格举行的《1991年布拉格地名学》论文。阿姆斯特丹:荷兰北部。167-197 (1992). 审核人:E.科普拉科娃(代尔夫特) MSC公司:54-02 03C99号 54A35型 03年3月35日 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{A.Dow},in:一般拓扑学的最新进展。1991年8月19日至23日在捷克斯洛伐克布拉格举行的《1991年布拉格地名学》论文。阿姆斯特丹:荷兰北部。167-197(1992年;Zbl 0796.54001)
詹姆斯·麦登。;查尔斯·斯坦顿。 一维Nash群。 (英语) Zbl 0723.14042号 派克靴。数学杂志。 154,第2期,331-344(1992); 更正同上,161,第2号,393(1993)。 审核人:J.J.马登 MSC公司:14第20页 58A07型 第22页,共15页 03C99号 22E05号 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Madden}和\textit{C.M.Stanton},太平洋。数学杂志。154,编号2,331--344(1992;Zbl 0723.14042) 全文: 内政部