Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Large countable ordinal

In the mathematical discipline of set theory, there are many ways of describing specific countable ordinals.

Takeuti-Feferman-Buchholz ordinal

In the mathematical fields of set theory and proof theory, the Takeuti–Feferman–Buchholz ordinal (TFBO) is a large countable ordinal, which acts as the limit of (largest…

Large countable ordinal

In the mathematical discipline of set theory, there are many ways of describing specific countable ordinals.