Finite substructure lattices of models of Peano arithmetic-Reference-Cited by-同舟云学术

Finite substructure lattices of models of Peano arithmetic

Published:1993 Issue:3 Volume:117 Page:833-838
ISSN:0002-9939
Container-title:Proceedings of the American Mathematical Society
language:en
Short-container-title:Proc. Amer. Math. Soc.

Author:

Schmerl James H.

Abstract

Some new finite lattices (for example, M 4 , M 7 {M_4},\;{M_7} , and the hexagon lattice) are shown to be isomorphic to the lattice of elementary substructures of a model of Peano Arithmetic.

Publisher

American Mathematical Society (AMS)

Subject

Applied Mathematics,General Mathematics

Link

http://www.ams.org/proc/1993-117-03/S0002-9939-1993-1112501-8/S0002-9939-1993-1112501-8.pdf

Reference9 articles.

1. An interval in the subgroup lattice of a finite group which is isomorphic to 𝑀₇;Feit, Walter;Algebra Universalis,1983

2. Models and types of Peano’s arithmetic;Gaifman, Haim;Ann. Math. Logic,1976

3. Characterizations of congruence lattices of abstract algebras;Grätzer, G.;Acta Sci. Math. (Szeged),1963

4. On models of arithmetic;Paris, J. B.,1972

5. Models of arithmetic and the 1-3-1 lattice;Paris, J. B.;Fund. Math.,1977

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Fermat’s last theorem proved in Hilbert arithmetic. I. From the proof by induction to the viewpoint of Hilbert arithmetic;SSRN Electronic Journal;2021

2. Canonical Partitions;Ramsey Theory for Discrete Structures;2013

3. Infinite substructure lattices of models of Peano Arithmetic;The Journal of Symbolic Logic;2010-12

4. Nondiversity in substructures;Journal of Symbolic Logic;2008-03

5. Arithmetically Saturated Models of Arithmetic;Notre Dame Journal of Formal Logic;1995-10-01