Kannan Ordinal Invariants
nctions extend the hierarchy of large countable ordinals by iterating normal functions, but they do not necessarily capture the computability or logical definability aspects that Kannan invariants foreground. This makes Kannan invariants particularly suited for applicatio