Definability of initial segments

DOI10.1305/ndjfl/1071509428zbMath1082.03038arXivmath/0104277MaRDI QIDQ1430996

Saharon Shelah, Akito Tsuboi

Publication date: 27 May 2004

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

Full work available at URL: https://arxiv.org/abs/math/0104277

zbMATH Keywords

absoluteness; Peano arithmetic; definability; nonstandard model

Mathematics Subject Classification ID

03F30: First-order arithmetic and fragments

03H15: Nonstandard models of arithmetic

03C62: Models of arithmetic and set theory

03C40: Interpolation, preservation, definability

03C55: Set-theoretic model theory