Skip to content

Every Veblen level is a normal function; φ_{α+1} enumerates fixed points of φ_α (BH climb rung 5)#246

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/eager-heisenberg-r3gz3c
Jun 20, 2026
Merged

Every Veblen level is a normal function; φ_{α+1} enumerates fixed points of φ_α (BH climb rung 5)#246
hyperpolymath merged 1 commit into
mainfrom
claude/eager-heisenberg-r3gz3c

proof(ordinal): every Veblen level is a normal function; φ_{α+1} enum…

52540bb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar