多米尼克·伯恩 关于规则范畴中的前序和等价关系的笛卡尔图像。 (英语) Zbl 1502.18007号 申请。类别。结构。 30,第6期,1153-1176(2022). 审核人:Hirokazu Nishimura(筑波) MSC公司:18对25 18立方厘米 18天30分 第18页第13页 08A30型 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bourn},应用程序。类别。结构。30,第6号,1153--1176(2022;Zbl 1502.18007) 全文: 内政部 arXiv公司
尼玛·拉塞克 过滤商和非表示拓扑。 (英语) Zbl 1467.18045号 J.纯应用。代数 225,第12号,文章ID 106770,36页(2021). 审核人:菲利普·高彻(巴黎) MSC公司:18号60 18对25 18号45 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{N.Rasekh},J.Pure应用。代数225,第12号,文章ID 106770,36页(2021;Zbl 1467.18045) 全文: 内政部 arXiv公司 OA许可证
尼玛·拉塞克 每个基本的高级拓扑都有一个自然数对象。 (英语) Zbl 1464.18006号 理论应用。类别。 37, 337-377 (2021). 审核人:Hirokazu Nishimura(筑波) MSC公司:18对25 03G30型 18号60 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{N.Rasekh},理论应用。类别。37、337--377(2021;Zbl 1464.18006) 全文: arXiv公司 链接
新浪哈兹拉普尔;史蒂文·维克斯 AU对照组的纤维形成局部纤维。 (英语) Zbl 1462.18001号 理论应用。类别。 35, 562-593 (2020).MSC公司:18天30分 03G30型 10层18号 18立方30 18纳米10 PDF格式BibTeX公司 XML格式引用 \textit{S.Hazratpour}和\textit{S.Vickers},理论应用。类别。35562--593(2020;Zbl 1462.18001) 全文: arXiv公司 链接
丹·弗鲁明;本诺·范登伯格 有效拓扑中函数可拓性的同伦理论模型。 (英语) Zbl 1422.18005号 数学。结构。计算。科学。 29,第4号,588-614(2019). 审核人:亚历山大·沃特(吕培克) MSC公司:18对25 03B15号机组 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{D.Frumin}和\textit{B.van den Berg},数学。结构。计算。科学。29,第4号,588--614(2019;Zbl 1422.18005) 全文: 内政部 arXiv公司
迈克尔·舒尔曼 比较材料和结构集理论。 (英语) Zbl 1412.18004号 Ann.纯粹应用。逻辑 170,第4号,465-504(2019). 审核人:Hirokazu Nishimura(筑波) MSC公司:18对25 65楼03号 03G30型 18个B05 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Shulman},Ann.纯应用程序。逻辑170,No.4,465--504(2019;Zbl 1412.18004) 全文: 内政部 arXiv公司
更多,Anuj Kumar;莫华·班纳吉 来自粗糙集的范畴和代数:新的方面。 (英语) Zbl 1388.03049号 芬丹。通知。 148,编号1-2,173-190(2016).MSC公司:03E72型 18对25 18个B05 PDF格式BibTeX公司 XML格式引用 \textit{A.K.More}和\textit{M.Banerjee},Fundam。通知。148,编号1--2,173-190(2016;Zbl 1388.03049) 全文: 内政部
史蒂夫·阿沃迪;卡斯滕·布茨;亚历克斯·辛普森;托马斯·斯特里彻 关于一阶集合理论、拓扑和类的类别。 (英语) Zbl 1323.03073号 Ann.纯粹应用。逻辑 165,第2期,428-502(2014).MSC公司:03E70型 03楼50 03G30型 18个B05 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey}等人,Ann.Pure Appl。逻辑165,No.2,428--502(2014;Zbl 1323.03073) 全文: 内政部 链接
史蒂夫·阿沃迪;卡斯滕·布茨;亚历克斯·辛普森;托马斯·斯特里彻 关于一阶集合理论和基本拓扑的。 (英语) Zbl 1152.03043号 牛市。符号。日志。 13,第3号,340-358(2007).MSC公司:03E30年 18对25 03G30型 03E70型 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey}等人,公牛。符号。日志。13,第3号,340-358(2007;Zbl 1152.03043) 全文: 内政部 链接
Joáo J.Xarez。 单形集具有稳定单位的伽罗瓦理论。 (英语) 兹比尔1105.18004 理论应用。类别。 15,规范卷CT2004 Conf.,178-193(2005-2006). 审核人:Ioan Pop(伊阿什) MSC公司:18A32飞机 08B05号 10楼12号 18G30型 55单位10 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Xarez},理论应用。类别。15、178--193(2005;Zbl 1105.18004) 全文: 欧洲DML EMIS公司
J·兰贝克。 数学的世界是什么? (英语) Zbl 1076.03044号 Ann.纯粹应用。逻辑 126,编号1-3,149-158(2004). 审核人:米歇尔·伊坦(斯特拉斯堡) MSC公司:03G30型 18对25 03E30年 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{J.Lambek},Ann.《纯粹的应用》。逻辑126,No.1--3,149--158(2004;Zbl 1076.03044) 全文: 内政部
克劳迪娅·森塔佐;恩里科·M·维塔莱。 剪切理论。 (英语) Zbl 1061.18002号 Pedicchio,Maria Cristina(编辑)等,《分类基础》。序、拓扑、代数和层理论的专题。剑桥:剑桥大学出版社(ISBN 0-521-83414-7/hbk)。自行车。数学。申请。97, 311-357 (2004). 审核人:安德烈亚斯·卡普(维也纳) MSC公司:18-02 18对25 10层18号 18层20 PDF格式BibTeX公司 XML格式引用 \textit{C.Centazzo}和\textit{E.M.Vitale},Encycl。数学。申请。97、311--357(2004年;Zbl 1061.18002)
J.Todd威尔逊 Zermelo证明的直观版本,即每个选择集都可以是有序的。 (英语) Zbl 0988.03092号 J.塞姆。日志。 66,第3期,1121-1126(2001). 审核人:维克托·克里夫佐夫(莫斯科) MSC公司:03楼55 03E25型 03G30型 03E70型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{J.T.Wilson},J.Symb。日志。66,第3号,1121--1126(2001;Zbl 0988.03092) 全文: 内政部
彼得·约翰斯通 原子态射的“不严格”结果。 (英语) Zbl 0989.18003号 申请。类别。结构。 8,编号1-2,7-15(2000). 审核人:Marta Bunge(蒙特利尔/魁北克) MSC公司:18对25 PDF格式BibTeX公司 XML格式引用 \textit{P.Johnstone},应用。类别。结构。8,编号1--2,7--15(2000;Zbl 0989.18003) 全文: 内政部
保罗·泰勒 抽象斯通二元性的几何和高阶逻辑。 (英语) Zbl 0969.18004号 理论应用。类别。 7, 284-338 (2000).MSC公司:18B35型 35楼03号 18甲15 18个C20 54立方厘米 54D10号 18个B05 54A05型 54天30分 54D45号 2012年2月6日 2015年6月 03B15号机组 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Taylor},理论应用。类别。7、284--338(2000;Zbl 0969.18004) 全文: 欧洲DML EMIS公司
桑德斯·麦克莱恩 关于数学的相反说法。 (英语) Zbl 1025.03053号 牛市。伦敦。数学。Soc公司。 32,No.5,527(2000).MSC公司:03E65年 03E30年 03G30型 18甲15 18对25 PDF格式BibTeX公司 XML格式引用 \textit{S.Mac Lane},公牛。伦敦。数学。Soc.32,编号52527(2000年;Zbl 1025.03053) 全文: 内政部
雅普·范·奥斯汀;亚历克斯·K·辛普森。 合成域理论中的公理和(反例)示例。 (英语) Zbl 0961.18006号 Ann.纯粹应用。逻辑 104,编号1-3,233-278(2000). 审核人:彼得·约翰斯通(剑桥) MSC公司:18 C50 68问题55 03G30型 18对25 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Oosten}和\textit{A.K.Simpson},Ann.Pure Appl。逻辑104,No.1--3,233--278(2000;Zbl 0961.18006) 全文: 内政部
桑德拉·曼托瓦尼 极限保持和拓扑性质。 (意大利语) 兹比尔0960.18001 科恩,萨尔瓦多(编辑),几何研讨会。1998-1999. 1997年11月,意大利博洛尼亚大学,实解析几何和复解析几何会议论文。博洛尼亚:博洛尼亚理工大学,Matematica学院,61-70(2000)。MSC公司:18A35型 54B30型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{S.Mantovani},in:几何研讨会,1998-1999。博洛尼亚:博洛尼亚理工大学,马特马蒂马蒂卡学院。61-70(2000年;Zbl 0960.18001)
梅萨布利什维利,B。 基本拓扑上模范畴中的伽罗瓦理论。 (英语) Zbl 1028.18002号 牛市。格鲁吉亚学院。科学。 159,第1期,20-22(1999).MSC公司:18日第15天 18对25 16日90分 PDF格式BibTeX公司 XML格式引用 \textit{B.Mesablishvili},公牛。格鲁吉亚学院。科学。159,编号1,20-22(1999年;Zbl 1028.18002)
佩迪奇奥,M.C。;伍德,R.J。 群向完全分配格。 (英语) Zbl 0936.18004号 J.纯应用。代数 143,编号1-3,339-350(1999). 审核人:J.Koslowski(布伦瑞克) MSC公司:18对25 10年6月 08C15年 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Pedicchio}和\textit{R.J.Wood},J.Pure Appl。代数143,第1-3339-350号(1999年;Zbl 0936.18004) 全文: 内政部
亚历克斯·K·辛普森。 基本拓扑的计算充分性。 (英语) Zbl 0933.03031号 Gottlob,Georg(编辑)等人,《计算机科学逻辑》。1998年8月24日至28日在捷克共和国布尔诺举行的第十二届国际研讨会,1998年CSL,EACSL年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1584323-342(1999年)。MSC公司:03B70号 68问题55 03G30型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Simpson},莱克特。注释计算。科学。1584323-342(1999;Zbl 0933.03031)
安娜·布卡洛;朱塞佩·罗索里尼 完整性和相关层。 (英语) Zbl 0933.18004号 J.纯应用。代数 127,第2期,第147-151页(1998年). 审核人:P.T.Johnstone(剑桥) MSC公司:18对25 18A40型 18日第15天 18层20 PDF格式BibTeX公司 XML格式引用 \textit{A.Bucalo}和\textit{G.Rosolini},J.Pure Appl。《代数127》,第2期,147--151(1998;Zbl 0933.18004) 全文: 内政部
莫尔迪克,I。 集合、拓扑和直觉主义。 (英语) Zbl 0913.18003号 菲洛斯。数学。(3) 6,第2期,169-177(1998). 审核人:P.T.Johnstone(剑桥) MSC公司:18对25 03G30型 58A03型 03楼55 51K10码 PDF格式BibTeX公司 XML格式引用 \textit{I.Moerdijk},菲洛斯。数学。(3) 6,第2号,169--177(1998;Zbl 0913.18003) 全文: 内政部
马穆卡·吉卜拉泽 初始lift-代数的表示。 (英语) Zbl 0879.18006号 J.纯应用。代数 116,编号1-3,185-198(1997). 审核人:S.V.Solov'ev(达勒姆) MSC公司:18对25 03G30型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Jibladze},J.Pure应用。代数116,第1-3185-198号(1997年;Zbl 0879.18006) 全文: 内政部
M.邦吉。;J·芬克。 展开和对称拓扑。 (英语) Zbl 0861.18004号 J.纯应用。代数 113,第1期,第1-38页(1996年). 审核人:I.托凡 MSC公司:18对25 54B30型 18立方厘米15 18A32飞机 PDF格式BibTeX公司 XML格式引用 \textit{M.Bunge}和\textit{J.Funk},J.Pure Appl。代数113,第1号,1-38(1996;Zbl 0861.18004) 全文: 内政部
南卡罗来纳州麦克莱恩。;莫尔迪克,I。 拓扑理论。 (英语) Zbl 0858.18001号 Hazewinkel,M.(编辑),《代数手册》。第1卷。阿姆斯特丹:荷兰北部。501-528 (1996). 审核人:K.I.Rosenthal(斯克内克塔迪) MSC公司:18-02 03G30型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{S.MacLane}和\textit{I.Moerdijk},收录于:代数手册。第1卷。阿姆斯特丹:荷兰北部。501-528(1996;Zbl 0858.18001)
爪哇塔瓦科利 拓扑中的局部自由向量空间。 (英语) Zbl 0851.18002号 Commun公司。代数 24,第4期,1199-1205(1996). 审核人:I.托凡 MSC公司:18对25 PDF格式BibTeX公司 XML格式引用 \textit{J.塔瓦科利},Commun。《代数24》,第4期,1199--1205(1996;Zbl 0851.18002) 全文: 内政部
安德烈亚斯·布拉斯 K有限集的归纳原理和鸽子洞原理。 (英语) Zbl 0848.03033号 J.塞姆。日志。 60,第4期,1186-1193页(1995年). 审核人:A.Kock(奥胡斯) MSC公司:03楼55 18对25 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass},J.Symb。日志。60,第4号,1186--1193(1995;Zbl 0848.03033) 全文: 内政部 arXiv公司
科林·麦克拉蒂 基本类别、基本地形。 (英语) Zbl 0828.18001号 牛津逻辑指南. 21. 牛津:克拉伦登出版社。xiii,第265页(1995年)。MSC公司:18-01 18对25 PDF格式BibTeX公司 XML格式引用 \textit{C.McLarty},基本类别,基本拓扑。牛津:克拉伦登出版社(1995;Zbl 0828.18001)
比昂多,L。;梅洛尼,G。 拓扑背景下的环境。 (意大利语。英文摘要) Zbl 0814.18002号 波尔。Unione Mat.意大利语。,七、。序列号。,A类 8,第2期,157-167(1994). 审核人:P.T.Johnstone(剑桥) MSC公司:18对25 18层20 PDF格式BibTeX公司 XML格式引用 \textit{L.Biondo}和\textit{G.Meloni},波尔。Unione Mat.意大利语。,七、。序列号。,A 8,No.2,157--167(1994;Zbl 0814.18002)
南卡桑吉安。;罗斯布鲁,R。 拓扑中的非确定性和模糊自动机。 (英语) Zbl 0920.18001号 波尔。Unione Mat.意大利语。,七、。序列号。,A类 8,第3期,313-321(1994).MSC公司:18B20型 65年第68季度 70年第68季度 18对25 03G30型 03E72型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kasangian}和\textit{R.Rosebrugh},Boll。Unione Mat.意大利语。,七、。序列号。,A 8,No.3,313--321(1994;Zbl 0920.18001)
桑德斯·麦克莱恩;Moerdijk,比如 使用基本地形进行实地形和强制。 (英语) Zbl 0756.03025号 计算机科学逻辑,Proc。研讨会,伯克利/加利福尼亚州(美国)1989年,出版。,数学。科学。Res.Inst.21,373-385(1992)。 审核人:K.I.Rosenthal(斯克内克塔迪) MSC公司:03E35号 03G30型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{S.Mac Lane}和\textit{I.Moerdijk},in:来自计算机科学的逻辑。1989年11月13日至17日在美国加利福尼亚州伯克利市数学科学研究所举行的研讨会论文集。373--385(1992年;Zbl 0756.03025)
巴巴拉·科隆 基于Topos的语义,用于带有强否定的构造逻辑。 (英语) Zbl 0798.03063号 Z.数学。Logik Grundlagen数学。 38,编号5-6,509-519(1992).MSC公司:03G30型 03B20型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{B.Klunder},Z.数学。Logik Grundlagen数学。38,编号5--6,509--519(1992;Zbl 0798.03063) 全文: 内政部
安妮·普雷勒 对基本拓扑理论中Martin-Löf的类型理论的解释。 (英语) Zbl 0798.03059号 Z.数学。Logik Grundlagen数学。 38,第3期,213-240(1992).MSC公司:35楼03号 03G30型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{A.Preller},Z.数学。Logik Grundlagen数学。38,第3号,213--240(1992;Zbl 0798.03059) 全文: 内政部
桑德斯·麦克莱恩;Moerdijk,比如 几何和逻辑中的滑轮:拓扑理论的第一次介绍。 (英语) Zbl 0822.18001号 Universitext(通用文本)纽约等地:Springer-Verlag。xii,627页(1992年)。 审核人:J.Duskin(水牛) MSC公司:18-01 2001年3月 18对25 03G30型 18-02 03-02 03E99型 14层20 18层20 54B40码 PDF格式BibTeX公司 XML格式引用 \textit{S.Mac Lane}和\textit{I.Moerdijk},《几何和逻辑中的滑轮:拓扑学的首次介绍》。纽约等:施普林格出版社(1992年;Zbl 0822.18001)
科林·麦克拉蒂 基本类别、基本地形。 (英语) Zbl 0762.18001号 牛津逻辑指南. 21. 牛津:克拉伦登出版社。xiii,第265页(1992年)。 审核人:R.H.街(北莱德) MSC公司:18-01 18对25 PDF格式BibTeX公司 XML格式引用 \textit{C.McLarty},基本类别,基本拓扑。牛津:克拉伦登出版社(1992;Zbl 0762.18001)
J.塔瓦科利。 关于层函子的注记。 (英语) Zbl 0764.18003号 牛市。伊朗。数学。Soc公司。 18,第1号,第1-7条(1992年).MSC公司:18对25 PDF格式BibTeX公司 XML格式引用 \textit{J.Tavakoli},公牛。伊朗。数学。Soc.18,No.1,1--7(1992;Zbl 0764.18003)
奥斯瓦尔多Acuña-Ortega 有限对象和自同构。 (英语) 兹比尔0778.18002 Commun公司。代数 20,第12号,3459-3478(1992). 审核人:I.托凡 MSC公司:18对25 03E10年 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{O.Acuña-Ortega},Commun(公共)。《代数20》,第12期,3459--3478(1992;Zbl 0778.18002) 全文: 内政部
约阿希姆·兰贝克 范畴逻辑与代数逻辑。 (英语) Zbl 0758.03027号 代数逻辑。座谈会,布达普/挂。1988年,大学数学。János Bolyai社会54,251-360(1991)。 审核人:A.Kock(奥胡斯) MSC公司:03G30型 2001年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Lambek},大学数学。Soc.János Bolyai萨诺斯·博莱54,251--360(1991;Zbl 0758.03027)
安德斯·科克 部分映射分类器单子的代数。 (英语) Zbl 0747.18005号 范畴理论,Proc。国际会议,科莫/意大利,1990年,勒克特。数学笔记。1488, 262-278 (1991). 审核人:R.H.街(北莱德) MSC公司:18对25 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Kock},莱克特。数学笔记。无,262--278(1991年;Zbl 0747.18005)
梅萨布利什维利,B.N。 Galois对象在基本拓扑中的内部交换代数范畴及其平坦性。 (俄语。英文摘要) Zbl 0731.18006号 事务处理仪表价格。Mat.Im公司。I.N.Vekua公司 36, 28-44 (1990).MSC公司:18对25 13个B05 PDF格式BibTeX公司 XML格式引用 \textit{B.N.Mesaublevili},Tr.Inst.Prikl。Mat.Im公司。I.N.Vekua 36,28--44(1990;Zbl 0731.18006)
梅萨布利什维利,B.N。 基本拓扑和函子T中内部交换连通环的有限Galois扩张的基本定理。 (俄语。英文摘要) 兹比尔0731.18005 事务处理仪表价格。Mat.Im公司。I.N.Vekua公司 36, 9-27 (1990).MSC公司:18对25 13个B05 PDF格式BibTeX公司 XML格式引用 \textit{B.N.Mesablishvili},Tr.Inst.Prikl公司。Mat.Im公司。I.N.Vekua 36,9--27(1990;Zbl 0731.18005)
天,布莱恩;罗斯街 本地可呈现类别的本地化。二、。 (英语) Zbl 0705.18006号 J.纯应用。代数 63,第3期,225-229(1990年). 审核人:H.克莱斯利 MSC公司:18E35型 10层18号 PDF格式BibTeX公司 XML格式引用 \textit{B.Day}和\textit{R.Street},J.Pure Appl。代数63,第3号,225--229(1990;Zbl 0705.18006) 全文: 内政部
爪哇塔瓦科利 关于拓扑中的拓扑。 (英语) Zbl 0695.18003号 牛市。澳大利亚。数学。Soc公司。 41,No.3,387-392(1990). 审核人:P.班克斯顿 MSC公司:18对25 PDF格式BibTeX公司 XML格式引用 \textit{J.Tavakoli},公牛。澳大利亚。数学。Soc.41,No.3,387--392(1990;Zbl 0695.18003) 全文: 内政部
布鲁诺·洛伊索;姆比拉·马丁·马万达 关于自然数对象、有限性和拓扑中的Kripke-Platk模型。 (英语) Zbl 0685.18004号 J.纯应用。代数 61,第3期,257-266(1989). 审核人:J.R.伊斯贝尔 MSC公司:18对25 03C90号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{B.Loiseau}和\textit{M.-M.Mawanda},J.Pure Appl。代数61,No.3,257--266(1989;Zbl 0685.18004) 全文: 内政部
安德烈亚斯·布拉斯 存在不动点逻辑的几何不变性。 (英语) Zbl 0684.03026号 计算机科学和逻辑分类,Proc。AMS-IMS-SIAM Jt.公司。1987年科罗拉多州博尔德市夏季研究会议。数学。92, 9-22 (1989). 审核人:G.德扎内利泽 MSC公司:03G30型 03C80号 18对25 03B15号机组 PDF格式BibTeX公司 XML格式
Carel Szasz \einem Elementartopos中的(I_{n,m})-对象\(基本拓扑中的(I_{n,m})-对象)。 (德语) Zbl 0656.18008号 灯泡。布拉索夫大学。C类 30, 65-67 (1988). 审核人:J.科斯洛夫斯基 MSC公司:18对25 PDF格式BibTeX公司 XML格式引用 \文本{C.Szasz},布尔。塞尔维亚布拉索夫大学。C 30,65--67(1988;Zbl 0656.18008)
雷纳托·贝蒂 变量类别。 (意大利语) Zbl 0683.18003号 伦德。塞明。材料Fis。米兰 57, 483-518 (1987). 审核人:P.T.约翰斯通 MSC公司:18D20天 18对25 PDF格式BibTeX公司 XML格式引用 \文本{R.Betti},Rend。塞明。材料Fis。米兰57,483--518(1987;Zbl 0683.18003) 全文: 内政部
帕斯卡·杜邦;布鲁诺·洛伊索 滑轮的逻辑一瞥。 (英语) Zbl 0669.03038号 社会科学年鉴。塞勒·布鲁克塞勒斯。我 101,第4期,133-149(1987). 审核人:G.德扎内利泽 MSC公司:03G30型 18对25 18层20 PDF格式BibTeX公司 XML格式引用 \textit{P.Dupont}和\textit{B.Loiseau},Ann.Soc.Sci。布鲁克斯。,Sér。I 101,编号4,133--149(1987;Zbl 0669.03038)
拉杜·迪亚科内斯库 地形的可比性。 (英语) Zbl 0605.18001号 程序。美国数学。Soc公司。 98389-393(1986年). 审核人:P.T.约翰斯通 MSC公司:18对25 03E25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu},Proc。美国数学。Soc.98,389--393(1986;Zbl 0605.18001) 全文: 内政部
奥雷里奥·卡博尼;罗斯街 将理想按类别排序。 (英语) Zbl 0565.18001号 派克靴。数学杂志。 124, 275-288 (1986).MSC公司:18B10型 18对25 18A40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Carboni}和\textit{R.Street},太平洋。数学杂志。124275--288(1986年;Zbl 0565.18001) 全文: 内政部
卡罗尔·萨兹 einem元素中的Das Objekt \(Z_n\)是Topos。(基本拓扑中的对象\(Z_n\))。 (德语) Zbl 0605.18002号 灯泡。Brașov大学,Ser。C类 27, 65-66 (1985).MSC公司:18对25 PDF格式BibTeX公司 XML格式引用 \文本{C.Szasz},布尔。Brașov大学,Ser。C 27,65--66(1985;Zbl 0605.18002)
托凡,I。 基本拓扑中的三元组。 (罗马尼亚语。英文摘要) 兹比尔0589.18002 灯泡。政治学会。Iași,第ț节。我 1985年,补遗,证书。材料,209-211(1985).MSC公司:18对25 18立方厘米15 PDF格式BibTeX公司 XML格式引用 \文本{I.Tofan},布尔。政治学会。Iași,第ț节。I 1985,209--211(1985;Zbl 0589.18002)
Silviu C.尼斯托尔。;托凡,I。 在ab(\({\mathcal E})\)范畴上。 (罗马尼亚语。英文摘要) Zbl 0589.18001号 灯泡。政治学会。Iași,第ț节。我 1985年,补遗,证书。材料,205-207(1985).MSC公司:18对25 18立方厘米 18天35分 PDF格式BibTeX公司 XML格式引用 \textit{S.C.Nistor}和\textit{I.Tofan},布尔。政治学会。Iași,第ț节。I 1985,205-207(1985;Zbl 0589.18001)
Geanu,M。 G对象拓扑结构的固有特征。(G对象拓扑的一些属性)。 (法语) Zbl 0584.18003号 灯泡。政治学会。布库。,序列号。蜂鸣器。 46/47, 17-24 (1985). 审核人:P.T.约翰斯通 MSC公司:18对25 PDF格式BibTeX公司 XML格式引用 \文本{M.Geanău},布尔。政治学会。布库。,序列号。蜂鸣器。46/47,17-24(1985;Zbl 0584.18003)
爪哇塔瓦科利 拓扑中模块的乘积。 (英语) 兹比尔0569.18005 J.奥斯特。数学。Soc.,爵士。A类 38, 416-420 (1985). 审核人:K.I.罗森塔尔 MSC公司:18对25 18岁30岁 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.塔瓦科利},J.奥斯特。数学。Soc.,爵士。A 38,416--420(1985;Zbl 0569.18005)
爪哇塔瓦科利 拓扑中几何场的特征。 (英语) Zbl 0558.18002号 Commun公司。代数 13, 101-111 (1985). 审核人:R.H.街道 MSC公司:18对25 PDF格式BibTeX公司 XML格式引用 \textit{J.塔瓦科利},Commun。代数13,101--111(1985;Zbl 0558.18002) 全文: 内政部
C·萨兹。 在einem elementaren Topos中,模定义是自同态的环einer abelschen Gruppe。(基本拓扑中阿贝尔群的自同态环的定义)。 (德语) Zbl 0591.18003号 灯泡。塞尔维亚布拉索夫大学。C类 26, 47-50 (1984).MSC公司:18对25 18天35分 PDF格式BibTeX公司 XML格式引用 \文本{C.Szasz},布尔。Brașov大学,Ser。C 26,47--50(1984;Zbl 0591.18003)
塔瓦科利,J。 拓扑中模的张量积。 (英语) Zbl 0582.18004号 牛市。伊朗。数学。Soc公司。 11, 23-32 (1984).MSC公司:18对25 18岁30岁 18A40型 16磅50英寸 PDF格式BibTeX公司 XML格式引用 \textit{J.Tavakoli},公牛。伊朗。数学。Soc.11,23--32(1984;Zbl 0582.18004)
米尔恰·吉安努 托普塞勒门塔尔的欧比泰。 (法语) Zbl 0563.18004号 安提恩。Al.I.Cuza IașI大学,N.Ser。,第ț节。国际航空公司 30,第2期,第3-6期(1984年). 审核人:M.科斯特 MSC公司:18对25 PDF格式BibTeX公司 XML格式引用 \文本{M.Geanțu},An.Știin \539]。Al.I.Cuza IașI大学,N.Ser。,第ț节。Ia 30,第2、3--6号(1984年;Zbl 0563.18004)
贾内利泽,G.Z。 范畴中的马吉德定理。 (俄语。英文摘要) Zbl 0558.18001号 索布施。阿卡德。诺克·格鲁兹。固态继电器 114, 497-500 (1984). 审核人:M.戈拉辛滑雪 MSC公司:18对25 13个B05 18A25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Z.Dzhanelidze},Soobshch(索布什)。阿卡德。诺克·格鲁兹。SSR 114、497--500(1984;Zbl 0558.18001)
Francis Borceux,弗朗西斯;吉尔伯特·范登·博舍尔 拓扑结构。 (英语) Zbl 0544.18004号 加利福尼亚州。白杨。盖姆。差异。 25, 37-39 (1984).MSC公司:18层20 18对25 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{F.Borceux}和\textit{G.van den Bossche},加利福尼亚州。拓扑Géom。差异。卡特戈里克斯25,37--39(1984;Zbl 0544.18004) 全文: Numdam编号 欧洲DML
C·萨兹。 Das Objekt在einem elementaren Topos中的“ganze Zahlen”。(基本拓扑中的“整数”对象)。 (德语) Zbl 0591.18004号 灯泡。布拉索夫大学。C类 25, 53-55 (1983).MSC公司:18对25 03G30型 PDF格式BibTeX公司 XML格式引用 \文本{C.Szasz},布尔。Brașov大学,Ser。C 25,53--55(1983年;Zbl 0591.18004)
彼得·约翰斯通(Peter T.Johnstone)。 拓扑中可判定对象的商。 (英语) Zbl 0515.18002号 数学。程序。外倾角。菲洛斯。Soc公司。 93, 409-419 (1983).MSC公司:18对25 03G30型 03C25号 PDF格式BibTeX公司 XML格式引用 \textit{P.T.Johnstone},数学。程序。外倾角。菲洛斯。Soc.93409--419(1983年;Zbl 0515.18002) 全文: 内政部
G.S.穆奇斯顿。 Geanau的纸条。 (英语) Zbl 0511.18003号 牛市。数学。社会科学。数学。Répub餐厅。Soc.Roum公司。,努夫。Sér。 27(75), 73-74 (1983).MSC公司:18对25 18G99型 PDF格式BibTeX公司 XML格式引用 \textit{G.S.Murchiston},公牛。数学。社会科学。数学。Répub餐厅。Soc.Roum公司。,努夫。Sér。27(75),73--74(1983;Zbl 0511.18003)
罗西娅·哈丁 拓扑中的局部内射阿贝尔群。 (英语) Zbl 0477.18009号 Commun公司。代数 11, 349-376 (1983).MSC公司:18天35分 18对25 18层20 18克05 PDF格式BibTeX公司 XML格式引用 \textit{R.Harting},Commun(通讯员)。代数11,349--376(1983;Zbl 0477.18009) 全文: 内政部
亚历山大·拉杜(Alexandru Gh Radu)。 拓扑理论。第二卷。(《地形图》第二卷)。 (罗马尼亚语。英文摘要) Zbl 0564.18008号 布库雷什蒂:伊迪图拉学院R.S.Románia。第272页(1982年)。 审核人:M.Ştefănescu先生 MSC公司:18对25 03G30型 65年第68季度 18-02 PDF格式BibTeX公司 XML格式
格热戈兹·贾泽姆布斯基 部分一元代数。 (英语) Zbl 0521.18010号 牛市。阿卡德。波兰。科学。,Sér。科学。数学。 30, 407-413 (1982).MSC公司:18个C20 18A35型 18立方厘米 18对25 PDF格式BibTeX公司 XML格式引用 \textit{G.Jarzembski},公牛。阿卡德。波兰。科学。,Sér。科学。数学。30407--413(1982年;Zbl 0521.18010)
卡洛·达普埃托 基本地形的解释。 (英语) Zbl 0509.03035号 伦德。材料申请。,七、。序列号。 2531-545(1982年).MSC公司:03G30型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{C.Dapueto},伦德。材料申请。,七、。序列号。2531-545(1982;Zbl 0509.03035)
爪哇塔瓦科利 拓扑中自由模块的元素。 (英语) 兹比尔0501.18001 Commun公司。代数 10, 171-201 (1982).MSC公司:18对25 18岁30岁 16亿B50 PDF格式BibTeX公司 XML格式引用 \textit{J.塔瓦科利},Commun。代数10,171--201(1982;Zbl 0501.18001) 全文: 内政部
爪哇塔瓦科利 拓扑中矩阵的正规形式。 (英语) Zbl 0492.18004号 加利福尼亚州。白杨。盖姆。差异。 23, 317-340 (1982).MSC公司:18对25 15A21号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.塔瓦科利},加利福尼亚州。拓扑Géom。差异。卡特戈里克斯23,317--340(1982;Zbl 0492.18004) 全文: Numdam编号 欧洲DML
贝尔,J.L。 类别、地形和集合。 (英语) Zbl 0487.18002号 合成 51, 293-337 (1982).MSC公司:18对25 03G30型 03E25型 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Bell},综合51,293--337(1982;Zbl 0487.18002) 全文: 内政部
米尔恰·吉纳乌 同系物Abelinne dans un toposélémentaire。 (法语) Zbl 0483.18002号 牛市。数学。社会科学。数学。Répub。Soc.Roum公司。,努夫。Sér。 26(74), 51-57 (1982).MSC公司:18对25 18克05 20公里40 PDF格式BibTeX公司 XML格式引用 \textit{M.Geanau},公牛。数学。社会科学。数学。Répub餐厅。Soc.Roum公司。,努夫。Sér。26(74),51-57(1982;Zbl 0483.18002)
哈里·波塔。;奥斯瓦尔德·怀勒 拓扑中的紧凑空间对象。 (英语) Zbl 0479.18004号 拓扑和分析的分类方面,Proc。int.Conf.,渥太华,1981年,Lect。数学笔记。915, 375-385 (1982).MSC公司:18对25 54天30分 PDF格式BibTeX公司 XML格式
罗西娅·哈丁 基本拓扑中阿贝尔群的内部余积。 (英语) Zbl 0477.18008号 Commun公司。代数 10, 1173-1237 (1982).MSC公司:18天35分 18对25 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Harting},通讯社。代数10,1173--1237(1982;Zbl 0477.18008) 全文: 内政部
芭芭拉·维特 用范畴逻辑证明相关层定理。 (英语) Zbl 0539.03049号 J.塞姆。日志。 46, 45-55 (1981). 审核人:M.科斯特 MSC公司:03G30型 18对25 18层20 PDF格式BibTeX公司 XML格式引用 \textit{B.Veit},J.Symb。日志。46、45-55(1981年;Zbl 0539.03049) 全文: 内政部
罗西娅·哈丁 基本拓扑中的内射阿贝尔群。 (英语) Zbl 0529.18003号 Mathematisch-Naturwissenschaftliche Fakultät der Universityät Düsseldorf.77 p.(1981)。MSC公司:18对25 18克05 20公里40 18天35分 18层20 03G30型 18岁30岁 03E25型 18甲15 PDF格式BibTeX公司 XML格式
戈尔盖·拉杜;亚历山德鲁·拉杜 双重否定的拓扑。 (罗马尼亚语) Zbl 0515.18003号 螺柱Cercet。材料。 33, 547-552 (1981).MSC公司:18对25 03G30型 18层20 PDF格式BibTeX公司 XML格式引用 \textit{G.Radu}和\textit{A.Radu}.螺柱证书。材料33,547--552(1981;Zbl 0515.18003)
Susumu Hayashi 论拓扑中的集合理论。 (英语) 兹伯利0498.03052 逻辑研讨会,Proc。日本/箱根Conf。1979年和1980年,Lect。数学笔记。891, 23-29 (1981).MSC公司:03G30型 18对25 03E40型 03E70型 PDF格式BibTeX公司 XML格式
亚历山大·斯特凡内斯库 拓扑中阿贝尔群的范畴。 (英语) Zbl 0494.18006号 牛市。数学。社会科学。数学。Répub。Soc.Roum公司。,努夫。Sér。 25(73), 179-189 (1981).MSC公司:18对25 20J15年 20公里40 18E10型 PDF格式BibTeX公司 XML格式引用 \textit{A.Stefanescu},公牛。数学。社会科学。数学。Répub餐厅。Soc.Roum公司。,努夫。Sér。25(73),179--189(1981;Zbl 0494.18006)
朱塞佩·罗索里尼 联合国地形图中的Estensioni mediante cornici。 (英语) Zbl 0492.03028号 里夫。帕尔马马特大学,IV.Ser。 7, 225-232 (1981).MSC公司:03G30型 18对25 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Rosolini},Riv.Mat.Univ.Parma,IV.Ser.帕尔马大学。7225-232(1981年;Zbl 0492.03028)
米尔恰·吉纳乌 对象注入到对象组的ab(xi)类中,对象组是拓扑结构中的Abeliens。 (法语) Zbl 0483.18003号 灯泡。政治学会。布库。,序列号。蜂鸣器-金属。 43,第2期,第9-14页(1981年).MSC公司:18对25 18克05 20公里40 PDF格式BibTeX公司 XML格式引用 \文本{M.Geanau},布尔。政治学会。布库。,序列号。蜂鸣器-金属。43,No.2,9--14(1981;Zbl 0483.18003)
罗伯特·罗斯布鲁 关于内切面拓扑的自同态。 (英语) 兹比尔0476.18003 Commun公司。代数 9, 1901-1912 (1981).MSC公司:18对25 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{R.Rosebrugh},Commun(公共)。代数9,1901-1912(1981;Zbl 0476.18003) 全文: 内政部
米尔恰·吉纳乌 超不变dans un toposélémentaire。 (法语) Zbl 0474.18006号 安。斯蒂恩。新南威尔士州Al.I.Cuza Iasi大学。,第节。国际航空公司 27, 247-251 (1981).MSC公司:18对25 PDF格式BibTeX公司 XML格式
罗伯特·戈德布拉特。 Grothendieck拓扑作为几何形态。 (英语) Zbl 0474.03018号 Z.数学。Logik Grundlagen数学。 27495-529(1981年).MSC公司:03C99号 03B45号 10层18号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.I.Goldblatt},Z.数学。Logik Grundlagen数学。27495--529(1981年;Zbl 0474.03018) 全文: 内政部
克里斯蒂安·卡鲁德;盖奥盖·鲍恩 递归枚举语言的全局语法和语义。 (英语) 兹伯利0473.68068 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 245-254 (1981).MSC公司:65年第68季度 03D25号 18日第10天 18对25 PDF格式BibTeX公司 XML格式引用 \textit{C.Calude}和\textit{G.Paun},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.4,245--254(1981;Zbl 0473.68068)
范·奥斯多尔(D.H.van Osdol)。 A Borel地形。 (英语) Zbl 0465.18001号 加利福尼亚州。白杨。盖姆。差异。 22, 123-128 (1981).MSC公司:18对25 28A05号 PDF格式BibTeX公司 XML格式引用 \textit{D.H.van Osdol},加利福尼亚州。拓扑Géom。差异。卡特戈里克斯22123-128(1981;Zbl 0465.18001) 全文: Numdam编号 欧洲DML
亚历山大·拉杜(Alexandru Gh Radu)。 拓扑理论。第一卷(Teoria toposurilor.第一卷)。 (罗马尼亚语) Zbl 0456.18004号 Bucuresti:罗马尼亚共和国社会党编辑学院。316便士。雷19.00(1981)。MSC公司:18对25 10层18号 18层20 18甲15 03G30型 18立方厘米15 18日第15天 18B10型 18-02 PDF格式BibTeX公司 XML格式
托凡,I。 Surles类别实习生。 (法语) Zbl 0456.18005号 安。斯蒂恩。新南威尔士州Al.I.Cuza Iasi大学。,第节。国际航空公司 26, 267-269 (1980).MSC公司:18对25 PDF格式BibTeX公司 XML格式
卡鲁德,C。;马利察,M。 关于Cech拓扑空间的范畴。 (英语) Zbl 0444.54001号 《拓扑学》,第一卷,第四卷,布达佩斯,1978年,《数学》。Janos Bolyai协会23,225-232(1980)。MSC公司:54A05型 54B30型 18B30型 18对25 PDF格式BibTeX公司 XML格式
罗伯特·帕雷 索引类别和生成的拓扑。 (英语) Zbl 0444.18003号 J.纯应用。代数 19, 385-400 (1980).MSC公司:18对25 18层20 PDF格式BibTeX公司 XML格式引用 \textit{R.Pare},J.纯应用。代数19,385--400(1980;Zbl 0444.18003) 全文: 内政部
多米尼克·伯恩 这是一所拥有冠军头衔的大学。 (法语) Zbl 0441.18011号 加利福尼亚州。白杨。盖姆。差异。 21, 403-410 (1980).MSC公司:18对25 18D05日 18层20 PDF格式BibTeX公司 XML格式引用 \加利福尼亚州textit{D.Bourn}。拓扑Géom。差异。卡特戈里克斯21,403--410(1980;Zbl 0441.18011) 全文: Numdam编号 欧洲DML
罗伯特·罗斯布鲁 关于由拓扑中的运算和方程定义的代数。 (英语) Zbl 0432.18008号 J.纯应用。代数 17, 203-221 (1980).MSC公司:18二氧化碳 08C05号机组 03C05号机组 18对25 PDF格式BibTeX公司 XML格式引用 \textit{R.Rosebrugh},J.Pure应用。代数17,203--221(1980;Zbl 0432.18008) 全文: 内政部
约翰·海 有限集上拓扑之间的本质几何态射。 (英语) Zbl 0425.18005号 数学。程序。外倾角。菲洛斯。Soc公司。 87, 21-24 (1980).MSC公司:18对25 PDF格式BibTeX公司 XML格式引用 \textit{J.Haigh},数学。程序。外倾角。菲洛斯。Soc.87,21--24(1980;Zbl 0425.18005) 全文: 内政部
科尔,J.C。 对地形进行分类。 (英语) Zbl 0429.18005号 代数模型,Kategorien和Gruppoide;Stud.代数Anwend。,Bd.7,5-20(1979)。MSC公司:18对25 10层18号 03G25号 18立方厘米 PDF格式BibTeX公司 XML格式
奥斯瓦尔多·阿库纳·奥尔特加 任意拓扑中格理论的一些结果。 (西班牙语) Zbl 0438.18004号 中国。特科诺。 2, 3-6 (1978).MSC公司:18对25 03G10年 03G30型 06B99号 PDF格式BibTeX公司 XML格式引用 \textit{O.Acuna Ortega},西恩茨。特科诺。2、3--6(1978年;Zbl 0438.18004)
乔治·卢利斯 布尔值模型的无限强制。 (英语) Zbl 0418.03027号 牛市。希腊数学。Soc公司。 19, 155-182 (1978).MSC公司:03C90号 03C25号 03C30号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{G.Loullis},公牛。希腊数学。Soc.19,155--182(1978;Zbl 0418.03027) 全文: 欧洲DML
克里斯蒂安·卡鲁德 可计算性中的分类方法。二、。 (罗马尼亚语) Zbl 0405.03025号 螺柱Cercet。材料。 30, 361-383 (1978).MSC公司:1999年3月 65楼03号 18甲15 18对25 03G30型 65年第68季度 68问题55 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Calude},螺柱。证书。材料30,361--383(1978;Zbl 0405.03025)