The revisions let you track differences between multiple versions of a post.

Minor edit: corrected typo ("does" instead of "do") and added a small clarification to the explanation of why we want to avoid the intersections of all the lines of $Y_\alpha$ with $L_\alpha$

Minor edit: In the vector space example, the condition should be "the set of all $v_\beta$ that do not belong to the linear span of their predecessors", but it said "to the linear span of any of their predecessors", which may be interpreted as a lot of separated 1-dimensional spaces.

Completed premises of the lemma in the example for transfinite induction on countable ordinals. (Alpha needs to be a limit ordinal.)

Minor edit.

View a list of all articles.