https://web.dmi.unict.it/it/node/5560
Seminario - Ladder systems on omega_1 and some topological examples.