Sciweavers

NDJFL
2002
75views more  NDJFL 2002»
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 ...
Saharon Shelah, Akito Tsuboi