Everything About ___
Live briefing

Everything about Ordinal collapsing function

Set-theoretic function

In mathematical logic and set theory, an ordinal collapsing function is a technique for defining certain recursive large countable ordinals, whose principle is to give names to certain ordinals much larger than the one being defined, perhaps even large cardinals, and then "collapse" them down to a system of notations for the sought-after ordinal. For this reason, ordinal collapsing functions are described as an impredicative manner of naming ordinals. Wikipedia →

🧭 Start here: a 6-step reading path

  1. Read the overview: Ordinal collapsing functionA 5-minute orientation
  2. Pick up a classic book: Ten epochs of church historyThe most-reprinted book on the subject
  3. Go sideways: Buchholz psi functionsA closely related topic
  4. Go sideways: Ordinal notationA closely related topic

📖 Definitions

No dictionary entry for this exact phrase.

🏆 Landmark papers (most cited)

📚 Books worth reading

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics