Note on sharply bounded arithmetic

被引：0

|

作者：

Johannsen, J.

机构：

来源：

Archive for Mathematical Logic | 1994年 / 33卷 / 02期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[31] RAMSEY THEOREM IN BOUNDED ARITHMETIC
PUDLAK, P
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 533 : 308 - 317
[32] BOUNDED ARITHMETIC AND THE POLYNOMIAL HIERARCHY
KRAJICEK, J
PUDLAK, P
TAKEUTI, G
ANNALS OF PURE AND APPLIED LOGIC, 1991, 52 (1-2) : 143 - 153
[33] EXPONENTIAL TIME AND BOUNDED ARITHMETIC
CLOTE, P
TAKEUTI, G
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 223 : 125 - 143
[34] A sorting network in bounded arithmetic
Jerabek, Emil
ANNALS OF PURE AND APPLIED LOGIC, 2011, 162 (04) : 341 - 355
[35] BOUNDED ARITHMETIC AND TRUTH DEFINITION
TAKEUTI, G
ANNALS OF PURE AND APPLIED LOGIC, 1988, 39 (01) : 75 - 104
[36] BOUNDED ARITHMETIC IN FREE LOGIC
Yamagata, Yoriyuki
LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (03)
[37] Approximate counting in bounded arithmetic
Jerabek, Emil
JOURNAL OF SYMBOLIC LOGIC, 2007, 72 (03) : 959 - 993
[38] Induction rules in bounded arithmetic
Emil Jeřábek
Archive for Mathematical Logic, 2020, 59 : 461 - 501
[39] COUNTING PROBLEMS IN BOUNDED ARITHMETIC
PARIS, J
WILKIE, A
LECTURE NOTES IN MATHEMATICS, 1985, 1130 : 317 - 340
[40] On the hierarchy of intuitionistic bounded arithmetic
Moniri, Morteza
JOURNAL OF LOGIC AND COMPUTATION, 2008, 18 (04) : 625 - 630

← 1 2 3 4 5 →