Note on sharply bounded arithmetic

被引：0

|

作者：

Johannsen, J.

机构：

来源：

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

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[1] A NOTE ON SHARPLY BOUNDED ARITHMETIC
JOHANNSEN, J
ARCHIVE FOR MATHEMATICAL LOGIC, 1994, 33 (02) : 159 - 165
[2] The function [a/m] in sharply bounded arithmetic
Tada, M
Tatsuta, M
ARCHIVE FOR MATHEMATICAL LOGIC, 1997, 37 (01) : 51 - 57
[3] A remark on independence results for sharply bounded arithmetic
Johannsen, J
MATHEMATICAL LOGIC QUARTERLY, 1998, 44 (04) : 568 - 570
[4] A NOTE ON BOUNDED ARITHMETIC
PUDLAK, P
FUNDAMENTA MATHEMATICAE, 1990, 136 (02) : 85 - 89
[5] Function qq@a/mqq in sharply bounded arithmetic
Tada, M.
Tatsuta, M.
Archive for Mathematical Logic, 37 (01):
[6] A note on the Σ1 collection scheme and fragments of bounded arithmetic
Adamowicz, Zofia
Kolodziejczyk, Leszek Aleksander
MATHEMATICAL LOGIC QUARTERLY, 2010, 56 (02) : 126 - 130
[7] A note on conservativity relations among bounded arithmetic theories
Impagliazzo, R
Krajícek, J
MATHEMATICAL LOGIC QUARTERLY, 2002, 48 (03) : 375 - 377
[8] A NOTE ON REFLECTION COEFFICIENT OF A SHARPLY BOUNDED IONOSPHERE FOR VLF SIGNALS AT MAGNETIC EQUATOR
DELISLE, JM
RADIO SCIENCE, 1967, 2 (06) : 653 - +
[9] The strength of sharply bounded induction
Jerabek, Emil
MATHEMATICAL LOGIC QUARTERLY, 2006, 52 (06) : 613 - 624
[10] On sharply bounded length induction
Johannsen, J
COMPUTER SCIENCE LOGIC, 1996, 1092 : 362 - 367

← 1 2 3 4 5 →