道格拉斯·S·布里奇斯。 间隔空间的紧性概念。 (英语) Zbl 1294.03041号 架构(architecture)。数学。逻辑 51,第5-6号,517-534(2012).MSC公司:03层60 54天30分 54E05型 54E17号 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Bridges},拱门。数学。逻辑51,No.5--6,517--534(2012;Zbl 1294.03041) 全文: DOI程序
迪玛·西纳波娃 树的性质和SCH在不可数余终结性下的失败。 (英语) Zbl 1270.03103号 架构(architecture)。数学。逻辑 51,编号5-6,553-562(2012).MSC公司:03E55型 03E05号 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{D.Sinapova},拱门。数学。逻辑51,No.5--6553--562(2012;Zbl 1270.03103) 全文: DOI程序
阿尔贝托·马可尼;安东尼奥·蒙塔尔班;肖尔,Richard A。 计算最大链。 (英语) Zbl 1252.03105号 架构(architecture)。数学。逻辑 51,编号5-6,651-660(2012). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03天80 03D45号 06A07年 PDF格式BibTeX公司 XML格式引用 \textit{A.Marcone}等人,Arch。数学。逻辑51,No.5--6,651--660(2012;Zbl 1252.03105) 全文: DOI程序 arXiv公司
迈克尔·索尔提斯 \({mathbb上矩阵性质的证明{Z}(Z)_{2}}\). (英语) Zbl 1273.03162号 架构(architecture)。数学。逻辑 51,编号5-6,535-551(2012). 审核人:Olaf Beyersdorff(利兹) MSC公司:20层03 03B30型 15B33型 PDF格式BibTeX公司 XML格式引用 \textit{M.Soltys},拱门。数学。逻辑51,编号5--6535--551(2012;Zbl 1273.03162) 全文: DOI程序
劳拉,丰塔内拉 连续两个基数的强树属性。 (英语) Zbl 1262.03108号 架构(architecture)。数学。逻辑 51,编号5-6,601-620(2012).MSC公司:03E55型 PDF格式BibTeX公司 XML格式引用 \textit{L.Fontanella},拱门。数学。逻辑51,No.5--6601-620(2012;Zbl 1262.03108) 全文: DOI程序 arXiv公司
威廉·斯特顿。 如何将序数赋给具有多态类型的组合项。 (英语) Zbl 1267.03035号 架构(architecture)。数学。逻辑 51,编号5-6,475-501(2012).MSC公司:03B40型 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{W.R.Stirton},拱门。数学。逻辑51,编号5-6475-501(2012;Zbl 1267.03035) 全文: DOI程序
詹姆斯·施默尔(James H.Schmerl)。 辉煌模型的自同构群。 (英语) Zbl 1251.03039号 架构(architecture)。数学。逻辑 51,第5-6号,647-649(2012). 审核人:Roman Kossak(纽约) MSC公司:03元50分 03B25号 2010年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Schmerl},拱门。数学。逻辑51,编号5--6647--649(2012;Zbl 1251.03039) 全文: DOI程序 arXiv公司
奥马纳泽,R.Sh。;I.O.奇塔亚。 \(Q_{1})-c.e.集的度。 (英语) Zbl 1257.03065号 架构(architecture)。数学。逻辑 51,编号5-6,503-515(2012). 审核人:约瑟夫·乌利安(圣巴巴拉) MSC公司:03D25号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{R.Sh.Omanadze}和\textit{I.O.Chitaia},拱门。数学。逻辑51,编号5--6503--515(2012;Zbl 1257.03065) 全文: DOI程序
古拉姆·贝扎尼什维利;乔尔·卢塞罗·布莱恩 d逻辑没有FMP的\(\mathbb{Q}\)的子空间。 (英语) Zbl 1257.03044号 架构(architecture)。数学。逻辑 51,编号5-6,661-670(2012). 审核人:伯恩哈德·海尼曼(黑根) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{J.Lucero-Bryan},Arch。数学。逻辑51,编号5--6661--670(2012;Zbl 1257.03044) 全文: DOI程序
Sy-David弗里德曼;穆罕默德·戈尔沙尼 更高Kurepa假设的独立性。 (英语) Zbl 1278.03079号 架构(architecture)。数学。逻辑 51,编号5-6,621-633(2012). 审核人:Jörg D.Brendle(神户) MSC公司:03E05号 03E35号 03E45型 03E50型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{S.-D.Friedman}和\textit{M.Golshani},Arch。数学。逻辑51,No.5--6,621--633(2012;Zbl 1278.03079) 全文: DOI程序 arXiv公司
乔昂·阿劳乔;Janusz Konieczny公司 一种为半群类寻找新公理集的方法。 (英语) Zbl 1262.20059号 架构(architecture)。数学。逻辑 51,第5-6号,461-474(2012). 审核人:佩德罗·桑切斯·特拉夫(科尔多瓦) MSC公司:2007年7月20日 20号02 20A05年 08B05号 20平方米 08A02号 03C05号机组 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{J.Araüjo}和\textit{J.Konieczny},Arch。数学。逻辑51,No.5--6,461--474(2012;Zbl 1262.20059) 全文: DOI程序 链接
安倍、吉弘;Usuba、Toshimichi 关于\({\mathcal的分区属性的注记{P}(P)_\kappa\lambda})。 (英语) Zbl 1270.03073号 架构(architecture)。数学。逻辑 51,编号5-6,575-589(2012).MSC公司:03E05号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Abe}和\textit{T.Usuba},拱门。数学。逻辑51,编号5--6575--589(2012;Zbl 1270.03073) 全文: DOI程序
斯宾塞·昂格尔 树木属性的脆弱性和不可破坏性。 (英语) 兹比尔1262.03106 架构(architecture)。数学。逻辑 51,编号5-6,635-645(2012).MSC公司:03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{S.Unger},拱门。数学。逻辑51,No.5--6,635--645(2012;Zbl 1262.03106) 全文: DOI程序
池田光一郎;平冢桔梗 关于超级通用结构。 (英语) Zbl 1259.03050号 架构(architecture)。数学。逻辑 51,第5-6号,591-600(2012). 审核人:弗兰克·瓦格纳(维勒班内) MSC公司:03C45号机组 03立方30 PDF格式BibTeX公司 XML格式引用 \textit{K.Ikeda}和\textit{H.Kikyo},拱门。数学。逻辑51,编号5--6591--600(2012;Zbl 1259.03050) 全文: DOI程序
巴巴拉·马奇尔·伊瓦诺 波兰团体行动和有效性。 (英语) Zbl 1270.03085号 架构(architecture)。数学。逻辑 51,编号5-6,563-573(2012).MSC公司:03E15年 03C70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Majcher-Iwanow},拱门。数学。逻辑51,编号5--6563--573(2012;Zbl 1270.03085) 全文: DOI程序 arXiv公司
乔安·兰德·莫肖瓦基斯;加里法利亚·瓦菲亚杜 建设性分析的一些公理。 (英语) Zbl 1262.03125号 架构(architecture)。数学。逻辑 51,第5-6号,443-459(2012). 审核人:彼得·舒斯特(利兹) MSC公司:03楼50 35楼03号 03楼55 03层60 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Moschovakis}和\textit{G.Vafeiadou},拱门。数学。逻辑51,No.5--6,443--459(2012;Zbl 1262.03125) 全文: DOI程序