弗拉基米尔·佩斯托夫。 关于K·P·哈特关于离散期望最大化问题的可测解不存在的一个结果。 (英语) Zbl 07830513号 评论。数学。卡罗尔大学。 64,第3号,353-358(2023).MSC公司:68T05型 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Pestov},评论。数学。卡罗尔大学。64,编号3,353--358(2023;Zbl 07830513) 全文: 内政部
阿萨纳西奥斯·祖瓦拉斯 集合论中拉塞尔的典型性。 (英语) Zbl 07556130号 圣母院J.形式逻辑 63,第2期,185-196(2022).MSC公司:03E45型 第37页 PDF格式BibTeX公司 XML格式引用 \textit{A.Tzouvaras},圣母院J.形式逻辑63,No.2,185--196(2022;Zbl 07556130) 全文: 内政部 arXiv公司
圣地亚哥约克维奇;塔拉福德,苏拉夫;乔治·文丘里 集合论的理想对象。 (英语) Zbl 07535473号 J.菲洛斯。日志。 51,编号3,583-602(2022).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Jockwich}等人,J.Philos。日志。51,编号3,583--602(2022;Zbl 07535473) 全文: 内政部
尼尔·巴顿 不确定性和集合的“宇宙”:多元性、潜在性和多元主义。 (英语) Zbl 1526.03002号 Fitting,Melvin(编辑),当代逻辑学精选主题。逻辑景观2。伦敦:学院出版物。105-182 (2021). 审核人:米哈·普鲁内斯库(București) MSC公司:03A05号 03E30年 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{N.Barton},in:当代逻辑精选主题。伦敦:学院出版物。105-182(2021;Zbl 1526.03002)
圣地亚哥约克威奇·马丁内斯 LP集理论的代数值模型。 (英语) Zbl 1496.03199号 澳大利亚。J.日志。 第7号第18页,第657-687页(2021).MSC公司:03E40型 03电子70 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{S.Jockwich Martinez},澳大利亚。J.日志。18,第7号,657--687(2021;Zbl 1496.03199) 全文: 内政部
小泽一郎 量子集理论:转移原理和德摩根定律。 (英语) Zbl 1467.03016号 Ann.纯粹应用。逻辑 172,第4号,文章ID 102938,42 p.(2021). 审核人:Hirokazu Nishimura(筑波) MSC公司:03E40型 03电子70 03E75型 03G12号机组 06第15页 46升60 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Ozawa},Ann.纯苹果。逻辑172,第4号,文章ID 102938,42页(2021;Zbl 1467.03016) 全文: 内政部 arXiv公司
Jerzy Król;托尔斯滕·阿塞尔迈耶·马卢加 量子力学、形式化和宇宙学常数问题。 (英语) Zbl 1490.81016号 已找到。科学。 25,第4号,879-904(2020).MSC公司:81页第10页 03E35号 83个F05 PDF格式BibTeX公司 XML格式引用 \textit{J.Król}和\textit{T.Asselmeyer Maluga},找到。科学。25,第4号,879--904(2020;Zbl 1490.81016) 全文: 内政部
林,寿;李金金;蔡、张勇 星际林德夫空间的建立和发展。 (英语) Zbl 1454.54002号 拓扑应用程序。 283,文章ID 107341,13 p.(2020).MSC公司:54-02 54D20个 54A25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Lin}等人,拓扑应用。283,文章ID 107341,13 p.(2020;Zbl 1454.54002) 全文: 内政部
威尔弗里德·霍奇斯;萨哈隆,谢拉 自然性和可定义性。二、。 (英语) Zbl 1446.03084号 古巴 21,第3号,9-27(2019).MSC公司:03E35号 08A35型 03E47型 03C40 18甲15 18A23型 PDF格式BibTeX公司 XML格式引用 \textit{W.Hodges}和\textit{S.Shelah},古巴21号,第3号,第9--27页(2019年;Zbl 1446.03084) 全文: 内政部 arXiv公司
Tachtsis,E。 关于无选择集合论中无不动点无限集置换的存在性。 (英语) Zbl 1438.03016号 数学学报。挂。 157、2号、281-300(2019). 审核人:J.M.Plotkin(东兰辛) MSC公司:03E25型 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{E.Tachtsis},数学学报。挂。157,第2号,281--300(2019;Zbl 1438.03016) 全文: 内政部
梅迪,佩内洛普 建立理论基础。 (英语) Zbl 1417.03086号 凯塞多、安德烈斯·爱德华多(编辑)等,《数学基础》。哈佛大学的逻辑学。为纪念W.Hugh Woodin 60岁生日而写的散文。2015年3月27日至29日,美国马萨诸塞州剑桥市哈佛大学哈佛会议《逻辑学报》。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。690, 289-322 (2017).MSC公司:03A05号 00A30型 03B30型 18甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Maddy},康泰姆。数学。690289-322(2017;Zbl 1417.03086) 全文: 内政部 链接
布里斯·哈利米 作为宇宙建模。 (英语) Zbl 1417.03236号 圣母院J.形式逻辑 58,第1号,47-78(2017).MSC公司:03C62号 03A05号 03C55号 03C70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.Halimi},《圣母院J·形式逻辑》第58卷,第1期,第47-78页(2017年;Zbl 1417.03236) 全文: 内政部 链接 反向链接: 卫生官员
亚历山大·哈拉齐什维利 具有不良正交投影的平面的绝对空子集。 (英语) Zbl 1384.28003号 真实分析。交易所。 41(2015-2016),第1期,233-244(2016). 审核人:Ryszard Pawlak(罗兹) MSC公司:28A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kharazishvili},真实分析。交易所。41,No.1,233--244(2016;Zbl 1384.28003) 全文: 内政部 欧几里得
奥利维·芬克尔 由2磁带自动机指定的无限游戏。 (英语) Zbl 1422.03113号 Ann.纯粹应用。逻辑 167,第12号,1184-1212(2016).MSC公司:03E60年 03E35号 05年3月 65年第68季度 2015年第68季度 2017年第68季度 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},Ann.纯粹应用。Logic 167,No.12,1184--1212(2016;Zbl 1422.03113) 全文: 内政部 arXiv公司
Pak、Hong Kyung 关于数字系统的概念模式。 (韩语。英文摘要) Zbl 1401.97002号 程序。Jangjeon数学。Soc公司。 19,第1期,189-198(2016).MSC公司:97F50型 01A05号 PDF格式BibTeX公司 XML格式引用 \textit{香港银行},程序。Jangjeon数学。Soc.19,No.1,189--198(2016;Zbl 1401.97002)
卡里姆·博拉比尔 Zermelo-Fraenkel集理论中(C(X))上的格与代数同态。 (英语) 兹比尔1420.54026 奎斯特。数学。 38,第6期,835-839(2015).MSC公司:54立方厘米 54立方厘米 46埃05 46 E25型 PDF格式BibTeX公司 XML格式引用 \textit{K.Boulabiar},奎斯特。数学。38,第6号,835--839(2015;Zbl 1420.54026) 全文: 内政部
奥利维·芬克尔 无限单词上的不完全性定理、大基数和自动机。 (英语) 兹比尔1440.03056 Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。9135, 222-233 (2015).MSC公司:05年3月 03E15年 03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},莱克特。注释计算。科学。9135、222--233(2015年;Zbl 1440.03056) 全文: 内政部 哈尔
约翰·R·斯蒂尔。 哥德尔的计划。 (英语) Zbl 1358.03007号 朱丽叶·肯尼迪(编辑),《解读哥德尔》。评论文章。剑桥:剑桥大学出版社(ISBN 978-1-107-00266-1/hbk;978-0-511-75630-6/电子书)。153-179 (2014).MSC公司:03-03 01A60型 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Steel},in:解读哥德尔。评论文章。剑桥:剑桥大学出版社。153-179(2014;Zbl 1358.03007)
朱丽叶·肯尼迪 哥德尔1946年普林斯顿200周年演讲:欣赏。 (英语) Zbl 1358.03005号 Kennedy,Juliette(编辑),《哥德尔解读》。评论文章。剑桥:剑桥大学出版社(ISBN 978-1-107-00266-1/hbk;978-0-511-75630-6/电子书)。109-130 (2014).MSC公司:03-03 01A60型 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{J.Kennedy},in:解读哥德尔。评论文章。剑桥:剑桥大学出版社。109-130(2014年;兹比尔1358.03005)
Mitrofan M.乔班。;彼得·肯德洛夫。;朱利安·雷瓦尔斯基。 奇异拓扑空间中的变分原理。 (英语) Zbl 1324.54052号 C.R.学院。膨胀。科学。 67,第12期,1605-1610(2014). 审核人:彼得·波皮瓦诺夫(索非亚) MSC公司:54E52型 第49页第53页 49J27型 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Choban}等人,C.R.学院。膨胀。科学。67,第12号,1605--1610(2014;Zbl 1324.54052)
维多利亚州吉特曼;托马斯·约翰斯通。 地面模型可定义性。 (英语) Zbl 1358.03078号 Geschke,Stefan(编辑)等人,《无限、可计算性和元数学》。庆祝彼得·科普克和菲利普·韦尔奇60岁生日的节日。伦敦:学院出版物(ISBN 978-1-84890-130-8/hbk)。205-227 (2014).MSC公司:03E45型 03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{V.Gitman}和\textit{T.A.Johnstone},in:无限、可计算性和元数学。庆祝彼得·科普克和菲利普·韦尔奇60岁生日的节日。伦敦:学院出版物。205-227(2014;Zbl 1358.03078) 全文: arXiv公司
Väänänen,佐科 分类逻辑和数学基础。 (英语) Zbl 1321.03048号 Chong,Chitat(编辑)等人,《无限与真理》。基于2011年7月25日至29日在新加坡举行的研讨会上的会谈。新泽西州哈肯萨克:世界科学(ISBN 978-981-4571-03-6/hbk;978-981-14571-05/ebook)。课堂笔记系列。数学科学研究所。新加坡国立大学25171-186(2014)。MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.Väänänen},莱克特。注释序列。,Inst.数学。科学。,国家。新加坡大学。25171--186(2014;Zbl 1321.03048) 全文: 内政部 链接
法拉,伊利亚斯 绝对、真理和商数。 (英语) Zbl 1321.03057号 Chong,Chitat(编辑)等人,《无限与真理》。基于2011年7月25日至29日在新加坡举行的研讨会上的会谈。新泽西州哈肯萨克:世界科学(ISBN 978-981-4571-03-6/hbk;978-981-14571-05/ebook)。课堂笔记系列。数学科学研究所。新加坡国立大学25,1-24(2014)。MSC公司:03埃克斯 第03页第35页 PDF格式BibTeX公司 XML格式引用 \textit{I.Farah},莱克特。注释序列。,Inst.数学。科学。,国家。新加坡大学。25、1--24(2014;Zbl 1321.03057) 全文: 内政部
奥维迪乌·科斯汀;哈维·弗里德曼。 奇异积分的基础。 (英语) Zbl 1301.32006年 J.功能。分析。 267,第12号,4732-4752(2014).MSC公司:32A55型 03E15年 03E25型 03E35号 03E75型 PDF格式BibTeX公司 XML格式引用 \textit{O.Costin}和\textit{H.M.Friedman},J.Funct。分析。267,第12号,4732--4752(2014;Zbl 1301.32006) 全文: 内政部 arXiv公司
阿萨纳西奥斯·祖瓦拉斯 本地ZFC中的大型传递模型。 (英语) Zbl 1351.03046号 架构(architecture)。数学。逻辑 53,编号3-4,233-260(2014).MSC公司:03电子70 03E30年 03E55型 03电子65 PDF格式BibTeX公司 XML格式引用 \textit{A.Tzouvaras},拱门。数学。逻辑53,No.3--4,233--260(2014;Zbl 1351.03046) 全文: 内政部 arXiv公司
塔蒂亚娜·阿里戈尼;Sy-David弗里德曼 超宇宙计划。 (英语) Zbl 1307.03003号 牛市。符号。日志。 19,第1期,77-96(2013). 审核人:齐格弗里德·戈特瓦尔德(莱比锡) MSC公司:03A05号 03元52分 03E30年 03E65年 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{T.Arrigoni}和\textit{S.-D.Friedman},公牛。符号。日志。19,第1号,77--96(2013;Zbl 1307.03003) 全文: 内政部 欧几里得
彼得·威尔迪 通过自适应逻辑实现强大的、普遍的和可证明的非平凡集理论。 (英语) Zbl 1284.03240号 日志。J.IGPL公司 21,第1期,108-125(2013).MSC公司:03电子70 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{P.Verdee},日志。J.IGPL 21,第1期,第108-125页(2013;Zbl 1284.03240) 全文: 内政部 链接
理查德·史密斯。 严格凸范数,(G_\delta)-对角线和非Gruenhage空间。 (英语) Zbl 1282.46015号 程序。美国数学。Soc公司。 140,第9期,3117-3125(2012). 审核人:Barry Turett(罗切斯特) MSC公司:46个B03 46埃15 54国集团12 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Smith},程序。美国数学。Soc.140,No.9,3117--3125(2012;Zbl 1282.46015) 全文: 内政部
保罗·埃克洛夫。;福斯,拉兹洛;萨哈隆,谢拉 Whitehead组的测试组。 (英语) Zbl 1273.20055号 落基山J.数学。 42,第6期,1863-1873(2012). 审核人:Lutz Strüngmann(埃森) MSC公司:20K20码 03E35号 03E75型 20K35型 20公里40 20甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Eklof}等人,《落基山数学》。42,第6号,1863-1873(2012;Zbl 1273.20055) 全文: 内政部 arXiv公司 欧几里得
帕特里克·基夫(Patrick W.Keef)。 关于全投射原Abel群的子群和循环群的直和。 (英语) Zbl 1267.20075号 Strüngmann,Lutz(编辑)等人,《群与模型理论》。为了纪念吕迪格·哥贝尔70岁生日。2011年5月30日至6月3日,德国穆尔海姆-德鲁尔会议中心“Die Wolfsburg”会议记录。普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-0-8218-6923-9/pbk;978-0-82 18-9098-1/电子书)。当代数学576205-215(2012)。 审核人:托多尔·莫洛夫(普洛夫迪夫) MSC公司:20K10码 20公里25 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{P.W.Keef},康斯坦普。数学。576205-215(2012年;Zbl 1267.20075)
迪利普·拉加万 没有强可分离几乎不相交族的模型。 (英语) 兹比尔1270.03080 以色列。数学杂志。 189,39-53(2012年). 审核人:恩里科·佐利(费伦泽) MSC公司:03E05号 03E35号 PDF格式BibTeX公司 XML格式引用 \以色列,textit{D.Raghavan}。数学杂志。189,39-53(2012;Zbl 1270.03080) 全文: 内政部
尤利亚·库兹涅佐娃 关于可测群表示和同态的连续性。 (英语) Zbl 1290.22002年 学生数学。 210,第3期,197-208(2012). 审核人:奥布里·沃尔夫松(考文垂) MSC公司:22日第10天 43A05型 03E50型 28A05号 54甲11 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kuznetsova},数学研究生。210,第3号,197--208(2012;Zbl 1290.22002) 全文: 内政部 arXiv公司
马钦·萨博克 Ramsey空集的复杂性。 (英语) Zbl 1259.03062号 高级数学。 230,第3期,1184-1195(2012). 审核人:史向晖(北京) MSC公司:03E15年 28A05号 05年5月54日 03E40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sabok},高级数学。230,第3号,1184--1195(2012;Zbl 1259.03062) 全文: 内政部 arXiv公司
阿兰·道;杰里·沃恩(Jerry E.Vaughan)。 经典\(\psi\)-空间的序数余数。 (英语) Zbl 1251.54027号 芬丹。数学。 217,第1期,83-93(2012). 审核人:维诺德·库马尔(Sirsa) MSC公司:54天35分 54立方30 03E25型 03E17年 03E35号 46埃15 54D80型 54国集团12 PDF格式BibTeX公司 XML格式引用 \textit{A.Dow}和\textit{J.E.Vaughan},Fundam。数学。217,编号1,83-93(2012年;兹bl 1251.54027) 全文: 内政部
奥利维·芬克尔 自动机理论中依赖于集合论模型的一些问题。 (英语) Zbl 1232.68082号 西奥·雷罗。通知。申请。 45,第4期,383-397(2011).MSC公司:65年第68季度 2015年第68季度 05年3月 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},RAIRO,Theor(雷奥)。通知。申请。45,第4号,383--397(2011;Zbl 1232.68082) 全文: 内政部 arXiv公司 欧洲DML 哈尔
彼得·丹切夫。;帕特里克·基夫(Patrick W.Keef)。 集合论在(ω+n)-完全(p^{ω+n})-投射主阿贝尔群中的应用。 (英语) Zbl 1247.20063号 梅迪特尔。数学杂志。 8,第4期,525-542(2011). 审核人:Lutz Strüngmann(埃森) MSC公司:20K10码 03E35号 20公里25 PDF格式BibTeX公司 XML格式引用 \textit{P.V.Danchev}和\textit{P.W.Keef},Mediterr。数学杂志。8,第4号,525--542(2011;Zbl 1247.20063) 全文: 内政部
奥利弗·德塞 有序的公理理论。 (英语) Zbl 1245.03071号 版本符号。日志。 186-204年第2期第4期(2011年). 审核人:马丁·韦斯(波茨坦) MSC公司:03E30年 PDF格式BibTeX公司 XML格式引用 \textit{O.Deiser},版本:Symb。日志。4,第2号,186--204(2011;Zbl 1245.03071) 全文: 内政部
何塞·费雷洛斯 在任意集合和ZFC上。 (英语) 兹比尔1270.03088 牛市。符号。日志。 第361-393号第17页(2011年).MSC公司:03E30年 03E25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Ferreirós},公牛。符号。日志。17,第3号,361--393(2011;Zbl 1270.03088) 全文: 内政部 链接
欧内斯特·希默林 集合论课程。 (英语) Zbl 1227.03001号 剑桥:剑桥大学出版社(ISBN 978-1-107-00817-5/hbk;978-1-107-20048-1/pbk)。x、 168页。(2011). 审核人:马丁·韦斯(波茨坦) MSC公司:03-01 03E10年 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{E.Schimmerling},集合论课程。剑桥:剑桥大学出版社(2011;Zbl 1227.03001)
阿萨纳西奥斯·祖瓦拉斯 勘误表:“公理本地化”。 (英语) Zbl 1211.03066号 架构(architecture)。数学。逻辑 50,编号3-4,513(2011).MSC公司:03电子70 03E30年 03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{A.Tzouvaras},拱门。数学。逻辑50,No.3--4513(2011;Zbl 1211.03066) 全文: 内政部
卡斯卡莱斯,B。;J.奥里胡埃拉。;Tkachuk,V.V.公司。 由第二可数空间和Lindelöf(\Sigma)-性质支配。 (英语) Zbl 1213.54033号 拓扑应用程序。 158,编号204-214(2011). 审核人:T.Thrivikraman(尼列什瓦尔) MSC公司:54D20个 03E50型 03E35号 54立方厘米 54E35个 54A35型 PDF格式BibTeX公司 XML格式引用 \textit{B.Cascales}等人,《拓扑应用》。158,第2号,204--214(2011;Zbl 1213.54033) 全文: 内政部
梅林·卡尔 可构建性的替代精细结构和计算方法。 (英语) Zbl 1280.03002号 波恩:波恩大学,Mathematisch-Naturwissenschaftliche Fakultät(Diss.)。161页。(2010).MSC公司:2002年3月 03日第10天 03D60年 03E45型 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{M.Carl},可构建性的替代精细结构和计算方法。波恩:波恩大学,Mathematisch-Naturwissenschaftliche Fakultät(Diss.)(2010;Zbl 1280.03002) 全文: 链接
奥利维·芬克尔 无限图的可识别语言的决策问题。 (英语) Zbl 1244.03052号 Cégielski,Patrick(编辑),弱算术研究。加州斯坦福:CSLI出版物;法国巴黎高等教育出版社(ISBN 978-1-57586-602-4/pbk)。CSLI演讲笔记196,127-151(2010)。MSC公司:03B25号 05年3月 03E15年 03E35号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},CSLI Lect(中央情报局)。附注196、127--151(2010;Zbl 1244.03052) 全文: arXiv公司
维多利亚州吉特曼;乔尔·戴维·哈姆金斯 多元宇宙公理的自然模型。 (英语) Zbl 1214.03035号 圣母院J.形式逻辑 51,第4号,475-484(2010).MSC公司:03电子65 03C57号 03C62号 PDF格式BibTeX公司 XML格式引用 \textit{V.Gitman}和\textit{J.D.Hamkins},圣母院J.形式逻辑51,第4期,475--484(2010;Zbl 1214.03035) 全文: 内政部 arXiv公司 反向链接: 卫生官员 卫生官员 卫生官员
阿萨纳西奥斯·祖瓦拉斯 将公理本地化。 (英语) Zbl 1192.03037号 架构(architecture)。数学。逻辑 49,第5号,571-601(2010); 勘误表同上,第50号,第3-4、513条(2011年)。MSC公司:03电子70 03E30年 03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{A.Tzouvaras},拱门。数学。逻辑49,No.5,571--601(2010;Zbl 1192.03037) 全文: 内政部 arXiv公司
M.霍尔兹。;斯特芬斯,K。;魏茨,E。 基数运算简介。1999年原版的再版。 (英语) Zbl 1187.03037号 现代Birkhä用户经典巴塞尔:Birkhä用户(ISBN 978-3-0346-0327-0/pbk)。六、304页。(2010). 审核人:洛伦斯·哈贝森(伯尔尼) MSC公司:03E10年 04年3月 2002年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Holz}等人,基数算术导论。重印1999年原件。巴塞尔:Birkhäuser(2010;Zbl 1187.03037)
A.苏瓦拉斯。 与NF一致性相关的组合学。 (英语) Zbl 1203.03080号 Crabbé,Marcel(编辑)等人,剑桥NF会议70周年会议记录。纪念奎因的开创性论文《数学逻辑的新基础》出版70周年,英国剑桥,2007年5月26日至27日。卢瓦因·拉纽夫:布鲁兰学院(ISBN 978-2-87209-937-5/pbk)。物流中心Cahiers du Centre de Logique 16,109-136(2009)。MSC公司:03电子70 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{A.Tzouvaras},加利福尼亚州。美分。日志。16、109--136(2009年;Zbl 1203.03080)
福斯托·迪比亚斯 对还是错?调和函数研究中的一个案例。 (英语) Zbl 1193.31001号 托波伊 28,第2期,143-160(2009).MSC公司:31-03 00A30型 01A20号 01A55号 01A60型 03E25型 31A05型 31A20型 PDF格式BibTeX公司 XML格式引用 \textit{F.di Biase},Topoi 28,编号2143-160(2009;Zbl 1193.31001) 全文: 内政部
奥利维·芬克尔 集合论模型中无限计算的复杂性。 (英语) Zbl 1191.03034号 日志。方法计算。科学。 第5卷第4期,第4号论文,第19页。(2009).MSC公司:03E15年 05年3月 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},日志。方法计算。科学。5,第4号,第4号文件,第19页(2009年;Zbl 1191.03034) 全文: 内政部 arXiv公司
蒂娜·维克佐雷克 关于形式建模的基本框架。集合、(varepsilon)集合和概念模型。 (英语) Zbl 1177.03058号 亚琛:Shaker Verlag;柏林:TU Berlin(Diss.)(ISBN 978-3-8322-8438-1/pbk)。v、 143页。(2009).MSC公司:03E75型 03B70型 2002年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.Wieczorek},《关于形式建模的基本框架》。集合、(varepsilon)集合和概念模型。亚琛:Shaker Verlag;柏林:TU Berlin(Diss.)(2009;Zbl 1177.03058)
斯特伦格曼,卢茨 关于非(B_2)群的(B_1)-群的自同态环。 (英语) Zbl 1187.20063号 程序。美国数学。Soc公司。 137,第11号,3657-3668(2009). 审核人:Simion Sorin Breaz(克鲁伊·纳波卡) MSC公司:20K20码 20公里30 03E35号 20公里27 16S50型 PDF格式BibTeX公司 XML格式引用 \textit{L.Strüngmann},程序。美国数学。Soc.137,No.11,3657--3668(2009;Zbl 1187.20063) 全文: 内政部
海克米尔登伯格;萨哈隆,谢拉 专门种植Aronszajn树并保存一些脆弱的钻石。 (英语) Zbl 1183.03033号 J.应用。分析。 15,第1期,47-78(2009).MSC公司:03E05号 03E17年 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{H.Mildenberger}和\textit{S.Shelah},J.Appl。分析。15,第1号,47--78(2009;Zbl 1183.03033) 全文: 内政部
公园,Wi-Gon 关于与某些集合相关的ZFC集合论扩展的注记。 (英语) Zbl 1183.03045号 远东数学杂志。科学。(FJMS) 34,第1期,129-140(2009).MSC公司:03电子70 03E25型 03E65年 PDF格式BibTeX公司 XML格式引用 \textit{W.-G.Park},远东数学杂志。科学。(FJMS)34,第1号,129--140(2009;Zbl 1183.03045) 全文: 链接
克劳斯·格鲁 地图理论简介。 (英语) Zbl 1227.03067号 克劳斯·罗伯林(编辑),类和概念的新方法。基于南丹麦大学2006年6月2日举办的“另类集合理论——集合理论的另类”研讨会。伦敦:学院出版物(ISBN 978-1-904987-85-7/pbk)。《逻辑研究》(伦敦)14,87-110(2008)。MSC公司:03电子70 PDF格式BibTeX公司 XML格式引用 \textit{K.Grue},Stud.Log。(伦敦)14,87--110(2008;Zbl 1227.03067)
班克斯,J。;凯恩斯,G。;杰克逊,M。;M·杰里。;尼古拉耶夫斯基,Y。;T·普尔。 关于拓扑的定义——一个警示故事。 (英语) Zbl 1187.03052号 澳大利亚。数学。Soc.Gaz公司。 35,第3期,195-202(2008). 审核人:T.Thrivikraman(尼勒什瓦) MSC公司:05年3月 03电子70 54A05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Banks}等人,澳大利亚。数学。Soc.Gaz公司。35,第3号,195--202(2008;Zbl 1187.03052)
Incurvati,卢卡 太自然主义而不够自然主义:回复霍斯顿。 (英语) Zbl 1151.03002号 埃尔肯特尼斯 69,第2期,261-274(2008).MSC公司:03A05号 00A30型 1999年3月 PDF格式BibTeX公司 XML格式引用 \textit{L.Incurvati},Erkentnis 69,No.2,261--274(2008;Zbl 1151.03002) 全文: 内政部
扬·迈基尔斯基 观察证据的真实性、一致性和长度。 (英语) Zbl 1167.03005号 Ehrenfeucht,A.(编辑)等人,Andrzej Mostowski和基础研究。阿姆斯特丹:IOS出版社(ISBN 978-1-58603-782-6/hbk)。278-288 (2008). 审核人:克里斯·平科克(西拉斐特) MSC公司:03A05号 00A30型 03E35号 20层03 PDF格式BibTeX公司 XML格式引用 \textit{J.迈谢尔斯基},收录于:安德烈·莫斯托夫斯基和基础研究。阿姆斯特丹:IOS出版社。278--288(2008年;Zbl 1167.03005)
Zapletal,Jindřich公司 强迫理想化。 (英语) Zbl 1140.03030号 剑桥数学丛书174.剑桥:剑桥大学出版社(ISBN 978-0-521-87426-7/hbk)。第314页。(2008). 审核人:托马斯·纳卡涅克(冈斯克) MSC公司:03E15年 03E40型 2002年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Zapletal},强迫理想化。剑桥:剑桥大学出版社(2008年;Zbl 1140.03030) 反向链接: 卫生官员
谢拉,S。;斯特林曼,L。 \(p\)-排名\(\text{分机}_ZFC的某些模型中的{\mathbb Z}(G,\mathbbZ)。 (俄语、英语) Zbl 1164.03014号 代数逻辑卡 46,第3号,369-397(2007); 代数逻辑翻译46,第3期,200-215(2007)。MSC公司:03E35号 03E75型 20K20码 20K35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Shelah}和\textit{L.Strüngmann},代数逻辑学46,第3期,369--397(2007;Zbl 1164.03014);代数逻辑翻译46,第3期,200-215(2007) 全文: 内政部 arXiv公司
马尔顿埃列克斯;塔斯,阿尔帕德 用小于(2^\omega)的数覆盖局部紧群是紧空集的许多平移。 (英语) Zbl 1120.22002年 芬丹。数学。 193,第3期,243-257(2007). 审核人:伯恩德·斯特拉曼(圣安德鲁斯) MSC公司:22个B05 28立方厘米 03E17年 第28页,共15页 03E35号 2005年2月22日 第22页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Elekes}和\textit{阿尔托斯},芬丹。数学。193,第3号,243--257(2007;Zbl 1120.22002) 全文: 内政部 arXiv公司
马丁·戈尔斯特恩 一阶谓词逻辑和哥德尔完备性定理。(Prädikatenlogik erster Stufe und der Gödelsche Vollständigkeitssatz) (德语) Zbl 1161.03001号 国际数学。纳克里斯。,维恩 2021-14(2006年). 审核人:Klaus D.Kiermeier(柏林) MSC公司:03-01 PDF格式BibTeX公司 XML格式引用 \textit{M.Goldstern},国际数学。纳克里斯。,维也纳202,1-14(2006;Zbl 1161.03001)
弗里克·威迪杰克 ZF是黑客吗?比较一些数学基础系统(形式主义解释)的复杂性。 (英语) Zbl 1114.03007号 J.应用。日志。 4,第4期,622-645(2006).MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Wiedijk},J.应用。日志。4,第4号,622--645(2006;Zbl 1114.03007) 全文: 内政部
D.贝尔。;F.帕拉米托。 (所有人都存在^*\)的(V)中的真理-句子是可以判定的。 (英语) Zbl 1109.03057号 J.塞姆。日志。 71,第4号,1200-1222(2006).MSC公司:03E30年 03B25号 03C62号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bellé}和\textit{F.Parlamento},J.Symb。日志。71,第4号,1200-1222(2006;Zbl 1109.03057) 全文: 内政部
卡雷尔·赫巴切克 集合论中的非标准对象。 (英语) Zbl 1121.03072号 Cutland,Nigel J.(编辑)等,非标准方法和数学应用。马萨诸塞州韦尔斯利:A K Peters;伊利诺伊州厄巴纳:符号逻辑协会(ASL)(ISBN 1-56881-291-4/hbk;1-56881-292-2/pbk)。逻辑课堂讲稿25,80-120(2006)。 审核人:Kiyoshi Iseki(大阪) MSC公司:03电子70 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Hrbacek},莱克特。注释日志。25、80-120(2006年;Zbl 1121.03072)
伊斯坦·华什;拉霍斯·苏库普;佐尔坦Szentmiklóssy \(mathcal D)-强制空间:一种新的可解性方法。 (英语) Zbl 1101.54038号 拓扑应用程序。 153,第11期,1800-1824(2006). 审核人:Paul J.Szeptycki(多伦多) MSC公司:5420国集团 54A25型 54A35型 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{I.Juhász}等人,拓扑应用。153,第11号,1800--1824(2006;Zbl 1101.54038) 全文: 内政部 arXiv公司
丹尼尔·赫登 唯一可传递的\(R\)-模块。 (英语) Zbl 1200.20035号 杜伊斯堡-埃森:杜伊斯堡大学-埃森分校,Fachbereich für Mathematik(Diss.)。108页。(2005).MSC公司:20K20码 20公里30 20-02 03E55型 03E75型 13二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{D.Herden},唯一可传递\(R\)-模块。杜伊斯堡-埃森:杜伊斯堡大学-埃森分校,Fachbereich für Mathematik(Diss.)(2005;Zbl 1200.20035) 全文: 链接
阿诺德·米勒。 关于相对解析子集和Borel子集。 (英语) Zbl 1083.03045号 J.塞姆。日志。 70,第1期,346-352(2005). 审核人:托马斯·纳卡涅克(冈斯克) MSC公司:03E15年 03E17年 03E35号 03E50型 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Miller},J.Symb。日志。70,第1号,346--352(2005;Zbl 1083.03045) 全文: 内政部 arXiv公司
佐尔坦·巴洛夫;加里·格伦赫奇 两个更完美的正规非度量流形。 (英语) Zbl 1074.54007号 拓扑应用程序。 151,编号1-3,260-272(2005). 审核人:三岛武美(Joetsu) MSC公司:54D15号 54A35型 57N99型 54E20型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Balogh}和\textit{G.Gruenhage},拓扑应用。151,编号1--3,260-272(2005;Zbl 1074.54007) 全文: 内政部
扬·迈基尔斯基 罗素悖论和希尔伯特(被遗忘的)集合论观点。 (英语) Zbl 1060.03017号 林克,戈德哈德(编辑),罗素悖论的一百年。数学、逻辑、哲学。基于2001年6月在德国慕尼黑举行的慕尼黑百年纪念大会。柏林:德格鲁伊特出版社(ISBN 3-11-017438-3/hbk)。de Gruyter系列《逻辑及其应用》6533-547(2004)。MSC公司:03A05号 03E35号 03-03 PDF格式BibTeX公司 XML格式引用 \textit{J.Mycielski},De Gruyter Ser。日志。申请。6533-547(2004年;Zbl 1060.03017)
Jerzy Król 量子引力和强迫结构中的背景独立性。 (英语) 兹比尔1063.83008 已找到。物理学。 34,第3期,361-403(2004).MSC公司:83立方厘米 03C25号 03E40型 81V17型 81T13型 57兰特 03H10年上半年 PDF格式BibTeX公司 XML格式引用 \textit{J.Król},已找到。物理学。34,第3号,361--403(2004;Zbl 1063.83008) 全文: 内政部
伊格纳西奥·杰内;加布里埃尔·乌兹基亚诺 基础良好和不完善的Fregean扩展。 (英语) Zbl 1058.03054号 J.菲洛斯。日志。 33,第5期,437-465(2004).MSC公司:03电子70 PDF格式BibTeX公司 XML格式引用 \textit{I.Jané}和\textit{G.Uzquiano},J.Philos。日志。33,编号5,437--465(2004;Zbl 1058.03054) 全文: 内政部
北卡罗来纳州达科斯塔。;F.A.多利亚。 集合论是计算机科学的基础。 (英语) Zbl 1051.03043号 牛市。第节。日志。,大学后勤部。 33,第1号,33-40(2004年).MSC公司:03E75型 03B70型 03D20日 03日第10天 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{N.C.A.da Costa}和\textit{F.A.Doria},公牛。第节。日志。,大学后勤部。33,第1号,33--40(2004;Zbl 1051.03043)
萨哈隆,谢拉;福斯,拉斯洛 在非消失Ext。 (英语) 兹比尔1073.13005 伦德。塞明。帕多瓦马特大学 109235-239(2003年). 审核人:青山洋一(岛内) MSC公司:13C12号机组 13楼30 13G05年 13升05 PDF格式BibTeX公司 XML格式引用 \textit{S.Shelah}和\textit{L.Fuchs},伦德。塞明。帕多瓦马特大学109,235--239(2003;Zbl 1073.13005) 全文: arXiv公司 欧洲DML
西德尼·A·莫里斯。 紧群的拓扑。 (英语) Zbl 1062.22006年 白杨。程序。 27,第2期,545-558(2003).MSC公司:22C05型 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Morris},白杨。程序。27,第2号,545--558(2003;Zbl 1062.22006)
阿诺德·米勒。 MAD Q集。 (英语) Zbl 1044.03038号 芬丹。数学。 178,第3期,271-281(2003).MSC公司:03E35号 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Miller},芬丹。数学。178,第3271--281号(2003年;兹bl 1044.03038) 全文: 内政部 arXiv公司 链接
Löwe,Benedikt公司 非限制性再看一眼。 (英语) Zbl 1045.03040号 菲洛斯。数学。(3) 11,第3期,323-331(2003). 审核人:埃利奥特·门德尔森(MR 2004i:03074) MSC公司:03E35号 03E65年 03A05号 PDF格式BibTeX公司 XML格式引用 \文本{B.Löwe},Philos。数学。(3) 11,第3号,323--331(2003;Zbl 1045.03040) 全文: 内政部
Jerzy Król 在量子力学和AdS/CFT对应中设置理论强制。 (英语) Zbl 1029.81061号 国际J.Theor。物理学。 42,第5期,921-935(2003).MSC公司:81T40型 81T60型 81T20型 81R40型 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{J.Król},国际J.Theor。物理学。42,第5号,921--935(2003;Zbl 1029.81061) 全文: arXiv公司
哈维·弗里德曼。 三个量词句子。 (英语) Zbl 1020.03044号 芬丹。数学。 177,第3期,213-240(2003).MSC公司:03E30年 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{H.M.Friedman},芬丹。数学。177,第3号,213--240(2003;Zbl 1020.03044) 全文: 内政部
哈维·弗里德曼。 原始独立性结果。 (英语) Zbl 1029.03039号 数学杂志。日志。 3,第1期,67-83(2003).MSC公司:03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{H.M.Friedman},J.数学。日志。3,第1号,67--83(2003;Zbl 1029.03039) 全文: 内政部
萨哈隆,谢拉;斯特伦格曼,卢茨 与ZFC一致,\(B_1\)-群不是\(B_2\)。 (英语) Zbl 1027.20030号 论坛数学。 15,第4期,507-524(2003). 审核人:C.文森哈勒(斯托斯) MSC公司:20K20码 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{S.Shelah}和\textit{L.Strüngmann},论坛数学。15,第4号,507--524(2003;Zbl 1027.20030) 全文: 内政部
米洛什·库里利奇。 集合论模型中的变换余终值和折叠基数。 (英语) Zbl 1018.03041号 Ann.纯粹应用。逻辑 120,编号1-3,225-236(2003). 审核人:J.M.Plotkin(东兰辛) MSC公司:03E35号 03E40型 03C62号 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Kurilić},Ann.《纯粹的应用》。逻辑120,编号1--3,225-236(2003;Zbl 1018.03041) 全文: 内政部
萨哈隆,谢拉 布尔代数的更多构造。 (英语) 兹比尔1023.03043 架构(architecture)。数学。逻辑 41,第5期,401-441(2002).MSC公司:04年3月 05年6月 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{S.Shelah},拱门。数学。逻辑41,第5号,401--441(2002;Zbl 1023.03043) 全文: 内政部 arXiv公司
德米特里·沙赫玛托夫 代数结构存在时的收敛性。 (英语) Zbl 1029.54003号 Hušek,Miroslav(编辑)等人,一般拓扑学的最新进展II。基于2001年8月19日至25日在捷克共和国布拉格举行的布拉格拓扑研讨会。阿姆斯特丹:爱思唯尔。463-484 (2002). 审核人:罗曼·弗里奇(科希策) MSC公司:54A20型 54甲11 54-02 54A25型 54A35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Shakhmatov},in:一般拓扑学的最新进展II。基于2001年8月19日至25日在捷克共和国布拉格举行的布拉格拓扑研讨会。阿姆斯特丹:爱思唯尔。463--484(2002年;Zbl 1029.54003)
Sy D.弗里德曼。 康托集合论的现代观点。 (英语) Zbl 1027.03038号 贾里斯贝尔。Dtsch公司。数学-版本。 104,第4期,165-170(2002). 审核人:E.Harzheim(科伦) MSC公司:03E15年 03-03 03E35号 03E45型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Friedman},Jahresber。Dtsch公司。数学-104版,第4号,165--170(2002;Zbl 1027.03038)
加博尔·埃特西 关于基于可计算性的强宇宙审查猜想的重新表述的注记。 (英语) Zbl 1001.83069号 物理学。莱特。,B 550,第1-2、1-7号(2002年).MSC公司:83个F05 PDF格式BibTeX公司 XML格式引用 \textit{G.Etesi},物理。莱特。,B 550,编号1--2,1--7(2002;Zbl 1001.83069) 全文: 内政部 arXiv公司
吕迪格,戈贝尔;萨哈隆,谢拉 构造用于本地化的简单组。 (英语) Zbl 1097.20031号 Commun公司。代数 第2期第30页,第809-837页(2002年).MSC公司:20E32年 20立方英寸36 20E22型 PDF格式BibTeX公司 XML格式引用 \textit{R.Göbel}和\textit{S.Shelah},Commun。《代数30》,第2期,809--837(2002;Zbl 1097.20031) 全文: 内政部
萨哈隆,谢拉 构造基数不变量的布尔代数。 (英语) Zbl 1061.03047号 代数大学。 45,第4期,353-373(2001). 审核人:伊万·查伊达(奥洛穆克) MSC公司:04年3月 03E05号 03E10年 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{S.Shelah},代数大学。45,第4号,353--373(2001;Zbl 1061.03047) 全文: 内政部 arXiv公司
卡诺维吉,V.G。 语言中的非标准集理论。 (英语。俄文原件) Zbl 1027.03051号 数学。笔记 70,第1期,42-45(2001); 翻译自Mat.Zametki 70,No.1,46-50(2001)。MSC公司:05年3月 03电子70 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Kanovej},数学。附注70,第1号,42-45(2001;Zbl 1027.03051);翻译自Mat.Zametki 70,No.1,46--50(2001) 全文: 内政部
霍斯顿,L。 柏拉图主义形式主义。 (英语) Zbl 0995.03006号 埃尔肯特尼斯 54,第2期,173-194(2001). 审核人:Alejandro Garciadiego(墨西哥) MSC公司:03A05号 00A30型 1999年3月 PDF格式BibTeX公司 XML格式引用 \textit{L.Horsten},Erkentnis 54,No.2,173--194(2001;Zbl 0995.03006) 全文: 内政部
保罗·埃克洛夫。;萨哈隆,谢拉 一个非自反性的怀特海集团。 (英语) Zbl 0973.20046号 J.纯应用。代数 156,第2-3号,199-214(2001). 审核人:格里戈尔·卢格勒阿纳乌(Cluj-Napoca) MSC公司:20K35型 03E35号 03E75型 20K20码 03C60型 03E50型 13升05 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Eklof}和\textit{S.Shelah},J.Pure Appl。代数156,No.2--3,199-214(2001;Zbl 0973.20046) 全文: 内政部 arXiv公司
詹姆斯·施梅尔。 集合论模型的基本扩展。 (英语) Zbl 0964.03034号 架构(architecture)。数学。逻辑 39,第7号,509-514(2000).MSC公司:03C62号 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Schmerl},拱门。数学。逻辑39,No.7,509--514(2000;Zbl 0964.03034) 全文: 内政部
马蒂亚斯,A.R.D。 强有力的分析陈述。 (英语) Zbl 1025.03052号 牛市。伦敦。数学。Soc公司。 32,第5期,513-526(2000).MSC公司:03电子65 03E30年 第26A21页 28A05号 05年5月54日 03E60年 91A44型 03E55型 03E45型 54E52型 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{A.R.D.Mathias},公牛。伦敦。数学。Soc.32,No.5,513--526(2000;Zbl 1025.03052) 全文: 内政部
马西娅·格罗泽克 独立性源于可计算性理论中的ZFC:一些开放问题。 (英语) Zbl 0962.03047号 Cholak,Peter A.(编辑)等人,《可计算性理论及其应用》。当前趋势和存在的问题。1999年AMS-IMS-SIAM联合夏季研究会议记录,美国科罗拉多州博尔德,1999年6月13日至17日。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。257, 171-179 (2000).MSC公司:03E35号 03D28号 03日30分 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{M.Groszek},康斯坦普。数学。2571-179(2000年;Zbl 0962.03047)
S.A.Shkarin公司。 关于比较函数的有效线性序集。 (英语。俄文原件) Zbl 0955.03051号 数学。笔记 67,第4期,534-540(2000); 翻译自Mat.Zametki 67,No.4,629-637(2000)。MSC公司:03E35号 30D99型 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Shkarin},数学。注释67,第4号,629--637(2000;Zbl 0955.03051);翻译自Mat.Zametki 67,No.4,629--637(2000) 全文: 内政部
吉尔斯·戈德弗里 Simons不等式的一些应用。 (英语) Zbl 0953.4609号 Serdica数学。J。 26,第1期,59-78页(2000年). 审核人:彼得·肯多罗夫(索非亚) MSC公司:46对20 46个B04 46亿B50 PDF格式BibTeX公司 XML格式引用 \textit{G.Godefroy},Serdica数学。J.26,第1号,59--78(2000;Zbl 0953.4609) 全文: 欧洲DML
皮埃尔路易吉·米拉格里亚 有限数学和选择公理的证明。 (英语) Zbl 0963.03072号 菲洛斯。数学。(3) 8,第1号,9-25(2000). 审核人:诺伯特·布伦纳(维也纳) MSC公司:03E25型 03A05号 PDF格式BibTeX公司 XML格式引用 \文本{P.Miraglia},Philos。数学。(3) 8、编号1、9--25(2000;Zbl 0963.03072) 全文: 内政部
吕迪格,戈贝尔;特利法吉,简 Cotilting和几乎是cotorsion组的层次结构。 (英语) Zbl 0947.20036号 J.代数 224,第1号,110-122(2000). 审核人:舒尔茨博士(珀斯) MSC公司:20K20码 20公里30 20公里40 16S50型 PDF格式BibTeX公司 XML格式引用 \textit{R.Göbel}和\textit{J.Trlifaj},J.Algebra 224,No.1,110-122(2000;Zbl 0947.20036) 全文: 内政部
安德烈斯·维拉维塞斯 ZFC模型的高度和端点初等扩张的存在性。二、。 (英语) Zbl 0947.03055号 J.塞姆。日志。 64,第3期,1111-1124(1999).MSC公司:03C62型 03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{A.Villaveces},J.Symb。日志。64,第3号,1111--1124(1999;Zbl 0947.03055) 全文: 内政部 arXiv公司
安德烈·哈纳尔;彼得·汉堡 集合论。Transl.公司。由Attila Máté从匈牙利语改编。 (英语) Zbl 0934.03057号 伦敦数学学会学生课文.48。剑桥:剑桥大学出版社。viii,316页(1999年)。 审核人:T.Natkaniec(冈斯克) MSC公司:03埃克斯 03-01 03E05号 2002年3月 03E20型 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{A.Hajnal}和\textit{P.汉堡},集合论。Transl.公司。由Attila Máté从匈牙利语改编。剑桥:剑桥大学出版社(1999;Zbl 0934.03057)
Shmuel Lifsches公司;萨哈隆,谢拉 一元序理论中的随机图。 (英语) Zbl 0935.03057号 架构(architecture)。数学。逻辑 38,No.4-5,273-312(1999). 审核人:J.M.Plotkin(东兰辛) MSC公司:03E35号 05C80号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lifsches}和\textit{S.Shelah},拱门。数学。逻辑38,编号4--5,273--312(1999;Zbl 0935.03057) 全文: 内政部 arXiv公司