Finite Substructure Lattices of Models of Peano Arithmetic

DOI10.2307/2159151zbMath0788.03050OpenAlexW4241404598MaRDI QIDQ4695582

James H. Schmerl

Publication date: 29 June 1993

Full work available at URL: https://doi.org/10.2307/2159151

zbMATH Keywords

elementary extensionmodels of arithmeticfinite latticesubstructure latticeshexagon latticemodels of Peano Arithmetic\(n\)-CPP representation of lattices1-n-1 latticesfinite congruence representation

Mathematics Subject Classification ID

Representation theory of lattices (06B15) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (1)

Arithmetically saturated models of arithmetic

Cites Work

• On the sphericity and cubicity of graphs
• An interval in the subgroup lattice of a finite group which is isomorphic to \(M_ 7\)
• Models and types of Peano's arithmetic
• On models of arithmetic having non-modular substructure lattices
• Models of arithmetic and the 1-3-1 lattice
• Extending models of arithmetic
• Unnamed Item
• Unnamed Item

This page was built for publication: Finite Substructure Lattices of Models of Peano Arithmetic