collaborators

1 paper

math.LO2001

Definability of initial segments

Saharon Shelah, Akito Tsuboi

We consider implicit definability of the standard part {0,1,...} in nonstandard models of Peano arithmetic (PA), and we ask whether there is a model of PA in which the standard par…