Infinite substructure lattices of models of Peano Arithmetic

DOI10.2178/JSL/1286198152MaRDI QIDQ3066799zbMATH OpenOpenAlexFDO

Authors James H. Schmerl

Publication date 12 January 2011

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

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

zbMATH Keywords

bounded latticescongruence latticeselementary substructuresmodels of arithmetic

Mathematics Subject Classification ID

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

Recommendations

• Finite Substructure Lattices of Models of Peano Arithmetic
• Nondiversity in substructures
• Substructure lattices and almost minimal end extensions of models of Peano arithmetic
• Two more topics on congruence lattices of lattices
• Congruence lattices of locally finite algebras
• scientific article; zbMATH DE number 1528675
• A new proof of the congruence lattice representation theorem
• scientific article; zbMATH DE number 3900832
• Algebraically complete lattices
• The possible values of critical points between varieties of lattices

Cites work

• A Simple Solution to the Word Problem for Lattices
• Characterizations of Finite Lattices that are Bounded-Homomqrphic Images or Sublattices of Free Lattices
• Doubling convex sets in lattices and a generalized semidistributivity condition
• Every finite lattice can be embedded in a finite partition lattice
• scientific article; zbMATH DE number 758787 (Why is no real title available?)
• Substructure lattices of models of arithmetic
• The free lattice generated by a set of chains
• The structure of models of Peano arithmetic

Cited in

(9)

• On cofinal submodels and elementary interstices
• Substructure lattices and almost minimal end extensions of models of Peano arithmetic
• scientific article; zbMATH DE number 3959428 (Why is no real title available?)
• Enayat models of Peano arithmetic
• scientific article; zbMATH DE number 2144533 (Why is no real title available?)
• Finite Substructure Lattices of Models of Peano Arithmetic
• Submodel lattices of existentially closed models of arithmetic
• The lattice problem for models of \(\mathsf{PA}\)
• Submodels and definable points in models of Peano arithmetic

This page was built for publication: Infinite 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 Q3066799)