Sciweavers

NDJFL
2002

Definability of Initial Segments

13 years 10 months ago
Definability of Initial Segments
In any nonstandard model of Peano arithmetic, the standard part is not first order definable. But we show that in some model the standard part is definable as the unique solution of a formula (P), where P is a unary predicate variable.
Saharon Shelah, Akito Tsuboi
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where NDJFL
Authors Saharon Shelah, Akito Tsuboi
Comments (0)