Rosser-type Henkin sentences and local reflection principles

Rosser-type Henkin sentences and local reflection principles
复制标题

Rosser型Henkin句子和局部反射原理

DOI:
--
复制
发表时间:
2015
期刊:
影响因子:
--
通讯作者:
倉橋太志
倉橋太志
中科院分区:
--
文献类型:
--
作者:
倉橋太志

文献摘要

参考文献

被引文献

相似文献

不完整的方面
DOI: 10.1017/9781316716854
发表时间: 2017
期刊: The Review of Symbolic Logic
影响因子: --
作者:
Per Lindström
通讯作者: Per Lindström
算术中的自引用 I
DOI: 10.1017/s1755020314000288
发表时间: 2014
期刊: The Review of Symbolic Logic
影响因子: --
作者:
HALBACH V
通讯作者: HALBACH V
关于局部反射原则的注释
DOI: 10.1111/j.1755-2567.1997.tb00744.x
发表时间: 1995
影响因子: 7
作者:
L. Beklemishev
通讯作者: L. Beklemishev
关于亨金问题
DOI: --
发表时间: 1953
期刊:
影响因子: --
作者:
G. Kreisel
通讯作者: G. Kreisel
反射原理及其在建立公理系统复杂性中的用途
DOI: --
发表时间: 1968
期刊:
影响因子: --
作者:
G. Kreisel;A. Levy
通讯作者: A. Levy