a different nested intervals theorem Is there any literature on (and a standard name for) the proposition that for any arbitrary-cardinality collection of closed intervals in the reals that is nested (in the sense that, given any two of the intervals, one of them is a subset of the other), the intersection of all the intervals is non-empty?
Note that the standard nested interval theorem assumes that the collection of intervals is countable, and that it comes with an ordering such that the $j$th interval is a subset of the $i$th interval if $i < j$.  In the non-standard version I'm asking about, the collection can be uncountable (e.g., the collection of all intervals $[-t,t]$ for $t>0$).
Of course this proposition isn't hard to prove, but I'm interested in other facts about the proposition, e.g., whether the proposition implies Dedekind completeness in the presence of the ordered field axioms.
 A: In the case of the reals, the uncountable version reduces easily to the countable version, since there will be a countable subfamily of the given uncountable family that is cofinal in the inclusion order of the intervals. Basically, one can find a countable subfamily with the same intersection. 
But the nested interval property (allowing arbitrary families) is interesting in a general linear order, where one cannot always find such countable subfamilies. In this context, the nested interval property is not equivalent to the completeness of the order. This can be seen by considering the order $\omega+\omega_1^*$, that is, the order consisting of an increasing $\omega$-sequence with a decreasing $\omega_1$ sequence on top of it. This linear order is not complete, since the initial $\omega$-sequence has no least upper bound, but it has the nested interval property for arbitrary nested sequences of intervals as a result of the mis-match in the cofinality of the gap. That is, any nested sequence of intervals $[a_\alpha,b_\alpha]$ will have nonempty intersection if the interval is eventually on one side of the gap, by compactness, and if the intervals straddle the gap, then if the sequence has countable cofinality, then the $b_\alpha$'s will be bounded in the $\omega_1^*$ part of the order, leading to a nonempty intersection; and if the sequence has uncountable cofinality, then the $a_\alpha$'s must eventually stabilize, and so again the intersection will be nonempty. 
Meanwhile, the countable-NIT for ordered fields does not imply completeness, since if $F$ is, say, a nonprincipal ultrapower of the real field, then $F$ will be saturated for countable types, and the type of "being inside the intervals of a given countable nested sequence" is finitely consistent, hence realized inside the model. So any such $F$ satisfies the countable-NIT. 
I am unsure about the general situation of NIT in incomplete ordered fields. 
A: I will suggest you take a look at the paper "Quite Complete real closed fields" by Shelah. The abstract of this paper says the following.

We prove that any ordered field can be extended to one for which every
  decreasing sequence of bounded closed intervals, of any length, has a
  nonempty intersection; equivalently, there are no Dedekind cuts with
  equal cofinality from both sides.

The paper was published in 2004 (Israel Journal of Mathematics), but the Arxiv version seems to be improved in comparison with the published one.
