The Structure of Models of Peano Arithmetic

被引：0

作者：

Kach, Asher M. ^{[1
]}

机构：

[1] Univ Chicago, Dept Math, Chicago, IL 60637 USA

来源：

关键词：

D O I：

10.1007/s11225-012-9407-x

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：659 / 662

页数：4

共 50 条

[41] Cyclic Arithmetic Is Equivalent to Peano Arithmetic
Simpson, Alex
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2017), 2017, 10203 : 283 - 300
[42] Remarks on Peano arithmetic
Sayward, C
RUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL ARCHIVES, 2000, 20 (01): : 27 - 32
[43] NOTES ON PEANO ARITHMETIC
FRIEDRICHSDORF, U
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1976, 22 (05): : 431 - 436
[44] SUBTHEORIES OF PEANO ARITHMETIC
CLOTE, P
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 297 - 297
[45] AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETIC
Schmerl, James H.
JOURNAL OF SYMBOLIC LOGIC, 2015, 80 (04) : 1411 - 1434
[46] Peano and the Foundations of Arithmetic
Lolli, Gabriele
GIUSEPPE PEANO BETWEEN MATHEMATICS AND LOGIC, 2011, : 47 - 66
[47] THE BASS-MILNOR-SERRE THEOREM FOR NONSTANDARD MODELS IN PEANO ARITHMETIC
KHELIF, A
JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (04) : 1451 - 1458
[48] Interpretability suprema in Peano Arithmetic
Paula Henk
Albert Visser
Archive for Mathematical Logic, 2017, 56 : 555 - 584
[49] MEANING AND TRUTH IN PEANO ARITHMETIC
MAGARI, R
ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI RENDICONTI-CLASSE DI SCIENZE FISICHE-MATEMATICHE & NATURALI, 1973, 54 (06): : 902 - 903
[50] More Automorphism Groups of Countable, Arithmetically Saturated Models of Peano Arithmetic
Schmerl, James H.
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2018, 59 (04) : 491 - 496