Skip to content

proof(ordinal): ordinal exponentiation ω^^ + first ε-number ε₀ (BH climb rung 1)#231

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/confident-shannon-xf0Td
Jun 18, 2026
Merged

proof(ordinal): ordinal exponentiation ω^^ + first ε-number ε₀ (BH climb rung 1)#231
hyperpolymath merged 1 commit into
mainfrom
claude/confident-shannon-xf0Td

proof(ordinal): ordinal exponentiation ω^^ + first ε-number ε₀ (BH cl…

642760a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar