Finite Substructure Lattices of Models of Peano Arithmetic
From MaRDI portal
Publication:4695582
DOI10.2307/2159151zbMath0788.03050MaRDI QIDQ4695582
Publication date: 29 June 1993
Full work available at URL: https://doi.org/10.2307/2159151
elementary extension; models of arithmetic; finite lattice; substructure lattices; hexagon lattice; models of Peano Arithmetic; \(n\)-CPP representation of lattices; 1-n-1 lattices; finite congruence representation
06B15: Representation theory of lattices
03H15: Nonstandard models of arithmetic
03C62: Models of arithmetic and set theory
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- 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