Substructure lattices of models of arithmetic
From MaRDI portal
Publication:3863890
DOI10.1016/0003-4843(79)90007-XzbMath0427.03057MaRDI QIDQ3863890
Publication date: 1979
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Related Items (5)
\(\text{PA} (aa)\) ⋮ Counting families of mutually intersecting sets ⋮ Some observations on the substructure lattice of a Δ1 ultrapower ⋮ Infinite substructure lattices of models of Peano Arithmetic ⋮ On the role of Ramsey quantifiers in first order arithmetic
This page was built for publication: Substructure lattices of models of arithmetic