Submodels and definable points in models of Peano arithmetic

DOI10.1305/NDJFL/1093870445zbMath0545.03019OpenAlexW2144464197MaRDI QIDQ797573

Ž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

models of Peano arithmeticinitial segmentdefinable pointspartial elementary submodel

Mathematics Subject Classification ID

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

Related Items (1)

Fixed points of self-embeddings of models of arithmetic

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