Finite substructure lattices of models of Peano arithmetic
HTML articles powered by AMS MathViewer
- by James H. Schmerl PDF
- Proc. Amer. Math. Soc. 117 (1993), 833-838 Request permission
Abstract:
Some new finite lattices (for example, ${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.References
- Walter Feit, An interval in the subgroup lattice of a finite group which is isomorphic to $M_{7}$, Algebra Universalis 17 (1983), no. 2, 220–221. MR 726276, DOI 10.1007/BF01194532
- Haim Gaifman, Models and types of Peano’s arithmetic, Ann. Math. Logic 9 (1976), no. 3, 223–306. MR 406791, DOI 10.1016/0003-4843(76)90002-4
- G. Grätzer and E. T. Schmidt, Characterizations of congruence lattices of abstract algebras, Acta Sci. Math. (Szeged) 24 (1963), 34–59. MR 151406
- J. B. Paris, On models of arithmetic, Conference in Mathematical Logic—London ’70 (Proc. Conf., Bedford Coll., London, 1970) Lecture Notes in Math., Vol. 255, Springer, Berlin, 1972, pp. 251–280. MR 0392552
- J. B. Paris, Models of arithmetic and the $1-3-1$ lattice, Fund. Math. 95 (1977), no. 3, 195–199. MR 446953, DOI 10.4064/fm-95-3-195-199
- H. J. Prömel and B. Voigt, Canonical partition theorems for parameter sets, J. Combin. Theory Ser. A 35 (1983), no. 3, 309–327. MR 721372, DOI 10.1016/0095-8956(83)90057-6
- James H. Schmerl, Extending models of arithmetic, Ann. Math. Logic 14 (1978), 89–109. MR 506527, DOI 10.1016/0003-4843(78)90013-X
- James H. Schmerl, Substructure lattices of models of Peano arithmetic, Logic colloquium ’84 (Manchester, 1984) Stud. Logic Found. Math., vol. 120, North-Holland, Amsterdam, 1986, pp. 225–243. MR 861427, DOI 10.1016/S0049-237X(08)70465-8
- A. J. Wilkie, On models of arithmetic having non-modular substructure lattices, Fund. Math. 95 (1977), no. 3, 223–237. MR 446952, DOI 10.4064/fm-95-3-223-237
Additional Information
- © Copyright 1993 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 117 (1993), 833-838
- MSC: Primary 03H15; Secondary 03C62, 06B15
- DOI: https://doi.org/10.1090/S0002-9939-1993-1112501-8
- MathSciNet review: 1112501