潘德利斯·多多斯 第一类Baire类可分紧子集的编码。 (英语) Zbl 1100.03038号 Ann.纯粹应用。逻辑 142,编号1-3,425-441(2006).MSC公司:03E15年 PDF格式BibTeX公司 XML格式引用 \textit{P.Dodos},Ann.纯粹应用。逻辑142,No.1--3,425--441(2006;Zbl 1100.03038) 全文: 内政部 arXiv公司
石秀,哲也 俱乐部猜测理想的饱和。 (英语) Zbl 1099.03040号 Ann.纯粹应用。逻辑 142,编号1-3,398-424(2006).MSC公司:03E35号 2005年3月 03E55型 03E50型 PDF格式BibTeX公司 XML格式引用 \textit{T.Ishiu},Ann.纯苹果。逻辑142,编号1-3398-424(2006;Zbl 1099.03040) 全文: 内政部
紫荆花、樱花;诺姆·格林伯格;萨哈隆,谢拉 实值可测量性模型。 (英语) Zbl 1099.03042号 Ann.纯粹应用。逻辑 142,编号1-3,380-397(2006).MSC公司:03E55型 PDF格式BibTeX公司 XML格式引用 \textit{S.Fuchino}等人,Ann.Pure Appl。逻辑142,No.1--3,380-397(2006;Zbl 1099.03042) 全文: 内政部 arXiv公司
埃米尔·杰瓦贝克 可扩展模态逻辑的Frege系统。 (英语) Zbl 1101.03038号 Ann.纯粹应用。逻辑 142,编号1-3,366-379(2006). 审核人:G.E.Mints(斯坦福) MSC公司:20层03 03B45 PDF格式BibTeX公司 XML格式引用 \textit{E.Jeřábek},Ann.纯苹果。逻辑142,No.1--3,366--379(2006;Zbl 1101.03038) 全文: 内政部
阿卜杜勒扎克·乌尔德·霍奇内 有限呈现群中存在理论的满足性和一些嵌入定理。 (英语) Zbl 1112.20029号 Ann.纯粹应用。逻辑 142,编号1-3,351-365(2006). 审核人:S.R.科加洛夫斯基(伊万诺沃) MSC公司:20F05型 20E07年 2010年1月20日 20甲15 03C60型 03C15号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Ould Houcine},Ann.纯苹果。逻辑142,No.1--3,351--365(2006;Zbl 1112.20029) 全文: 内政部
阿希姆·布卢门萨特 集团宽度的模型理论特征。 (英语) Zbl 1099.03028号 Ann.纯粹应用。逻辑 142,编号1-3,321-350(2006).MSC公司:03C85号 03B25号 05C69号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Blumensath},Ann.纯苹果。逻辑142,No.1--3,321--350(2006;Zbl 1099.03028) 全文: 内政部
Bouscaren,E。;赫鲁肖夫斯基,E。 没有有限不变量的可分类理论。 (英语) Zbl 1109.03026号 Ann.纯粹应用。逻辑 142,编号1-3,296-320(2006).MSC公司:03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Bouscaren}和\textit{E.Hrushovski},Ann.Pure Appl。逻辑142,No.1--3,296--320(2006;Zbl 1109.03026) 全文: 内政部
马提亚斯·巴兹;罗莎莉,伊姆霍夫 直觉主义逻辑中存在量词的Skolemization。 (英语) Zbl 1106.03004号 Ann.纯粹应用。逻辑 142,编号1-3,269-295(2006). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B20型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}和\textit{R.Iemhoff},Ann.纯粹应用。逻辑142,No.1--3,269--295(2006;Zbl 1106.03004) 全文: 内政部 链接
加伯里亚,D。;A.库鲁茨。;F.沃尔特。;Zakharyaschev,M。 具有扩展域的模态逻辑乘积的非原始递归可判定性。 (英语) 邮编1099.03008 Ann.纯粹应用。逻辑 142,编号1-3,245-268(2006).MSC公司:03B25号 03B44号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabelaia}等人,Ann.Pure Appl。逻辑142,No.1--3,245--268(2006;Zbl 1099.03008) 全文: 内政部
Jean-Marc安德烈奥利;罗伯特·梅利;保罗·吕特 非交换证明结构:一种基于约束的方法。 (英语) Zbl 1175.03038号 Ann.纯粹应用。逻辑 142,编号1-3,212-244(2006).MSC公司:03楼52 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Andreoli}等人,《Ann.Pure Appl.》。逻辑142,No.1--3,212--244(2006;Zbl 1175.03038) 全文: 内政部
奥塔维奥·M·D’Antona。;文森佐·马拉 计算有限表示哥德尔代数的副积。 (英语) Zbl 1099.03055号 Ann.纯粹应用。逻辑 142,编号1-3,202-211(2006).MSC公司:03G25号 PDF格式BibTeX公司 XML格式引用 \textit{O.M.D'Antona}和\textit{V.Marra},Ann.Pure Appl。逻辑142,编号1--3,202-211(2006;Zbl 1099.03055) 全文: 内政部
Makoto金泽 计算蕴涵逻辑中的插值。 (英语) Zbl 1103.03013号 Ann.纯粹应用。逻辑 142,编号1-3,125-201(2006). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B20型 03B47号 03C40号 03B40型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanazawa},Ann.纯粹应用。逻辑142,No.1--3,125--201(2006;Zbl 1103.03013) 全文: 内政部
齐夫·沙米 关于简单理论在分叉拓扑中的可分析性。 (英语) 兹比尔1100.03028 Ann.纯粹应用。逻辑 142,编号1-3,115-124(2006).MSC公司:03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{Z.Shami},Ann.纯应用程序。逻辑142,编号1--3,115-124(2006;Zbl 1100.03028) 全文: 内政部
大卫·阿斯珀罗 按俱乐部序列编码。 (英语) Zbl 1100.03035号 Ann.纯粹应用。逻辑 142,编号1-3,98-114(2006).MSC公司:2005年3月 03E35号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{D.Asperó},Ann.《纯粹的应用》。逻辑142,编号1--3,98-114(2006;Zbl 1100.03035) 全文: 内政部
格雷格·派珀 在\(\mathcal P_{\kappa}\lambda\)上下文中的方形和非反射。 (英语) Zbl 1100.03037号 Ann.纯粹应用。逻辑 142,编号1-3,76-97(2006).MSC公司:2005年3月 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{G.Piper},Ann.《纯粹的应用》。逻辑142,编号1--3,76-97(2006;Zbl 1100.03037) 全文: 内政部
詹姆斯·卡明斯;马修·福尔曼;梅纳赫姆·马吉多 集合论宇宙中的规范结构。二、。 (英语) Zbl 1096.03060号 Ann.纯粹应用。逻辑 142,编号1-3,55-75(2006).MSC公司:03E35号 04年3月 2005年3月 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{J.Cummings}等人,Ann.纯应用。逻辑142,编号1--3,55-75(2006;Zbl 1096.03060) 全文: 内政部
Krzysztof,克鲁宾斯基 现场可解释的Profinite结构。 (英语) Zbl 1099.03026号 Ann.纯粹应用。逻辑 142,编号1-3,19-54(2006).MSC公司:03C60型 12升12 PDF格式BibTeX公司 XML格式引用 \textit{K.Krupiánski},Ann.《纯粹的应用》。逻辑142,编号1-3,19-54(2006;Zbl 1099.03026) 全文: 内政部
乔治·莫瑟 阿克曼替代法(重新混合)。 (英语) Zbl 1103.03058号 Ann.纯粹应用。逻辑 142,编号1-3,1-18(2006). 审核人:G.E.Mints(斯坦福) MSC公司:30楼03号 03D20日 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Moser},Ann.纯粹应用。逻辑142,编号1--3,1--18(2006;Zbl 1103.03058) 全文: 内政部