Definability of initial segments

Details Definability of initial segments Definability of initial segments

2001-04-28

arxiv.org/abs/math/0104277v1

Mathematics

Logic

Scientific paper

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 part is implicitly definable. In section 1, we define a certain class of formulas, and show that in any model of PA the standard part is not implicitly defined by using such formulas. In section 2 we construct a model of PA in which the standard part is implicitly defined. To construct such a model, first we assume a set theoretic hypothesis diamondsuit_{S_lambda^{lambda^+}}, which is an assertion of the existence of a very general set. Then we shall eliminate the hypothesis using absoluteness for the existence of a model having a tree structure with a certain property.

Affiliated with

Also associated with

No associations

Rating

Definability of initial segments does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Definability of initial segments, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Definability of initial segments will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-298293