Pointwise definable substructures of models of Peano arithmetic

DOI10.1305/NDJFL/1093637930zbMath0662.03060OpenAlexW2007013812MaRDI QIDQ1113901

Roman Murawski

Publication date: 1988

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

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

zbMATH Keywords

definabilityinitial segmentsubmodelssatisfaction class

Mathematics Subject Classification ID

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

Related Items (2)

A note on the variety of satisfaction classes ⋮ Definable sets and expansions of models of Peano arithmetic

This page was built for publication: Pointwise definable substructures of models of Peano arithmetic