Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am trying to make sense of what this theorem from C.I. Steinhorn, Borel Structures and Measure and Category Logics, says.

Theorem 1.3.3. A Borel linear order cannot have an uncountable increasing or decreasing chain.

I didn't find definitions in the paper, but I am quite sure that a pair $(A,\leq)$ is a Borel linear order iff $A$ is a Borel set in a standard Borel space $X$ and $\leq$ is Borel as a subset of $X^2$. I presume that an increasing chain is just a linear order with no greatest element and similarly for decreasing.

Here is the problem. Intuitively, I would guess that the lexicographic order on Baire space is a Borel linear order. But then Baire space itself should be an uncountable increasing chain under this order.

What am I misunderstanding?

share|improve this question
    
This is true if chain is replaced by wellordered chain. In other words, a Borel linear order cannot contain a copy of $\omega_1$ or its reverse. I would guess that's what is meant, otherwise "increasing or decreasing" is not very meaningful. Where is this from? –  François G. Dorais Aug 19 '12 at 6:04
    
@FrançoisG.Dorais Does the well-ordered chain have to be Borel? –  William Aug 19 '12 at 6:08
    
@FrançoisG.Dorais The paper is linked to in the question. projecteuclid.org/DPubS/Repository/1.0/… –  Rachel Aug 19 '12 at 6:10
    
@Rachel Mildly related to this result : A consequence of the Kunen-Martin Theorem asserts that all strict boldface $\Sigma_1^1$ (analytic) wellfounded relations have countable length. Boldface $\Sigma_1^1$ include the Borel sets. –  William Aug 19 '12 at 6:14
    
I had missed the link! The author cites Harrington and Shelah, who did prove the result I recalled earlier. I guess it would be best to check that reference. @William: No. There are no uncountable wellordered Borel chains at all so that weaker variant is vacuously true. –  François G. Dorais Aug 19 '12 at 6:28

1 Answer 1

up vote 2 down vote accepted

The reference is to a result of Harrington and Shelah, who showed that a Borel linear order does not contain an $\omega_1$-chain. Since every uncountable wellordering contains an initial copy of $\omega_1$, it follows that a Borel linear order cannot contain an uncountable increasing wellordered chain. By reversing the linear order and applying the theorem again, we see that there are no uncountable decreasing wellordered chains either.

I conclude from this that the author probably meant for "chain" to be "wellordered chain" (which also explains the otherwise unusual phrase "increasing or decreasing").

share|improve this answer
    
Thanks for the answer. Elsevier's site is not letting me access the original article (though it should). I emailed them, so now I am just waiting to double-check it. I suppose you are right about "increasing", but what would you say instead, for a linearly-ordered set without a greatest element? I would think "unbounded" might be confusing here. –  Rachel Aug 19 '12 at 13:56

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.