Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-19/4/i/c/solution

A tree with unique limits has no distinct nodes at a limit level with the same history. Precisely, for a limit ordinal and ,
Here denotes the unique predecessor of of height . This is uniqueness of a limit node when it exists, not a requirement that every cofinal chain in a partial order below a limit level acquire a limit node.

New to topics? Read the docs here!