tag:blogger.com,1999:blog-6555947.post303661866567112957..comments2023-09-10T07:21:33.251-06:00Comments on The Geomblog: Infinite treesSuresh Venkatasubramanianhttp://www.blogger.com/profile/15898357513326041822noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-6555947.post-17396637504342414802007-08-27T12:19:00.000-06:002007-08-27T12:19:00.000-06:00Thanks, Suresh!This construction took me a while t...Thanks, Suresh!<BR/><BR/>This construction took me a while to understand, so let me share some points that helped me:<BR/><BR/>-the 'countably transfinite increasing sequences' of rationals are not necessarily sequences in the ordinary sense of the word, but may include things like<BR/><BR/>{1/2, 3/4, 7/8, 15/16, ... , 2}.<BR/><BR/>-in fact, all sequences on level T_k have order type k. So, if the sequence above were in the tree, it would be on the level of the successor of the first infinite order type.<BR/><BR/>-the sequences are: rational, to prevent uncountable branches; individually well-ordered, so that they form a tree; chosen in a way that is selective enough to preserve countability of individual levels but generous enough to create sequences of every countable order type.<BR/><BR/>-how big is the resulting tree? It's the size of the smallest uncountable cardinal, which is the continuum assuming CH. <BR/>On the other hand, suppose we can build a continuum-sized tree (with or without uncountable branches) whose levels are each countable. Then we can express the continuum as the union of an increasing family of countable sets, which can be shown to imply the CH.Andy Dhttps://www.blogger.com/profile/03897281159810085972noreply@blogger.com