Definability of initial segments

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

Akito Tsuboi, Saharon Shelah

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

absolutenessPeano arithmeticdefinabilitynonstandard model

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Interpolation, preservation, definability (03C40) Set-theoretic model theory (03C55)

Related Items (1)

Implicit definability of subfields

Cites Work

• Unnamed Item
• Unnamed Item
• Models with second order properties. IV. A general method and eliminating diamonds
• Remarks on weak notions of saturation in models of Peano arithmetic
• Models with second order properties II. Trees with no undefined branches
• Some highly saturated models of Peano arithmetic

This page was built for publication: Definability of initial segments