Appendix to the paper ``Definable sets and expansions of models of Peano arithmetic

DOI10.1007/BF01634979zbMath0702.03041OpenAlexW2054478443MaRDI QIDQ914670

Roman Murawski

Publication date: 1990

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01634979

zbMATH Keywords

Peano arithmeticcountable modelsnonstandard modelsatisfaction classesrecursively saturated modelexpandabilitynonstandard definability

Mathematics Subject Classification ID

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

This page was built for publication: Appendix to the paper ``Definable sets and expansions of models of Peano arithmetic