Note on sharply bounded arithmetic

被引：0

|

作者：

Johannsen, J.

机构：

来源：

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

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[41] ON THE PROVABILITY LOGIC OF BOUNDED ARITHMETIC
BERARDUCCI, A
VERBRUGGE, R
ANNALS OF PURE AND APPLIED LOGIC, 1993, 61 (1-2) : 75 - 93
[42] Herbrand consistency and bounded arithmetic
Adamowicz, Z
FUNDAMENTA MATHEMATICAE, 2002, 171 (03) : 279 - 292
[43] Automorphisms of models of bounded arithmetic
Enayat, Ali
FUNDAMENTA MATHEMATICAE, 2006, 192 (01) : 37 - 65
[44] SURFACE-WAVES IN A HOMOGENEOUS PLASMA SHARPLY BOUNDED BY A DIELECTRIC
SHIVAROVA, A
ZHELYAZKOV, I
PLASMA PHYSICS AND CONTROLLED FUSION, 1978, 20 (10) : 1049 - 1073
[45] NOTE ON THE ARITHMETIC GENUS
FULTON, W
AMERICAN JOURNAL OF MATHEMATICS, 1979, 101 (06) : 1355 - 1363
[46] HOUSEHOLD ARITHMETIC - NOTE
BERKNER, L
JOURNAL OF FAMILY HISTORY, 1977, 2 (02) : 159 - 163
[47] ON THE SCHEME OF INDUCTION FOR BOUNDED ARITHMETIC FORMULAS
WILKIE, AJ
PARIS, JB
ANNALS OF PURE AND APPLIED LOGIC, 1987, 35 (03) : 261 - 302
[48] Recession note. Capacity utilization dropped sharply
Modern Plastics, 1991, 68 (05):
[49] FRAGMENTS OF BOUNDED ARITHMETIC AND THE LENGTHS OF PROOFS
Pudlak, Pavel
JOURNAL OF SYMBOLIC LOGIC, 2008, 73 (04) : 1389 - 1406
[50] On arithmetic inequalities for points of bounded degree
Grieve, Nathan
RESEARCH IN NUMBER THEORY, 2021, 7 (01)

← 1 2 3 4 5 →