编辑配置文件（在新选项卡中打开） 朱塞佩·罗索里尼 合著者距离 作者ID： 罗索里尼·朱塞佩 发布日期： 朱塞佩·罗索里尼；罗索里尼，G。 外部链接： 管理程序 已编制索引的文档： 58出版物自1978年以来，包括2个附加arXiv预打印 5名编辑的贡献 合著者： 31位合著者具有46联合出版物 650位合作作者 全部的 前5名合著者 15 单作者的 7 玛丽亚·艾米莉亚·梅耶蒂 6 安娜·布卡洛 6 法比奥·帕斯夸利 6 Edmund P.罗宾逊。 5 拉尔斯·比克达尔 4 雅各布·埃梅内格 4 达娜·斯图尔特·斯科特 三 马塞洛·菲奥雷（Marcelo P.Fiore）。 三 Hyland，J.Martin E。 三 权力，约翰 2 彼得·弗雷德。 2 朱利娅·弗罗索尼 2 莫格尔贝里，拉斯穆斯·埃杰勒斯 2 托马斯·斯特里彻 2 雅普·范·奥斯汀 1 阿达梅克，吉安尼 1 马可·布赖特·卡米纳蒂 1 奥雷里奥·卡博尼 1 弗朗西斯科·达格尼诺 1 保罗·金蒂里尼 1 马丁·霍夫曼 1 乔治·詹利泽 1 迈克尔·麦凯 1 Maurizio Martelli 1 卢卡·梅西蒂 1 尤金尼奥·莫吉 1 Misao Nagayama 1 巴甫洛维奇，杜什科 1 罗伯特·罗斯布鲁。 1 阿莱西奥·桑塔马利亚 1 法比奥·施雷伯（Fabio A.Schreiber）。 1 丹尼尔·卡洛·斯特拉帕 1 克里斯蒂娜·图里尼 全部的 前5名系列 4 纯粹与应用代数杂志 三 帕尔马马蒂马蒂卡德拉大学Rivista di Matematica della Universityádi Parma。系列IV 三 理论计算机科学 三 纯逻辑与应用逻辑年鉴 三 MSCS公司。计算机科学中的数学结构 2 信息与计算 2 理论计算机科学电子笔记 2 第比利斯数学杂志 1 信息处理信件 1 符号逻辑杂志 1 伦敦数学学会会刊。第三系列 1 尼泊尔数学科学报告 1 自动推理杂志 1 国际计算机科学基础杂志 1 应用的分类结构 1 范畴的理论与应用 1 帕尔马马蒂马蒂卡德拉大学Rivista di Matematica della Universityádi Parma。6系列 1 计算机基础理论 1 逻辑与逻辑哲学 1 意大利马特马提卡联盟（Bollettino della Unione Matematica Italiana）。V.A系列 1 计算机科学课堂讲稿 1 泛逻辑 1 同伦及相关结构杂志 1 计算机科学中的逻辑方法 1 La Matematica nella Societyáe nella Cultura协会。I系列 1 逻辑与分析杂志 全部的 前5名领域 44 范畴理论；同调代数（18-XX） 39 数学逻辑和基础（03-XX） 20 计算机科学（68至XX） 6 阶、格、有序代数结构（06-XX） 5 总体主题；集合（00-XX） 5 一般拓扑结构（54-XX） 1 历史和传记（01-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 41出版物有被引用291中的次186文件 引用人▼ 年份▼ 局部映射的类别。 Zbl 0656.18001号 罗宾逊，E。；罗索里尼，G。 58 1988 有效地形中的离散对象。 Zbl 0703.18002号 海兰德，J.M.E。；罗宾逊，E.P。；罗索里尼，G。 38 1990 完成初等商。 Zbl 1288.03048号 玛丽亚·艾米莉亚·梅耶蒂；朱塞佩·罗索里尼 29 2013 构成数学基础的商补全。 Zbl 1288.03049号 玛丽亚·艾米莉亚·梅耶蒂；朱塞佩·罗索里尼 28 2013 通过精确分类的类型理论。（扩展摘要）。 Zbl 0945.03542号 伯克达尔，L。；卡博尼，A。；罗索里尼，G。；D.S.斯科特。 21 1998 统一精确完井。 Zbl 1386.03074号 玛丽亚·艾米莉亚·梅耶蒂；朱塞佩·罗索里尼 19 2015 Colimit完井和有效地形。 兹比尔0713.18003 埃德蒙·罗宾逊；朱塞佩·罗索里尼 18 1990 关于适度设置。 Zbl 0729.18003号 罗索里尼，G。 12 1990 扩展PER。 Zbl 0762.18006号 弗雷德，P。；Mulry，P。；罗索里尼，G。；D.斯科特。 11 1992 非类型化（lambda）演算的Engeler型模型的范畴理论公式。 Zbl 1276.03016号 马丁·海兰德；Misao Nagayama；权力，约翰；朱塞佩·罗索里尼 10 2006 三元组、精确补全和Hilbert’s（varepsilon）-运算符。 Zbl 1401.03109号 玛丽亚·艾米莉亚·梅耶蒂；法比奥·帕斯夸利；朱塞佩·罗索里尼 10 2017 通过范畴逻辑完成关联商。 Zbl 1433.03164号 玛丽亚·艾米莉亚·梅耶蒂；朱塞佩·罗索里尼 7 2016 类别和有效计算。 Zbl 0643.03049号 罗索里尼，G。 6 1987 抽象地看待可实现性。 Zbl 0999.03059号 埃德蒙·罗宾逊；朱塞佩·罗索里尼 6 2001 等价空间和过滤空间。 Zbl 0962.18002号 朱塞佩·罗索里尼 6 2000 免费的不饱和性。 Zbl 0783.18003号 彼得·弗雷德。；Edmund P.罗宾逊。；朱塞佩·罗索里尼 5 1992 Un modello per la teoria intuizionista degli insiemi公司。 Zbl 0521.03038号 朱塞佩·罗索里尼 5 1983 综合领域理论的两个模型。 Zbl 0879.18007号 马塞洛·菲奥雷（Marcelo P.Fiore）。；朱塞佩·罗索里尼 5 1997 作为联盟的基本教义。 Zbl 1469.18008号 雅各布·埃梅内格；法比奥·帕斯夸利；朱塞佩·罗索里尼 5 2020 Mizar中的自定义自动化。 Zbl 1260.68367号 马可·布赖特·卡米纳蒂；朱塞佩·罗索里尼 4 2013 作为同伦商的平衡空间和有效拓扑的范畴。 Zbl 1375.18018号 朱塞佩·罗索里尼 三 2016 领域和领域类别。 Zbl 0606.03011号 朱塞佩·罗索里尼 2 1985 完整性和相关层。 Zbl 0933.18004号 安娜·布卡洛；朱塞佩·罗索里尼 2 1998 平衡空间的沉醉。 Zbl 1420.18006号 安娜·布卡洛；朱塞佩·罗索里尼 2 2014 比较高级计算模型。 兹比尔0958.68063 罗索里尼，G。；斯特里彻，Th。 2 1999 p-范畴的表示定理。 兹比尔0673.18004 罗索里尼，G。 2 1988 双幂单子的等价空间和代数。 Zbl 1425.18002号 朱利亚·弗罗索尼；朱塞佩·罗索里尼 2 2017 PER模型中的代数类型。 Zbl 1509.68049号 海兰德，J.M.E。；罗宾逊，E.P。；罗索里尼，G。 2 1990 Quest的专家模型。 Zbl 1518.68035号 罗索里尼，G。 1 1992 基本纤维的特征。 Zbl 1492.18008号 雅各布·埃梅内格；法比奥·帕斯夸利；朱塞佩·罗索里尼 1 2022 \（H\）中的域。 Zbl 0974.68112号 菲奥雷，M.P。；罗索里尼，G。 1 2001 域方程的定点运算符。 Zbl 1002.68087号 权力，约翰；朱塞佩·罗索里尼 1 2002 关于预订单Cauchy完备性的注记。 Zbl 0957.18002号 朱塞佩·罗索里尼 1 1999 领域和领域类别。 Zbl 0592.03033号 朱塞佩·罗索里尼 1 1985 举起。 Zbl 0881.18005号 安娜·布卡洛；朱塞佩·罗索里尼 1 1997 线性Abadi&Plotkin逻辑的综合域理论和模型。 Zbl 1153.03007号 莫格尔贝里，拉斯穆斯·埃杰勒斯；拉尔斯·比克达尔；朱塞佩·罗索里尼 1 2008 指称语义的模块化方法。 Zbl 0913.18005号 权力，约翰；朱塞佩·罗索里尼 1 1998 研究警察的饱腹感。 Zbl 0911.68127号 迈克尔·麦凯；朱塞佩·罗索里尼 1 1997 配位、共模和拓扑空间。 Zbl 1077.03037号 A.布卡洛。；罗索里尼，G。 1 2006 初等商补全、Church的论文和分区集合。 Zbl 1509.03178号 玛丽亚·艾米莉亚·梅耶蒂；法比奥·帕斯夸利；朱塞佩·罗索里尼 1 2019 丰富群胚的基本纤维。 Zbl 07547338号 雅各布·埃梅内格；法比奥·帕斯夸利；朱塞佩·罗索里尼 1 2021 基本纤维的特征。 Zbl 1492.18008号 雅各布·埃梅内格；法比奥·帕斯夸利；朱塞佩·罗索里尼 1 2022 丰富群胚的基本纤维。 Zbl 07547338号 雅各布·埃梅内格；法比奥·帕斯夸利；朱塞佩·罗索里尼 1 2021 作为联盟的基本教义。 Zbl 1469.18008号 雅各布·埃梅内格；法比奥·帕斯夸利；朱塞佩·罗索里尼 5 2020 初等商补全，Church的论文，以及党派集会。 Zbl 1509.03178号 玛丽亚·艾米莉亚·梅耶蒂；法比奥·帕斯夸利；朱塞佩·罗索里尼 1 2019 三元组、精确补全和Hilbert’s（varepsilon）-运算符。 兹比尔1401.03109 玛丽亚·艾米莉亚·梅耶蒂；法比奥·帕斯夸利；朱塞佩·罗索里尼 10 2017 双幂单子的等价空间和代数。 Zbl 1425.18002号 朱利亚·弗罗索尼；朱塞佩·罗索里尼 2 2017 通过范畴逻辑完成关联商。 Zbl 1433.03164号 玛丽亚·艾米莉亚·梅耶蒂；朱塞佩·罗索里尼 7 2016 作为同伦商的平衡空间和有效拓扑的范畴。 Zbl 1375.18018号 朱塞佩·罗索里尼 三 2016 统一精确完井。 Zbl 1386.03074号 玛丽亚·艾米莉亚·梅耶蒂；朱塞佩·罗索里尼 19 2015 平衡空间的沉醉。 Zbl 1420.18006号 安娜·布卡洛；朱塞佩·罗索里尼 2 2014 完成初等商。 Zbl 1288.03048号 玛丽亚·艾米莉亚·梅耶蒂；朱塞佩·罗索里尼 29 2013 构成数学基础的商补全。 Zbl 1288.03049号 玛丽亚·艾米莉亚·梅耶蒂；朱塞佩·罗索里尼 28 2013 Mizar中的自定义自动化。 Zbl 1260.68367号 马可·布赖特·卡米纳蒂；朱塞佩·罗索里尼 4 2013 线性Abadi&Plotkin逻辑的综合域理论和模型。 Zbl 1153.03007号 莫格尔贝里，拉斯穆斯·埃杰勒斯；拉尔斯·比克达尔；朱塞佩·罗索里尼 1 2008 非类型化（lambda）演算的Engeler型模型的范畴理论公式。 Zbl 1276.03016号 马丁·海兰德；Misao Nagayama；权力，约翰；朱塞佩·罗索里尼 10 2006 配位、共模和拓扑空间。 Zbl 1077.03037号 A.布卡洛。；罗索里尼，G。 1 2006 域方程的定点运算符。 Zbl 1002.68087号 权力，约翰；朱塞佩·罗索里尼 1 2002 抽象地看待可实现性。 Zbl 0999.03059号 埃德蒙·罗宾逊；朱塞佩·罗索里尼 6 2001 \（H\）中的域。 Zbl 0974.68112号 菲奥雷，M.P。；罗索里尼，G。 1 2001 等价空间和过滤空间。 Zbl 0962.18002号 朱塞佩·罗索里尼 6 2000 比较高级计算模型。 Zbl 0958.68063号 罗索里尼，G。；斯特里彻，Th。 2 1999 关于预订单的Cauchy完备性的一个注记。 Zbl 0957.18002号 朱塞佩·罗索里尼 1 1999 通过精确分类的类型理论。（扩展摘要）。 兹比尔0945.03542 伯克达尔，L。；卡博尼，A。；罗索里尼，G。；斯科特博士。 21 1998 完整性和相关层。 Zbl 0933.18004号 安娜·布卡洛；朱塞佩·罗索里尼 2 1998 指称语义的模块化方法。 Zbl 0913.18005号 权力，约翰；朱塞佩·罗索里尼 1 1998 综合领域理论的两个模型。 Zbl 0879.18007号 马塞洛·菲奥雷（Marcelo P.Fiore）。；朱塞佩·罗索里尼 5 1997 举起。 Zbl 0881.18005号 安娜·布卡洛；朱塞佩·罗索里尼 1 1997 研究警察的饱腹感。 Zbl 0911.68127号 迈克尔·麦凯；朱塞佩·罗索里尼 1 1997 扩展PER。 Zbl 0762.18006号 弗雷德，P。；莫里，P。；罗索里尼，G。；D.斯科特。 11 1992 免费的不饱和性。 Zbl 0783.18003号 彼得·弗雷德。；Edmund P.罗宾逊。；朱塞佩·罗索里尼 5 1992 Quest的专家模型。 Zbl 1518.68035号 罗索里尼，G。 1 1992 有效地形中的离散对象。 Zbl 0703.18002号 海兰德，J.M.E。；罗宾逊，E.P。；罗索里尼，G。 38 1990 Colimit完井和有效地形。 Zbl 0713.18003号 埃德蒙·罗宾逊；朱塞佩·罗索里尼 18 1990 关于适度设置。 Zbl 0729.18003号 罗索里尼，G。 12 1990 PER模型中的代数类型。 Zbl 1509.68049号 海兰德，J.M.E。；罗宾逊，E.P。；罗索里尼，G。 2 1990 局部映射的类别。 Zbl 0656.18001号 罗宾逊，E。；罗索里尼，G。 58 1988 p-范畴的表示定理。 Zbl 0673.18004号 罗索里尼，G。 2 1988 分类和有效计算。 Zbl 0643.03049号 罗索里尼，G。 6 1987 领域和领域类别。 兹伯利0606.03011 朱塞佩·罗索里尼 2 1985 领域和领域类别。 Zbl 0592.03033号 朱塞佩·罗索里尼 1 1985 根据感染性肠胃炎模型。 Zbl 0521.03038号 朱塞佩·罗索里尼 5 1983 所有引用的出版物 前5名被引用出版物 全部的 前5名175位作者引用 12 朱塞佩·罗索里尼 10 玛丽亚·艾米莉亚·梅耶蒂 9 科科特，J.罗宾B。 9 萨缪尔·马斯基奥 8 法比奥·帕斯夸利 7 雅普·范·奥斯汀 6 安德烈·鲍尔 6 雅各布·埃梅内格 6 戴维·特罗塔 5 安德烈亚·科拉迪尼 5 Hyland，J.Martin E。 5 权力，约翰 5 阿莱西奥·桑塔马利亚 5 菲利普·斯科特。 5 亚历克斯·K·辛普森。 4 托拜厄斯·海因德尔 4 彼得·霍夫斯特拉（Pieter J.W.Hofstra）。 4 朱塞佩·隆戈 4 托马斯·斯特里彻 三 保罗·巴尔丹 三 马塞洛·菲奥雷（Marcelo P.Fiore）。 三 弗雷、乔纳斯 三 法比奥·加杜奇 三 Richard加纳 三 哈拉尔德·科尼格 三 莱克，斯蒂芬 三 朱利奥·曼佐内托 三 盖·安德鲁·麦库斯克 三 尤金尼奥·莫吉 三 乌戈·蒙塔纳里。 三 菲利普·莫里。 三 埃里克·帕尔姆格伦 三 卢茨·施罗德 三 巴布亚州索波辛斯基 三 帕特里克·Stünkel 三 本诺·范登伯格 2 霍尔格·博克·阿克塞尔森 2 菲利波·邦奇 2 瓦尔省布雷祖·坦南 2 罗伯托·布鲁尼 2 安娜·布卡洛 2 奥雷里奥·卡博尼 2 可口、蒂埃里 2 皮埃尔·卢伊斯·居里 2 瓦莱里亚·德·佩瓦 2 彼得·弗雷德。 2 朱利娅·弗罗索尼 2 尼古拉·甘比诺 2 石原、Hajime 2 罗宾·卡斯加德 2 川原康夫 2 Tatsuji Kawai 2 巴巴拉·科尼格 2 Lin，Daniel W。 2 马内斯（Ernie G.Manes）。 2 马蒂亚斯·梅尼 2 吉弘美口 2 莫格尔贝里，拉斯穆斯·埃杰勒斯 2 蒂尔·莫萨科夫斯基 2 亚当·纳莫维奇 2 卫斯理·菲亚 2 迈克尔·拉特扬 2 多梅尼科·鲁阿波洛 2 安德烈·斯切德罗夫 2 马蒂奥·斯帕代托 2 沃特·皮特·斯特克伦伯格 2 格林·温斯克尔 2 拉法·齐奥布罗 1 马丁·阿巴迪 1 萨姆森·艾布拉姆斯基 1 花生四烯酸盐、瓦西里欧斯 1 史蒂夫·阿沃迪 1 屋大维巴布斯 1 E.S.班布里奇。 1 英戈·巴滕菲尔德 1 拉尔斯·比克达尔 1 阿列舍·比兹亚克 1 理查德·布鲁特（Richard F.Blute）。 1 弗朗西斯·博尔塞克斯 1 Tour男孩，蒂埃里 1 弗拉维恩·布鲁瓦特 1 布鲁斯（Kim B.Bruce）。 1 Marta C.邦吉。 1 费德里科·坎帕尼尼 1 奥利维亚·卡拉梅尔 1 卢卡·卡德利 1 弗朗西斯科·西罗洛 1 米歇尔·康坦特 1 杰弗里·S·H·克鲁特韦尔。 1 弗朗西斯科·达格尼诺 1 文森特·达诺斯 1 汤姆·J·德容。 1 迪亚科内斯库，勒兹万 1 迪亚斯·博伊尔斯，约阿金 1 易卜拉希米、穆罕默德·迈赫迪 1 托马斯·埃尔哈德 1 艾米·费尔蒂（Amy P.Felty）。 1 丹尼尔·菲格罗亚（Daniel G.Figueroa）。 1 斯泰西·芬克尔斯坦。 1 迈克尔·保罗·福曼 …还有75位作者 全部的 前5名30篇连载文章中引用 38 理论计算机科学 20 纯逻辑与应用逻辑年鉴 18 MSCS公司。计算机科学中的数学结构 14 纯粹与应用代数杂志 8 应用的分类结构 7 计算机科学中的逻辑方法 6 范畴的理论与应用 5 信息与计算 4 符号逻辑杂志 4 数学逻辑档案 三 泛逻辑 三 程序设计中的逻辑和代数方法杂志 2 Annali di Matematica Pura ed Applicata公司。四分之一系列 2 拓扑及其应用 2 第比利斯数学杂志 2 形式化数学 1 数学物理中的字母 1 剑桥哲学学会数学进展杂志 1 爱丁堡数学学会会刊。系列II 1 Quaestions数学 1 数学社会科学 1 自动推理杂志 1 计算的形式方面 1 国际代数与计算杂志 1 美国数学学会公报。新系列 1 图表 1 选择Mathematica。新系列 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 同伦及相关结构杂志 1 逻辑与分析杂志 全部的 前5名19个领域引用 128 范畴理论；同调代数（18-XX） 99 数学逻辑和基础（03-XX） 88 计算机科学（68至XX） 11 阶、格、有序代数结构（06-XX） 6 一般拓扑结构（54-XX） 4 代数拓扑（55-XX） 2 结合环与代数（16-XX） 1 历史和传记（01-XX） 1 组合数学（05-XX） 1 一般代数系统（08-XX） 1 数论（11-XX） 1 群论与推广（20-XX） 1 序列、级数、可和性（40-XX） 1 功能分析（46倍X倍） 1 整体分析，流形分析（58至XX） 1 量子理论（81-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文