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 条

[1] A MATHEMATICAL INCOMPLETENESS IN PEANO ARITHMETIC INVOLVING A THEOREM OF ERDOS AND RADO
KANAMORI, A
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1098 - 1098
[2] Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History
Kripke, Saul A.
HISTORY AND PHILOSOPHY OF LOGIC, 2022, 43 (02) : 175 - 182
[3] Cyclic Arithmetic Is Equivalent to Peano Arithmetic
Simpson, Alex
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2017), 2017, 10203 : 283 - 300
[4] Remarks on Peano arithmetic
Sayward, C
RUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL ARCHIVES, 2000, 20 (01): : 27 - 32
[5] NOTES ON PEANO ARITHMETIC
FRIEDRICHSDORF, U
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1976, 22 (05): : 431 - 436
[6] SUBTHEORIES OF PEANO ARITHMETIC
CLOTE, P
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 297 - 297
[7] Peano and the Foundations of Arithmetic
Lolli, Gabriele
GIUSEPPE PEANO BETWEEN MATHEMATICS AND LOGIC, 2011, : 47 - 66
[8] INCOMPLETENESS OF DIOPHANTINE ARITHMETIC
GERMANO, GM
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (03): : A380 - A380
[9] Interpretability suprema in Peano Arithmetic
Paula Henk
Albert Visser
Archive for Mathematical Logic, 2017, 56 : 555 - 584
[10] ILLUSORY MODELS OF PEANO ARITHMETIC
Kikuchi, Makoto
Kurahashi, Taishi
JOURNAL OF SYMBOLIC LOGIC, 2016, 81 (03) : 1163 - 1175