亚历山德罗·贝拉杜奇;玛格丽塔·奥特罗;雅科夫·彼得齐尔;阿南德·皮莱 可在o-极小结构中定义的群的下降链条件。 (英语) Zbl 1068.03033号 Ann.纯粹应用。逻辑 134,编号2-3,303-313(2005).MSC公司:03C64号 第22页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Berarducci}等人,Ann.Pure Appl。逻辑134,No.2--3,303--313(2005;Zbl 1068.03033) 全文: 内政部
托马斯·施图德 明确的数学:功率类型和过载。 (英语) Zbl 1064.03038号 Ann.纯粹应用。逻辑 134,编号2-3284-302(2005).MSC公司:03楼50 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Studer},Ann.纯粹应用。逻辑134,No.2--3,284--302(2005;Zbl 1064.03038) 全文: 内政部
格拉斯,A.M.W。;安格斯·麦金太尔;法国波因特 自由阿贝尔格序群。 (英语) Zbl 1066.06010号 Ann.纯粹应用。逻辑 134,编号2-3,265-283(2005); 勘误表同上,第167页,第4期,第431-43页(2016年)。 审核人:Jan Jakubík(科希策) MSC公司:20层06 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.M.W.Glass}等人,Ann.Pure Appl。逻辑134,No.2--3,265--283(2005;Zbl 1066.06010) 全文: 内政部
奥利维·洛朗;夸特里尼,米里亚姆;洛伦佐托托拉·德·法尔科 极化和聚焦线性和经典证明。 (英语) Zbl 1064.03035号 Ann.纯粹应用。逻辑 134,编号2-3,217-264(2005).MSC公司:05年3月 07年3月 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{O.Laurent}等人,Ann.Pure Appl。逻辑134,No.2--3,217--264(2005;Zbl 1064.03035) 全文: 内政部
托马斯·布洛西耶 可分离闭域的加法群的子群。 (英语) 兹比尔1068.03028 Ann.纯粹应用。逻辑 134,第2-3号,169-216(2005).MSC公司:03C45号机组 03C60型 12升12 PDF格式BibTeX公司 XML格式引用 \textit{T.Blossier},Ann.纯粹应用。逻辑134,No.2--3,169--216(2005;Zbl 1068.03028) 全文: 内政部
萨姆森·艾布拉姆斯基;滨海莱尼萨 类型lambda-calculi的线性可实现性和完全完备性。 (英语) Zbl 1064.03012号 Ann.纯粹应用。逻辑 134,编号2-3122-168(2005).MSC公司:03B40型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}和\textit{M.Lenisa},Ann.纯粹应用。逻辑134,No.2--3,122--168(2005;Zbl 1064.03012) 全文: 内政部
本诺·范登伯格 归纳类型和准确完成。 (英语) Zbl 1064.03041号 Ann.纯粹应用。逻辑 134,编号2-3,95-121(2005).MSC公司:03G30型 35楼03号 03楼50 18 C50 18对25 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg},Ann.《纯粹的应用》。逻辑134,No.2--3,95-121(2005;Zbl 1064.03041) 全文: 内政部