Esercizio: trovare dei sottinsiemi di $QQ$ che siano isomorfi (con l'ordinamento naturale di $QQ$) a determinati ordinali.
Io riesco con gli ordinali:
$omega,omega+1,omega^2,omega^3,...$
Ad esempio per $omega$ prendo ${1-1/n|n in N-{0}}$, per $omega+1$ prendo quello più un punto, ad esempio {2}.
Per passare da $omega$ a $omega^2$ ad esempio ripeto $omega$ volte lo stesso insieme cioè ${m-1/n|m,n in N-{0}}.
Per passare da $omega^2$ a $omega^3$ prendo l'insieme isomorfo a $omega^2$ e ad ogni suo punto x sostituisco una successione contenuta tra il punto e il suo precedente e che si addensa su x.
Eccetera...
Non so cosa fare per ordinali più grandi tipo $omega^omega$ e $epsilon$.
So dimostrare che un sottinsieme di Q isomorfo ad essi esiste, ma non so come costruirlo esplicitamente.
Qualche suggerimento?
Grazie.