Infinite substructure lattices of models of Peano Arithmetic

DOI10.2178/jsl/1286198152zbMath1207.03047OpenAlexW2019785716MaRDI QIDQ3066799

James H. Schmerl

Publication date: 12 January 2011

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1286198152

zbMATH Keywords

congruence latticesmodels of arithmeticbounded latticeselementary substructures

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (1)

ENAYAT MODELS OF PEANO ARITHMETIC

Cites Work

• Unnamed Item
• Unnamed Item
• The free lattice generated by a set of chains
• Doubling convex sets in lattices and a generalized semidistributivity condition
• Every finite lattice can be embedded in a finite partition lattice
• Substructure lattices of models of arithmetic
• Characterizations of Finite Lattices that are Bounded-Homomqrphic Images or Sublattices of Free Lattices
• A Simple Solution to the Word Problem for Lattices

This page was built for publication: Infinite substructure lattices of models of Peano Arithmetic