Content deleted Content added
m remove Erik9bot category, no longer needed for this article using Project:AWB |
|||
Line 39:
Conversely, every partial order (''T'', <) where each initial segment { ''y'': ''y'' < ''x''<sub>0</sub> } is well-ordered is isomorphic to a tree described here, assuming that all elements have finite height.
▲== See also ==
*[[Laver tree]]
* [[Tree (set theory)]]
* [[König's lemma]]
==
* {{
▲* {{cite book| last = Kechris | first = Alexander S. | authorlink = Alexander S. Kechris | title = Clasical Descriptive Set Theory | others = [[Graduate Texts in Mathematics]] 156 | publisher = Springer | year = 1995 | id = ISBN 0-387-94374-9 ISBN 3-540-94374-9}}
{{DEFAULTSORT:Tree (Descriptive Set Theory)}}
[[Category:Descriptive set theory]]
[[Category:Trees (set theory)]]
[[Category:Determinacy]]
|