编辑配置文件(在新选项卡中打开) Joost J.乔斯特恩。 合著者距离 作者ID: 乔斯坦·乔斯特-j 发布日期: Joost J.乔斯特恩。 外部链接: MGP公司·ORCID公司·数据库许可证 已编制索引的文档: 45出版物自2000年以来,包括7其他arXiv预打印 1作为编辑的贡献 审查活动: 3评论 合著者: 30位合著者具有38联合出版物 493合著作者 全部的 前5名合著者 8 单作者的 13 大卫·费尔南德斯·杜克 7 埃文·戈利斯 5 阿纳州阿尔梅达博尔赫斯 三 贝尔科娃,玛尔塔 三 卢卡·米凯克 2 列夫·贝克莱米舍夫。 2 安德烈斯·科多恩·佛朗哥 2 爱德华多·赫莫·雷耶斯 2 费尔南多·索勒·托斯卡诺 2 阿尔伯特·维瑟 1 费利克斯·布 1 卡贝洛,阿丹 1 科内杰罗·罗德里格斯(Conejero Rodríguez)、胡安·何塞(Juan José) 1 迪克·乔恩。 1 米雷亚González Bedmar 1 托马斯·哈科尼米 1 托马斯·伊卡德(Thomas F.III) 1 罗莎莉,伊姆霍夫 1 拉拉·马汀(Lara-Martín),弗朗西斯科·费利克斯(Francisco Felix) 1 费多尔·帕霍莫夫。 1 康斯坦蒂诺斯·帕帕菲利波 1 康斯特纳蒂诺斯州帕帕菲利波 1 尼卡·波纳 1 扬·马斯·罗维拉 1 汉斯·皮特·范·迪特马什 1 范·艾伊克(Jan van Eijck) 1 马可·罗伯特·弗沃特 1 姆拉丹·武科维奇 1 安德烈亚斯·魏尔曼 1 赫克托·泽尼尔 全部的 前5名系列 5 符号逻辑杂志 4 圣母院形式逻辑杂志 4 IGPL逻辑杂志 三 纯逻辑与应用逻辑年鉴 2 逻辑研究 2 逻辑与计算杂志 1 信息与计算 1 数学逻辑档案 1 澳大利亚组合数学杂志 1 数学逻辑季刊(MLQ) 1 数学通信 1 埃尔肯尼斯 1 数学物理进展 1 致敬 全部的 前5名字段 38 数学逻辑和基础(03-XX) 6 计算机科学(68至XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 测量和集成(28-XX) 1 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 29出版物有被引用151中的次55文件 引用人▼ 年份▼ 关于线性序模态的可证明逻辑。 Zbl 1322.03042号 列夫·贝克莱米舍夫。;大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 14 2014 超限可证明逻辑模型。 兹比尔1275.03158 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 13 2013 对Japaridze可证明逻辑的封闭片段的有限处理。 Zbl 1080.03038号 列夫·贝克莱米舍夫。;Joost J.乔斯特恩。;马尔科·弗沃特 12 2005 所有合理算术理论的可解释性逻辑中的一个新原则。 Zbl 1228.03040号 埃文·戈利斯;Joost J.乔斯特恩。 11 2011 超限Japaridze代数中的良序。 Zbl 1405.03095号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 10 2014 一种用于纸牌玩家的安全附加协议。 Zbl 1286.94095号 安德烈斯·科多恩·佛朗哥;汉斯·范·迪特马什;大卫·费尔南德斯·杜克;Joost J.乔斯特恩。;费尔南多·索勒·托斯卡诺 9 2012 超限可证明逻辑的欧米伽规则解释。 Zbl 1429.03211号 Fernández Duque,大卫;Joost J.乔斯特恩。 8 2018 模态对可解释性逻辑很重要。 Zbl 1162.03033号 埃文·戈利斯;Joost J.乔斯特恩。 7 2008 算术理论的图灵-泰勒展开。 Zbl 1417.03297号 Joost J.乔斯特恩。 7 2016 双曲线、Veblen级数和序数函数的超限迭代。 Zbl 1383.03055号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 7 2013 所有合理算术理论的可解释性逻辑。新的推测。 Zbl 0974.03049号 Joost J.乔斯特恩。;阿尔伯特·维瑟 6 2000 图灵跳过了可证明性。 Zbl 1461.03056号 Joost J.乔斯特恩。 6 2015 超限可证明逻辑的克里普克模型。 Zbl 1301.03063号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 5 2012 Turing-Schmerl演算的关系语义。 Zbl 1418.03086号 爱德华多·赫莫·雷耶斯;Joost J.乔斯特恩。 5 2018 通过超限反射的预测性。 Zbl 1402.03086号 安德烈斯·科多恩·佛朗哥;大卫·费尔南德斯·杜克;Joost J.乔斯特恩。;拉拉·马汀,弗朗西斯科·费利克斯 4 2017 PRA的可解释性逻辑的闭合片段,具有I\(\西格玛^1)的常数。 Zbl 1077.03034号 Joost J.乔斯特恩。 三 2005 \(Pi_1^0)-超越一阶算术的序数分析。 Zbl 1298.03111号 Joost J.乔斯特恩。 三 2013 实现受限的可证明性和可解释性逻辑。 Zbl 1255.03054号 托马斯·伊卡德。;Joost J.乔斯特恩。 三 2012 图灵级数及其良好次序。 Zbl 1358.03093号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 三 2012 IL的闭合片段为PSPACE硬。 兹比尔1347.03040 费利克斯·布;Joost J.乔斯特恩。 2 2011 分形维数与过程复杂性。 Zbl 1401.68078号 Joost J.乔斯特恩。;费尔南多·索勒·托斯卡诺;赫克托耳齐尼尔 2 2016 自我证明和(Sigma_{1})句子。 Zbl 1252.03140号 埃文·戈利斯;Joost J.乔斯特恩。 2 2012 审慎监管局的可解释性。 Zbl 1184.03011号 贝尔科娃,玛尔塔;迪克·德·乔恩;Joost J.乔斯特恩。 2 2009 蠕虫演算。 Zbl 1418.03076号 阿纳州阿尔梅达博尔赫斯;Joost J.乔斯特恩。 2 2018 所有合理的算术理论的可解释性逻辑中的两个新的原则系列。 Zbl 1471.03085号 埃文·戈利斯;Joost J.乔斯特恩。 1 2020 Münchhausen可证明性。 Zbl 1509.03162号 Joost J.乔斯特恩。 1 2021 一种形式的量化反射演算。 Zbl 07585705号 阿纳州阿尔梅达博尔赫斯;Joost J.乔斯特恩。 1 2020 阿尔贝蒂自由之友会。向阿尔伯特·维瑟致敬。 Zbl 1367.03011号 1 2016 图灵级数的逻辑。 Zbl 1452.03132号 爱德华多·赫莫·雷耶斯;Joost J.乔斯特恩。 1 2020 Münchhausen可证明性。 Zbl 1509.03162号 Joost J.乔斯特恩。 1 2021 所有合理的算术理论的可解释性逻辑中的两个新的原则系列。 兹比尔1471.03085 埃文·戈利斯;Joost J.乔斯特恩。 1 2020 一种形式的量化反射演算。 Zbl 07585705号 阿纳州阿尔梅达博尔赫斯;Joost J.乔斯特恩。 1 2020 图灵级数的逻辑。 Zbl 1452.03132号 爱德华多·赫莫·雷耶斯;Joost J.乔斯特恩。 1 2020 超限可证明逻辑的欧米伽规则解释。 Zbl 1429.03211号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 8 2018 Turing-Schmerl演算的关系语义。 兹伯利1418.03086 爱德华多·赫莫·雷耶斯;Joost J.乔斯特恩。 5 2018 蠕虫演算。 Zbl 1418.03076号 阿纳州阿尔梅达博尔赫斯;Joost J.乔斯特恩。 2 2018 通过超限反射的预测性。 兹比尔1402.03086 安德烈斯·科多恩·佛朗哥;大卫·费尔南德斯·杜克;Joost J.乔斯特恩。;拉拉·马汀,弗朗西斯科·费利克斯 4 2017 算术理论的图灵-泰勒展开。 Zbl 1417.03297号 Joost J.乔斯特恩。 7 2016 分形维数与过程复杂性。 Zbl 1401.68078号 Joost J.乔斯特恩。;费尔南多·索勒·托斯卡诺;赫克托·泽尼尔 2 2016 阿尔贝蒂自由之友会。向阿尔伯特·维瑟致敬。 Zbl 1367.03011号 1 2016 图灵跳过了可证明性。 Zbl 1461.03056号 Joost J.乔斯特恩。 6 2015 关于线性序模态的可证明逻辑。 Zbl 1322.03042号 列夫·贝克莱米舍夫。;大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 14 2014 超限Japaridze代数中的良序。 Zbl 1405.03095号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 10 2014 超限可证明逻辑模型。 Zbl 1275.03158号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 13 2013 序数函数的Hyperations、Veblen进行式和超限迭代。 Zbl 1383.03055号 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 7 2013 \(Pi_1^0)-超越一阶算术的序数分析。 Zbl 1298.03111号 Joost J.乔斯特恩。 三 2013 用于纸牌播放器的安全附加协议。 Zbl 1286.94095号 安德烈斯·科多恩·佛朗哥;汉斯·范·迪特马什;大卫·费尔南德斯·杜克;Joost J.乔斯特恩。;费尔南多·索勒·托斯卡诺 9 2012 超限可证明逻辑的克里普克模型。 Zbl 1301.03063号 Fernández Duque,大卫;Joost J.乔斯特恩。 5 2012 实现受限的可证明性和可解释性逻辑。 Zbl 1255.03054号 托马斯·伊卡德。;Joost J.乔斯特恩。 三 2012 图灵级数及其良好次序。 兹比尔1358.03093 大卫·费尔南德斯·杜克;Joost J.乔斯特恩。 三 2012 自我证明和(Sigma_{1})句子。 Zbl 1252.03140号 埃文·戈利斯;Joost J.乔斯特恩。 2 2012 所有合理算术理论的可解释性逻辑中的一个新原则。 Zbl 1228.03040号 埃文·戈利斯;Joost J.乔斯特恩。 11 2011 IL的闭合片段为PSPACE硬。 Zbl 1347.03040号 费利克斯·布;Joost J.乔斯特恩。 2 2011 审慎监管局的可解释性。 Zbl 1184.03011号 贝尔科娃,玛尔塔;迪克·德·乔恩;Joost J.乔斯特恩。 2 2009 模态对可解释性逻辑很重要。 Zbl 1162.03033号 埃文·戈利斯;Joost J.乔斯特恩。 7 2008 对Japaridze可证明逻辑的封闭片段的有限处理。 Zbl 1080.03038号 列夫·贝克莱米舍夫。;Joost J.乔斯特恩。;马尔科·弗沃特 12 2005 PRA可解释性逻辑的闭合片段,I(Sigma^1)具有常数。 Zbl 1077.03034号 Joost J.乔斯特恩。 三 2005 所有合理算术理论的可解释性逻辑。新的推测。 Zbl 0974.03049号 Joost J.乔斯特恩。;阿尔伯特·维瑟 6 2000 所有引用出版物 前5名被引用出版物 全部的 前5名44位作者引用 17 Joost J.乔斯特恩。 13 大卫·费尔南德斯·杜克 8 列夫·贝克莱米舍夫。 三 安德烈斯·科多恩·佛朗哥 三 费多尔·帕霍莫夫。 三 塞尔吉奥·拉杰斯鲍姆 三 汉斯·皮特·范·迪特马什 三 阿尔伯特·维瑟 三 姆拉丹·武科维奇 2 胡安·巴勃罗·阿奎莱拉 2 玛尔塔·比尔科娃 2 埃文·戈利斯 2 爱德华多·赫莫·雷耶斯 2 卢卡·米凯克 2 田佩尔科夫 2 费尔南多·索勒·托斯卡诺 2 道格拉斯·罗伯特·斯蒂森 2 科琳·M·斯旺森。 1 瓦伦特阿努科勒 1 Joan Bagaria 1 卡拉奇,维德兰 1 E.V.达什科夫。 1 阿纳州阿尔梅达博尔赫斯 1 迪克·乔恩。 1 拉米·艾哈迈德·艾尔纳布利斯 1 托马索·弗拉米尼奥 1 大卫·加伯里亚 1 沃尔克·哈尔巴赫 1 塞巴斯蒂安·霍瓦特 1 托马斯·伊卡德(Thomas F.III) 1 埃米尔·杰瓦贝克 1 科瓦奇(Vjekoslav) 1 Kurahashi、Taishi 1 埃斯特班·兰德雷切 1 拉拉·马汀(Lara-Martín),弗朗西斯科·费利克斯(Francisco Felix) 1 佐伊·莱瓦·阿科斯塔 1 佛朗哥·蒙塔格纳 1 安东尼奥·蒙塔尔班 1 帕帕菲利波,Konstnatinos 1 爱德华多·帕斯库阿尔·阿塞夫 1 Duccio Pianigiani 1 比勒尔·塞尔米 1 维什纳维桑达拉扬 1 S.P.苏雷什。 全部的 前5名19篇连载文章中引用 8 符号逻辑杂志 8 数学逻辑档案 6 纯逻辑与应用逻辑年鉴 4 逻辑研究 三 圣母院形式逻辑杂志 三 设计、代码和密码 三 数学逻辑季刊(MLQ) 2 理论计算机科学 2 Doklady数学 1 机械学报 1 数学笔记 1 俄罗斯数学调查 1 Quaestions数学 1 美国数学学会汇刊 1 信息与计算 1 澳大利亚组合数学杂志 1 组合数学电子杂志 1 Izvestiya:数学 1 泛逻辑 全部的 前5名在12个字段中引用 44 数学逻辑和基础(03-XX) 9 信息与通信理论、电路(94-XX) 5 一般拓扑结构(54至XX) 4 计算机科学(68至XX) 三 组合数学(05-XX) 2 历史和传记(01-XX) 2 测量和集成(28-XX) 1 阶、格、有序代数结构(06-XX) 1 变异微积分和最优控制;最优化(49至XX) 1 几何图形(51至XX) 1 统计力学,物质结构(82-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文