53,527
reputation
6
85
195

Simply Beautiful Art

8/21/2019: I defined a neat ordinal collapsing function:

S(A) ⇔ ∀ f : sup A ↦ sup A, ∃ α ∈ A, ∀ η ∈ α (f(η) ∈ α)

B(α, κ, 0) = κ ∪ {0, K}

B(α, κ, n+1) = {γ + δ | γ, δ ∈ B(α, κ, n)}

             ∪ {Ψ_η(μ) | μ ∈ B(α, κ, n) ∧ η ∈ α ∩ B(α, κ, n)}

B(α, κ) = ⋃ {B(α, κ, n) | n ∈ N}

Ξ(α) = {κ ∈ K′ | κ ∉ B(α, κ) ∧ α ∈ cl(B(α, κ)) ∧ S(⋂ {Ξ(η) ∩ κ | η ∈ B(α, κ) ∩ α})}

Ψ_α = enum(Ξ(α))

where K is a weakly compact cardinal and K' is the (K+1)th hyper-Mahlo or alternatively, the smallest ordinal larger than K closed under γ ↦ M(γ), where M(γ) is the first γ-Mahlo. On its own this doesn't make a notation for large countable ordinals, but it can be used with another ordinal collapsing function for such purpose.

If you need me, you can find me here:

This is the realm of SBA

or on Discord.

My favorite topics include , , , , , and on math.SE.

Some of my favorite posts:

Golf a number bigger than TREE(3)

Largest Number Printable

Methods to compute $\sum_{k=1}^nk^p$ without Faulhaber's formula

How to prove this $\pi$ formula?

Visually stunning math concepts which are easy to explain

1,944
answers
228
questions
~2.0m
people reached
  • America
  • Member for 3 years, 11 months
  • 14,315 profile views
  • Last seen 3 hours ago

Top tags (326)

Score 1,066
Posts 474
Posts % 22
Score 951
Posts 441
Score 628
Posts 243
Score 606
Posts 233
Score 462
Posts 210
Score 425
Posts 245

Top posts (2,172) All Questions Answers | Votes Newest

View all questions and answers

Badges (286)

Gold

6

Rarest

Silver

85

Rarest

Bronze

195

Rarest