编辑配置文件(在新选项卡中打开) 安德烈亚·坎蒂尼 合著者距离 作者ID: 斑蝥 发布日期: 安德烈亚·坎蒂尼 主页: http://unifi.academia.edu/AndreaCantini 已编制索引的文档: 42出版物自1979年以来,包括1本书 1作为编辑的贡献 审查活动: 48条评论 合著者: 5位合著者具有6联合出版物 26位合作作者 合著者 37 单作者的 三 劳拉·克罗西拉 2 皮埃尔路易吉·米纳里 1 埃托雷Casari 1 肯塔罗州藤本市 1 沃尔克·哈尔巴赫 全部的 前5名系列 5 符号逻辑杂志 4 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 4 数学逻辑季刊(MLQ) 三 Studia Logica公司 2 意大利Bollettino della Unione Matemática Italiana。VI.B系列 2 数学逻辑档案 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 Mathematische Nachrichten数学 1 圣母院形式逻辑杂志 1 Rendiconti del Matematico研讨会 1 纯逻辑与应用逻辑年鉴 1 逻辑与数学基础研究 1 Synthese库 领域 43 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 2 历史和传记(01-XX) 1 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 31出版物有被引用210中的次135文件 引用人▼ 年份▼ 关于真理形式理论的注释。 Zbl 0661.03043号 安德烈亚·坎蒂尼 43 1989 形式真值理论在算术上等价于(ID_1)。 Zbl 0713.03029号 安德烈亚·坎蒂尼 36 1990 真理和抽象的逻辑框架。公理化研究。 Zbl 0860.03015号 安德烈亚·坎蒂尼 25 1996 格里辛集合论的不可判定性。 Zbl 1039.03040号 安德烈亚·坎蒂尼 14 2003 二阶算术中选择与理解原则的关系。 Zbl 0632.03046号 安德烈亚·坎蒂尼 12 1986 多时、组合逻辑和正向安全归纳。 兹比尔1042.03015 安德烈亚·坎蒂尼 11 2002 弱应用理论的选择和一致性。 Zbl 1083.03020号 安德烈亚·坎蒂尼 8 2005 关于迭代初等归纳的谓词可约理论的注记。 Zbl 0582.03043号 安德烈亚·坎蒂尼 7 1985 基本构造运算集理论。 Zbl 1261.03149号 安德烈亚·坎蒂尼;劳拉,克罗西拉 6 2010 带近似算子的偏分类的蕴涵层次和无类型理论。 Zbl 0793.03067号 安德烈亚·坎蒂尼 5 1992 用非指示性原则扩展构造运算集理论。 Zbl 1231.03054号 安德烈亚·坎蒂尼 5 2011 有界理论的非对称解释。 Zbl 0849.03045号 安德烈亚·坎蒂尼 5 1996 带运算的构造集理论。 Zbl 1166.03031号 安德烈亚·坎蒂尼;劳拉·克罗西拉 5 2008 自我参照真理的理论证明。 Zbl 0944.03055号 安德烈亚·坎蒂尼 三 1997 基于严格(Pi^1_1)反射的集合和类的弱理论。 Zbl 0553.03034号 安德烈亚·坎蒂尼 三 1985 显式数学中的一致不可分性。 Zbl 0926.03075号 安德烈亚·坎蒂尼;皮埃尔路易吉·米纳里 2 1999 关于三值逻辑和关于真值定义的Tarski定理的注记。 Zbl 0457.03024号 安德烈亚·坎蒂尼 2 1980 基于(lambda\eta)的可行操作和应用理论。 Zbl 0968.03067号 安德烈亚·坎蒂尼 2 2000 用自相关真值扩展了组合子的一阶理论。 Zbl 0795.03075号 安德烈亚·坎蒂尼 2 1993 PA上谓词类的非扩张理论。 Zbl 0549.03051号 安德烈亚·坎蒂尼 2 1982 费费曼和真相。 Zbl 1429.03190号 安德烈亚·坎蒂尼;肯塔罗州藤本市;沃尔克·哈尔巴赫 2 2017 真实程度。 Zbl 0836.03033号 安德烈亚·坎蒂尼 1 1995 将奎因的NF与费弗曼的EM联系起来。 Zbl 0923.03068号 安德烈亚·坎蒂尼 1 1999 关于命题与真理的罗素悖论。 兹比尔1070.03002 安德烈亚·坎蒂尼 1 2004 关于D.Klaua的非阿基米德结构。 Zbl 0327.04003号 安德烈亚·坎蒂尼 1 1979 Su una teoria generale delle propertyá,basta Su schemi di compensione iterati e privi di tipi。 Zbl 0628.03017号 安德烈亚·坎蒂尼 1 1987 关于带(ε)归纳的容许集理论的一个注记,它局限于带一个量词的公式和相关系统。 Zbl 0558.03027号 安德烈亚·坎蒂尼 1 1983 关于真相和类型。 Zbl 1439.03107号 安德烈亚·坎蒂尼 1 2016 弱构造运算集理论上传递闭包的保守性。 Zbl 1317.03040号 安德烈亚·坎蒂尼;劳拉·克罗西拉 1 2012 与有限构造数类相关的抽象逻辑。 兹伯利0696.03033 安德烈亚·坎蒂尼 1 1991 真理与数学哲学。 Zbl 07598444号 安德烈亚·坎蒂尼 1 2022 真理与数学哲学。 Zbl 07598444号 安德烈亚·坎蒂尼 1 2022 费弗曼和真相。 Zbl 1429.03190号 安德烈亚·坎蒂尼;肯塔罗州藤本市;沃尔克·哈尔巴赫 2 2017 关于真相和类型。 Zbl 1439.03107号 安德烈亚·坎蒂尼 1 2016 弱构造运算集理论上传递闭包的保守性。 Zbl 1317.03040号 安德烈亚·坎蒂尼;劳拉·克罗西拉 1 2012 用非指示性原则扩展构造运算集理论。 Zbl 1231.03054号 安德烈亚·坎蒂尼 5 2011 基本构造运算集理论。 Zbl 1261.03149号 安德烈亚·坎蒂尼;劳拉·克罗西拉 6 2010 带运算的构造集理论。 Zbl 1166.03031号 安德烈亚·坎蒂尼;劳拉·克罗西拉 5 2008 弱应用理论的选择和一致性。 Zbl 1083.03020号 安德烈亚·坎蒂尼 8 2005 关于命题和真理的罗素悖论。 Zbl 1070.03002号 安德烈亚·坎蒂尼 1 2004 格里辛集合论的不可判定性。 Zbl 1039.03040号 安德烈亚·坎蒂尼 14 2003 多时、组合逻辑和正向安全归纳。 Zbl 1042.03015号 安德烈亚·坎蒂尼 11 2002 基于(lambda\eta)的可行操作和应用理论。 兹伯利0968.03067 安德烈亚·坎蒂尼 2 2000 显式数学中的一致不可分性。 Zbl 0926.03075号 安德烈亚·坎蒂尼;皮埃尔路易吉·米纳里 2 1999 将奎因的NF与费弗曼的EM联系起来。 Zbl 0923.03068号 安德烈亚·坎蒂尼 1 1999 自我参照真理的理论证明。 Zbl 0944.03055号 安德烈亚·坎蒂尼 三 1997 真理和抽象的逻辑框架。公理化研究。 Zbl 0860.03015号 安德烈亚·坎蒂尼 25 1996 有界理论的非对称解释。 Zbl 0849.03045号 安德烈亚·坎蒂尼 5 1996 真实程度。 Zbl 0836.03033号 安德烈亚·坎蒂尼 1 1995 用自相关真值扩展了组合子的一阶理论。 Zbl 0795.03075号 安德烈亚·坎蒂尼 2 1993 带近似算子的偏分类的蕴涵层次和无类型理论。 Zbl 0793.03067号 安德烈亚·坎蒂尼 5 1992 与有限构造数类相关的抽象逻辑。 Zbl 0696.03033号 安德烈亚·坎蒂尼 1 1991 形式真值理论在算术上等价于(ID_1)。 Zbl 0713.03029号 安德烈亚·坎蒂尼 36 1990 关于真理形式理论的注释。 Zbl 0661.03043号 安德烈亚·坎蒂尼 43 1989 Su una teoria generale delle propertyá,basta Su schemi di compensione iterati e privi di tipi。 Zbl 0628.03017号 安德烈亚·坎蒂尼 1 1987 二阶算术中选择与理解原则的关系。 Zbl 0632.03046号 安德烈亚·坎蒂尼 12 1986 关于迭代初等归纳的谓词可约理论的注记。 Zbl 0582.03043号 安德烈亚·坎蒂尼 7 1985 基于严格(Pi^1_1)反射的集合和类的弱理论。 兹伯利0553.03034 安德烈亚·坎蒂尼 三 1985 关于带(ε)归纳的容许集理论的一个注记,它局限于带一个量词的公式和相关系统。 Zbl 0558.03027号 安德烈亚·坎蒂尼 1 1983 PA上谓词类的非扩张理论。 Zbl 0549.03051号 安德烈亚·坎蒂尼 2 1982 关于三值逻辑和关于真值定义的Tarski定理的注记。 Zbl 0457.03024号 安德烈亚·坎蒂尼 2 1980 关于D.Klaua的非阿基米德结构。 Zbl 0327.04003号 安德烈亚·坎蒂尼 1 1979 所有引用出版物 前5名被引用出版物 全部的 前5名79位作者引用 15 托马斯·斯特拉姆 11 安德烈亚·坎蒂尼 11 贾格尔,格哈德 10 卡洛·尼古拉 9 沃尔克·哈尔巴赫 6 费歇尔·马丁 6 肯塔罗州藤本市 6 汤马斯·辛德勒 5 迈克尔·拉特扬 5 约翰·斯特恩 4 里卡多·布鲁尼 4 莱昂·霍斯顿 4 莱因哈德·卡勒 三 所罗门·费弗曼 三 格雷厄姆·埃米尔·利 三 汉内斯·莱特盖布 三 Łełyk,马特乌斯·兹比格尼尤 三 洛伦佐·保罗·罗西 三 托马斯·施图德 三 斯坦利·斯科特·韦纳 三 巴托斯·Wcisło 三 扎克·韦伯 2 卢卡·卡斯塔尔多 2 劳拉·克罗西拉 2 塞巴斯蒂安·埃伯哈德 2 费尔南德斯,安东尼奥·马尔克斯 2 费雷拉,费尔南多 2 帕特里克·R·吉拉德。 2 格拉斯,托马斯·A。 2 托比·梅多斯 2 牧师,格雷厄姆 2 迪特·普罗斯特 2 弗洛里安·兰齐 2 Daria Spescha 2 Yatabe、Shunsuke 2 利科·赞布伦 1 阿夫沙里语、巴哈雷语 1 韦恩·艾特肯 1 阿莱、东山英彦 1 杰里米·阿维加德 1 吉列尔莫·巴迪亚 1 杰弗里·巴雷特。 1 迈克尔·巴兹基 1 蒂莫·贝林格 1 弗罗德·阿尔弗森·比约达尔 1 凯·布伦勒 1 塞萨里奇什林斯基 1 乌戈·达尔拉戈 1 巴勃罗·多皮科 1 阿里·埃纳亚特 1 安东·弗洛伊德 1 Sy-David弗里德曼 1 迈克尔·格兰茨伯格 1 诺伯特·格拉茨 1 彼得·哈耶克 1 Hayashi、Daichi 1 佐藤·肯塔罗 1 迪特尔·克劳亚 1 Jönne Kriener 1 李伟 1 理查德·麦金利 1 伊莎贝尔·奥塔维姆 1 保罗·奥利瓦 1 大森,Hitoshi 1 拉维尼亚·玛丽亚·皮科洛 1 埃多尔多·里韦洛 1 克里斯蒂安·吕埃德 1 佐藤,肯塔罗 1 赫尔穆特·施维赫滕贝格 1 迈克尔·谢尔德 1 肖恩·斯坦德弗 1 大卫·斯坦纳 1 埃里克·托马斯·厄普代克 1 安德烈亚斯·魏尔曼 1 菲利普·韦尔奇。 1 亚历克斯·詹姆斯·威尔基 1 王天乐 1 马蒂奥·齐切蒂 1 杰弗里·扎克。 全部的 前5名18篇连载文章中引用 21 纯逻辑与应用逻辑年鉴 18 符号逻辑述评 16 哲学逻辑杂志 16 符号逻辑杂志 12 数学逻辑档案 7 Studia Logica公司 7 符号逻辑公报 6 数学逻辑季刊(MLQ) 4 圣母院形式逻辑杂志 三 合成 2 Archive für Mathematische Logik und Grundlagenforschung公司 2 理论计算机科学 2 逻辑与代数程序设计杂志 1 逻辑历史与哲学 1 信息与计算 1 埃尔肯特尼斯 1 数学逻辑杂志 1 Logicheskie Issledovaniya逻辑 全部的 前5名在7个字段中引用 134 数学逻辑和基础(03-XX) 8 计算机科学(68至XX) 6 总体主题;集合(00-XX) 2 历史和传记(01-XX) 2 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文