EDB — 08M

Exercises

1. [08M] Difficulty:*.Build a well ordering on a countable set \(X\) such that \(X=⋃_{n=1}^∞ S_ n\) where \(S_ n\) are initial segments, each with order type \(𝜔^ n\). The order so built on \(X\) is indicated by  \(𝜔^𝜔\).

   Solution 1

   [08N]↺↻