Submodels and definable points in models of Peano arithmetic

DOI10.1305/NDJFL/1093870445zbMATH Open0545.03019OpenAlexW2144464197MaRDI QIDQ797573FDOQ797573

Ž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

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

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)

Cited In (9)

• Some remarks on initial segments in models of Peano arithmetic
• Elementary submodels of parametrizable models
• Definability of initial segments
• Title not available (Why is that?)
• 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)