Finite Substructure Lattices of Models of Peano Arithmetic

DOI10.2307/2159151MaRDI QIDQ4695582zbMATH OpenOpenAlexFDO

Authors James H. Schmerl

Publication date 29 June 1993

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

zbMATH Keywords

1-n-1 lattices\(n\)-CPP representation of latticeselementary extensionfinite congruence representationfinite latticehexagon latticemodels of arithmeticmodels of Peano Arithmeticsubstructure lattices

Mathematics Subject Classification ID

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

Recommendations

• Substructure lattices and almost minimal end extensions of models of Peano arithmetic
• scientific article; zbMATH DE number 3959428
• Infinite substructure lattices of models of Peano Arithmetic
• Nondiversity in substructures
• Enayat models of Peano arithmetic

Cites work

• An interval in the subgroup lattice of a finite group which is isomorphic to \(M_ 7\)
• Extending models of arithmetic
• scientific article; zbMATH DE number 3959428 (Why is no real title available?)
• scientific article; zbMATH DE number 3191288 (Why is no real title available?)
• Models and types of Peano's arithmetic
• Models of arithmetic and the 1-3-1 lattice
• On models of arithmetic having non-modular substructure lattices
• On the sphericity and cubicity of graphs

Cited in

(7)

• Arithmetically saturated models of arithmetic
• Infinite substructure lattices of models of Peano Arithmetic
• Substructure lattices and almost minimal end extensions of models of Peano arithmetic
• scientific article; zbMATH DE number 4142027 (Why is no real title available?)
• scientific article; zbMATH DE number 3959428 (Why is no real title available?)
• The lattice problem for models of \(\mathsf{PA}\)
• Submodels and definable points in models of Peano arithmetic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4695582)