Esercizi
[08K] Prerequisiti:[073].Il tipo di buon ordinamento di \(ℕ\) è chiamato \(𝜔\). Dato \(k≥ 2\) naturale, \(ℕ^ k\) dotato dell’ordinamento lessicografico è un insieme bene ordinato (per [073]), e il suo tipo di buon ordinamento è chiamato \(𝜔^ k\). Mostrate che \(𝜔^ k⪯𝜔^ h \) per \(h{\gt}k\), e che \(𝜔^ k,𝜔^ h \) non hanno lo stesso tipo d’ordine.