Submodels and definable points in models of Peano arithmetic

DOI10.1305/NDJFL/1093870445MaRDI QIDQ797573zbMATH OpenOpenAlexFDO

Authors Žarko Mijajlović

Publication date 1983

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093870445

zbMATH Keywords

initial segmentmodels of Peano arithmeticdefinable pointspartial elementary submodel

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Recommendations

• Pointwise definable substructures of models of Peano arithmetic
• scientific article; zbMATH DE number 3959428
• Finite Substructure Lattices of Models of Peano Arithmetic
• Infinite substructure lattices of models of Peano Arithmetic
• Definable sets and expansions of models of Peano arithmetic
• The structure of models of Peano arithmetic
• Model-theoretic properties characterizing Peano arithmetic
• scientific article; zbMATH DE number 3875242
• Subsets of models of arithmetic
• Substructure lattices and almost minimal end extensions of models of Peano arithmetic

Cited in

(11)

• Some remarks on initial segments in models of Peano arithmetic
• Enayat models of Peano arithmetic
• Elementary submodels of parametrizable models
• Definability of initial segments
• scientific article; zbMATH DE number 4006271 (Why is no real title available?)
• Existentially closed models in the framework of arithmetic
• Nonstandard models that are definable in models of Peano Arithmetic
• On collection schemes and Gaifman's splitting theorem
• Definable sets and expansions of models of Peano arithmetic
• Pointwise definable substructures of models of Peano arithmetic
• Fixed points of self-embeddings of models of arithmetic

This page was built for publication: Submodels and definable points in models of Peano arithmetic

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