Definable sets and expansions of models of Peano arithmetic

DOI10.1007/BF01625830zbMath0645.03031OpenAlexW2059930981MaRDI QIDQ1102945

Roman Murawski

Publication date: 1988

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

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

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)

Related Items (1)

A note on the variety of satisfaction classes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pointwise definable substructures of models of Peano arithmetic
• On expandability of models of Peano arithmetic. I
• On elementary cuts in recursively saturated models of Peano Arithmetic
• Mutually generic classes and incompatible expansions
• Some Remarks on the Structure of Expansions
• Indicators, recursive saturation and expandability
• Second order arithmetic and related topics
• Toward model theory through recursive saturation

This page was built for publication: Definable sets and expansions of models of Peano arithmetic