FINITE SUBSTRUCTURE LATTICES OF MODELS OF PEANO ARITHMETIC

被引：4

作者：

SCHMERL, JH

机构：

来源：

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY | 1993年 / 117卷 / 03期

关键词：

D O I：

10.2307/2159151

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

Some new finite lattices (for example, M4 , M7 , and the hexagon lattice) are shown to be isomorphic to the lattice of elementary substructures of a model of Peano Arithmetic.

引用

页码：833 / 838

页数：6

共 50 条

[1] SUBSTRUCTURE LATTICES OF MODELS OF PEANO ARITHMETIC
SCHMERL, JH
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 496 - 496
[2] INFINITE SUBSTRUCTURE LATTICES OF MODELS OF PEANO ARITHMETIC
Schmerl, James H.
[J]. JOURNAL OF SYMBOLIC LOGIC, 2010, 75 (04) : 1366 - 1382
[3] Substructure lattices and almost minimal end extensions of models of Peano arithmetic
Schmerl, JH
[J]. MATHEMATICAL LOGIC QUARTERLY, 2004, 50 (06) : 533 - 539
[4] THE PENTAGON AS A SUBSTRUCTURE LATTICE OF MODELS OF PEANO ARITHMETIC
Schmerl, James H.
[J]. JOURNAL OF SYMBOLIC LOGIC, 2024,
[5] SATURATED MODELS OF PEANO ARITHMETIC
PABION, JF
[J]. JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (03) : 625 - 637
[6] ILLUSORY MODELS OF PEANO ARITHMETIC
Kikuchi, Makoto
Kurahashi, Taishi
[J]. JOURNAL OF SYMBOLIC LOGIC, 2016, 81 (03) : 1163 - 1175
[7] ENAYAT MODELS OF PEANO ARITHMETIC
Abdul-Quader, Athar
[J]. JOURNAL OF SYMBOLIC LOGIC, 2018, 83 (04) : 1501 - 1511
[8] The Structure of Models of Peano Arithmetic
Kach, Asher M.
[J]. STUDIA LOGICA, 2012, 100 (03) : 659 - 662
[9] Nonstandard models that are definable in models of Peano Arithmetic
Ikeda, Kazuma
Tsuboi, Akito
[J]. MATHEMATICAL LOGIC QUARTERLY, 2007, 53 (01) : 27 - 37
[10] Automorphism groups of models of Peano arithmetic
Schmerl, JH
[J]. JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (04) : 1249 - 1264

← 1 2 3 4 5 →