Mathematics – Logic
Scientific paper
1993-08-15
J. Symbolic Logic 62 (1997), 848--872
Mathematics
Logic
Scientific paper
Gurevich and Shelah have shown that Peano Arithmetic cannot be interpreted
in the monadic second-order theory of short chains (hence, in the monadic
second-order theory of the real line). We show here that it is consistent that
there is no interpretation even in the monadic second-order theory of all
chains.
Lifsches Shmuel
Shelah Saharon
No associations
LandOfFree
Peano Arithmetic may not be interpretable in the monadic theory of orders 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 Peano Arithmetic may not be interpretable in the monadic theory of orders, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Peano Arithmetic may not be interpretable in the monadic theory of orders will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-228680