Mathematics – Logic
Scientific paper
2010-04-20
Mathematics
Logic
Scientific paper
We hope to see how much for a model M of some completion T of PA (Peano Arithmetic) does M restriction {<} determine M, say up to isomorphism. We advance in characterizing for non-standard models M of PA the "minimal" set {(a,b):n < a < b for n in N and the linear orders {c:c <_M a}, {c:c <_M b} are isomorphic}, in particular include {(a,b): for no c in M for every n in N we have M models (forall n in N)(exists c)[2 < c^n < a wedge b < a c^n]} and for some model is equal to {(a,b):a < b < a^n for some n in N}.
No associations
LandOfFree
Can the order determine the addition for models of PA 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 Can the order determine the addition for models of PA, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Can the order determine the addition for models of PA will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-471865