阿古斯汀·雷奥 弗雷格的非官方算法。 (英语) Zbl 1041.03046号 J.塞姆。日志。 67,第4期,1623-1638(2002). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rayo},J.Symb。日志。67,第4号,1623-1638(2002;Zbl 1041.03046) 全文: 内政部 链接
狮子,Jean-Marie 简单的有限性和o-极小结构。(细度简单et结构o极小。) (法语) Zbl 1042.03030号 J.塞姆。日志。 67,第4期,1616-1622(2002). 审核人:兹比格尼乌·哈伊托(巴塞罗那) MSC公司:03C64号 第14页 第14页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.狮子},J.塞姆。日志。67,第4号,1616--1622(2002;Zbl 1042.03030) 全文: 内政部
卢多米尔·纽埃尔斯基 一些超简单理论中的模类型。 (英语) Zbl 1039.03026号 J.塞姆。日志。 67,第4期,1601-1615(2002).MSC公司:03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Newelski},J.Symb。日志。67,第4号,1601--1615(2002;Zbl 1039.03026) 全文: 内政部
伊泰州本·雅科夫 简单理论中的群结构和细菌。 (英语) Zbl 1043.03029号 J.塞姆。日志。 67,第4期,1581-1600(2002). 审核人:卡洛·托法洛里(卡梅里诺) MSC公司:03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{I.Ben-Yaacov},J.Symb。日志。67,第4号,1581--1600(2002;Zbl 1043.03029) 全文: 内政部 链接
杰弗里·伯吉斯;格雷戈里·切尔林 Borovik-Poizat秩和稳定性。 (英语) Zbl 1048.03027号 J.塞姆。日志。 67,第4期,1570-1578(2002). 审核人:托马斯·库塞拉(温尼伯) MSC公司:03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Burdges}和\textit{G.Cherlin},J.Symb。日志。67,第4号,1570--1578(2002;Zbl 1048.03027) 全文: 内政部 arXiv公司
克里斯蒂娜·瑟纳达斯;乔安·拉斯加;沃尔特·卡尼埃利。 调制纤维和塌陷问题。 (英语) 兹比尔1043.03010 J.塞姆。日志。 67,第4期,1541-1569(2002). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B22号 PDF格式BibTeX公司 XML格式引用 \textit{C.Sernadas}等人,J.Symb。日志。67,第4号,1541--1569(2002;Zbl 1043.03010) 全文: 内政部
格雷格·霍斯 湍流的二分法定理。 (英语) 兹比尔1052.03025 J.塞姆。日志。 67,第4期,1520-1540(2002). 审核人:阿尔贝托·马可尼(乌迪内) MSC公司:03E15年 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{G.Hjorth},J.Symb。日志。67,第4号,1520---1540(2002;Zbl 1052.03025) 全文: 内政部
石原、Hajime;佐藤吉田 对空间\({\mathcal D}(\mathbb{R})\的完整性进行了建设性的研究。 (英语) Zbl 1053.03036号 J.塞姆。日志。 67,第4期,1511-1519(2002). 审核人:彼得·舒斯特(慕尼黑) MSC公司:03层60 46平方英尺 46 S30 PDF格式BibTeX公司 XML格式引用 \textit{H.Ishihara}和\textit{S.Yoshida},J.Symb。日志。67,第4号,1511-1519(2002;Zbl 1053.03036) 全文: 内政部
乔瓦娜·科尔西 量化模态逻辑的统一完备性定理。 (英语) 兹比尔1043.03015 J.塞姆。日志。 67,第4期,1483-1510(2002). 审核人:Max A.Freund(墨西哥D.F.) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Corsi},J.Symb。日志。67,第4号,1483-1510(2002;Zbl 1043.03015) 全文: 内政部
塔帕尼·海蒂宁;奥利维尔·莱斯曼 超稳定齐次模型的初等子模型类的秩。 (英语) Zbl 1039.03024号 J.塞姆。日志。 67,第4期,1469-1482(2002).MSC公司:03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Hyttinen}和\textit{O.Lessmann},J.Symb。日志。67,第4号,1469--1482(2002;Zbl 1039.03024) 全文: 内政部
宫本忠太郎 关于迭代半真预序。 (英语) Zbl 1050.03034号 J.塞姆。日志。 67,第4期,1431-1468(2002). 审核人:阿兰·道(夏洛特) MSC公司:03E40型 PDF格式BibTeX公司 XML格式引用 \textit{T.宫本茂},J.Symb。日志。67,第4期,1431--1468(2002;Zbl 1050.03034) 全文: 内政部 反向链接: 卫生官员
库珀,S.巴里;李昂生 分裂和不分裂。二: A \(\text{低}_2\)c.e.高于的程度0\({\mathbf'}\)不可拆分。 (英语) Zbl 1049.03029号 J.塞姆。日志。 67,第4期,1391-1430(2002). 审核人:Jerzy Mycka(卢布林) MSC公司:03D25号 PDF格式BibTeX公司 XML格式引用 \textit{S.B.Cooper}和\textit{A.Li},J.Symb。日志。67,第4号,1391--1430(2002;Zbl 1049.03029) 全文: 内政部
罗马文赛尔 布尔序o-极小结构的小理论。 (英语) Zbl 1043.03032号 J.塞姆。日志。 67,第4期,1385-1390(2002). 审核人:托多尔·托多罗夫(圣路易斯·奥比斯波) MSC公司:03C64号 03C98号 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{R.Wencel},J.Symb。日志。67,第4号,1385--1390(2002;Zbl 1043.03032) 全文: 内政部
Teruyuki Yorioka 强测度零理想的余终结性。 (英语) Zbl 1046.03028号 J.塞姆。日志。 67,第4期,1373-1384(2002). 审核人:朱迪思·罗特曼(劳伦斯) MSC公司:03E17年 PDF格式BibTeX公司 XML格式引用 \textit{T.Yorioka},J.Symb。日志。67,第4号,1373--1384(2002;Zbl 1046.03028) 全文: 内政部
格雷格·霍斯 投影层次中的基数。 (英语) Zbl 1052.03024号 J.塞姆。日志。 67,第4期,1351-1372(2002). 审核人:Alberto Marcone(乌迪内) MSC公司:03E15年 PDF格式BibTeX公司 XML格式引用 \textit{G.Hjorth},J.Symb。日志。67,第4号,1351--1372(2002;Zbl 1052.03024) 全文: 内政部
保罗·拉尔森 迭代的唯一性定理。 (英语) Zbl 1042.03036号 J.塞姆。日志。 67,第4期,1344-1350(2002). 审核人:J.M.Plotkin(东兰辛) MSC公司:03E40型 03E50型 PDF格式BibTeX公司 XML格式引用 \textit{P.拉尔森},J.塞姆。日志。67,第4号,1344--1350(2002;Zbl 1042.03036) 全文: 内政部
I.N.索斯科夫。;巴列娃,V。 常规枚举。 (英语) Zbl 1053.03024号 J.塞姆。日志。 67,第4期,1323-1343(2002). 审核人:R.Downey(惠灵顿)(MR 2003:03064) MSC公司:03D25号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{I.N.Soskov}和\textit{V.Baleva},J.Symb。日志。67,第4号,1323--1343(2002;Zbl 1053.03024) 全文: 内政部
罗伯特·卢巴斯基。 IKP和朋友。 (英语) 兹比尔1039.03041 J.塞姆。日志。 67,第4期,1295-1322(2002).MSC公司:03电子70 03楼55 PDF格式BibTeX公司 XML格式引用 \文本{R.S.Lubarsky},J.Symb。日志。67,第4号,1295--1322(2002;Zbl 1039.03041) 全文: 内政部 arXiv公司
马苏德普尔马迪安 没有AC和Robinson理论的流畅课堂。 (英语) 兹比尔1041.03028 J.塞姆。日志。 67,第4期,1274-1294(2002). 审核人:Oleg V.Belegradek(伊斯坦布尔) MSC公司:03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Pourmahdian},J.Symb。日志。67,第4号,1274--1294(2002;Zbl 1041.03028) 全文: 内政部
詹姆斯·施默尔(James H.Schmerl)。 Peano算法的一些高度饱和模型。 (英语) Zbl 1038.03045号 J.塞姆。日志。 67,第4期,1265-1273(2002). 审核人:Roman Kossak(纽约) MSC公司:03C62型 03元50分 2015年上半年03日 PDF格式BibTeX公司 XML格式引用 \文本{J.H.Schmerl},J.Symb。日志。67,第4号,1265--1273(2002;Zbl 1038.03045) 全文: 内政部
詹姆斯·施默尔(James H.Schmerl)。 Peano算法模型的自同构群。 (英语) Zbl 1038.03044号 J.塞姆。日志。 67,第41249-1264号(2002年). 审核人:Roman Kossak(纽约) MSC公司:03C62型 20B27型 03元50分 PDF格式BibTeX公司 XML格式引用 \文本{J.H.Schmerl},J.Symb。日志。67,第4号,1249--1264(2002;Zbl 1038.03044) 全文: 内政部