Ordinal Hierarchies Formalize Uncomputable Growth Beyond Arithmetic Definability — E8 Intelligence Research

FINDING: The successor-limit hierarchy of ordinals (BB^α, fast-growing hierarchies, ordinal collapsing functions) formalizes uncomputable growth rates, indexing definability levels beyond Σ_{α+1} in the arithmetic hierarchy. | MATH: Let α be an ordinal; define f_α(n) via recursion: f_0(n)=n+1, f_{α+1}(n)=f_α^n(n), f_λ(n)=f_{λ[n]}(n) for limit λ with fundamental sequence {λ[n]}. The Busy Beaver function BB(n) ~ f_{ω_1^CK}(n) (Church-Kleene ordinal). For α < ε_0, f_α is provably total in PA; beyond ε_0, unprovable. Theta OCF (ordinal collapsing function) maps uncountable ordinals to countable ones: θ(Ω^α) = ε_α, θ(Ω^Ω) = Γ_0 (Feferman–Schütte). Definability: Σ_{α+1} sets correspond to iterated jumps of the Turing jump: ∅^{(α)}. | CONNECTION: The ordinal hierarchy mirrors the golden-ratio-like self-similarity: fundamental sequences λ[n] often use n-th term of a recursive enumeration — the ratio of successive ordinal notations in the Veblen hierarchy approaches 1 (not 0.618), but the *stru Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-09-09
DOI
https://doi.org/10.5281/zenodo.22674148
Primary Topic
Computability, Logic, AI Algorithms
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Ordinal Hierarchies Formalize Uncomputable Growth Beyond Arithmetic Definability — E8 Intelligence Research

Andrew Stewart Caldin
Zenodo (CERN European Organization for Nuclear Research)
Computability, Logic, AI Algorithms
preprint

Ordinal Hierarchies Formalize Uncomputable Growth Beyond Arithmetic Definability — E8 Intelligence Research

Andrew Stewart Caldin
preprint en

Abstract

FINDING: The successor-limit hierarchy of ordinals (BB^α, fast-growing hierarchies, ordinal collapsing functions) formalizes uncomputable growth rates, indexing definability levels beyond Σ_{α+1} in the arithmetic hierarchy. | MATH: Let α be an ordinal; define f_α(n) via recursion: f_0(n)=n+1, f_{α+1}(n)=f_α^n(n), f_λ(n)=f_{λ[n]}(n) for limit λ with fundamental sequence {λ[n]}. The Busy Beaver function BB(n) ~ f_{ω_1^CK}(n) (Church-Kleene ordinal). For α < ε_0, f_α is provably total in PA; beyond ε_0, unprovable. Theta OCF (ordinal collapsing function) maps uncountable ordinals to countable ones: θ(Ω^α) = ε_α, θ(Ω^Ω) = Γ_0 (Feferman–Schütte). Definability: Σ_{α+1} sets correspond to iterated jumps of the Turing jump: ∅^{(α)}. | CONNECTION: The ordinal hierarchy mirrors the golden-ratio-like self-similarity: fundamental sequences λ[n] often use n-th term of a recursive enumeration — the ratio of successive ordinal notations in the Veblen hierarchy approaches 1 (not 0.618), but the *stru Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Zenodo (CERN European Organization for Nuclear Research)
Decent work and economic growth
Computability, Logic, AI Algorithms
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.