×
作者ID: 乔斯坦·乔斯特-jJoosten,Joost J.最近发表的zbMATH文章
发布日期: Joost J.乔斯特恩。
外部链接: MGP公司·ORCID公司·数据库许可证
已编制索引的文档: 45出版物自2000年以来,包括7其他arXiv预打印
1作为编辑的贡献
审查活动: 3评论
合著者: 30位合著者具有38联合出版物
493合著作者

按年份列出的出版物

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

按年份列出的引文