INDICATORS AND INCOMPLETENESS OF PEANO ARITHMETIC

被引：0

|

作者：

ZBIERSKI, P

机构：

来源：

ACTA CIENTIFICA VENEZOLANA | 1980年 / 31卷 / 06期

关键词：

D O I：

暂无

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

下载

收藏

页码：487 / 495

页数：9

相关论文

共 50 条

[21] EXTENDIBLE SETS IN PEANO ARITHMETIC
SMITH, ST
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1989, 316 (01) : 337 - 367
[22] THE INTERPRETABILITY LOGIC OF PEANO ARITHMETIC
BERARDUCCI, A
JOURNAL OF SYMBOLIC LOGIC, 1990, 55 (03) : 1059 - 1089
[23] The Structure of Models of Peano Arithmetic
Kach, Asher M.
STUDIA LOGICA, 2012, 100 (03) : 659 - 662
[24] Normalization proof for Peano Arithmetic
Siders, Annika
ARCHIVE FOR MATHEMATICAL LOGIC, 2015, 54 (7-8) : 921 - 940
[25] FUSIBLE NUMBERS AND PEANO ARITHMETIC
Erickson, Jeff
Nivasch, Gabriel
Xu, Junyan
LOGICAL METHODS IN COMPUTER SCIENCE, 2022, 18 (03) : 6:1 - 6:26
[26] Injecting uniformities into Peano arithmetic
Ferreira, Fernando
ANNALS OF PURE AND APPLIED LOGIC, 2009, 157 (2-3) : 122 - 129
[27] On Strong Fragments of Peano Arithmetic
Svejdar, Vitezslav
LOGICA YEARBOOK 2014, 2015, : 281 - 291
[28] GENERIC INCOMPLETENESS OF FORMAL ARITHMETIC
Rybalov, A. N.
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2015, 12 : 185 - 189
[29] THE INCOMPLETENESS OF ARITHMETIC - GODEL,KURT
SANGALLI, A
NEW SCIENTIST, 1987, 116 (1585) : 42 - 45
[30] ESTIMATION OF COMPLEXITY OF ARITHMETIC INCOMPLETENESS
KANOVICH, MI
DOKLADY AKADEMII NAUK SSSR, 1978, 238 (06): : 1283 - 1286

← 1 2 3 4 5 →