03E04 - Mathematical logic and foundations :: Set theory :: Ordered sets and their cofinalities; pcf theory