Mathematics – Logic
Scientific paper
1994-04-15
J. Symbolic Logic 61 (1996), 1206-1227
Mathematics
Logic
Scientific paper
The monadic second-order theory of trees allows quantification over elements and over arbitrary subsets. We classify the class of trees with respect to the question: does a tree T have a definable choice function (by a monadic formula with parameters)? A natural dichotomy arises where the trees that fall in the first class don't have a definable choice function and the trees in the second class have even a definable well ordering of their elements. This has a close connection to the uniformization problem.
Lifsches Shmuel
Shelah Saharon
No associations
LandOfFree
Uniformization, choice functions and well orders in the class of trees 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 Uniformization, choice functions and well orders in the class of trees, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Uniformization, choice functions and well orders in the class of trees will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-272170