How to make Deedlit's Mahlo-level notation more intuitive
(the original notation and definition can be found here)
And now to my suggestion:
Replace all instances of χ(a,b) with I(M×a+b)... And that's it!
Now we have a new collapsing function I which - as it's name implies - keeps track of our inaccessible cardinals in a very straight forward manner:
I(n) = In
I(M) = I(1,0)
I(M2) = I(1,0,0)
I(M3×5+M2×I+M×Γ₀+7) = I(5,I,Γ₀,7) = I(5,I(1),Γ₀,7)
I(Mω×5+M3×Γ₀+7) = I(1@ω, Γ₀@3, 7@0)
Of-course, once we reach I(MM), this I function stops looking like an extended Veblen function, and starts looking like a full-fledged collapsing function. So:
I(MM) = I(MI(MI(M...)))
(I think... If the last line is wrong, I'll be grateful for corrections)
(EDIT: Given that we are dealing with inaccessibles here, that last line looks wr…
Does anybody here know the expansion rules for BM2?
Does anybody here knows the expansion rules for BM2?
Please vote: Should we allow post-2018 wiki members on our new site?
We currently have 12 registered users. Please, all of you, vote about this by writing "yes" or "no" in the comment section.
("Yes" means we should allow such accounts. "No" means we shouldn't)
Thank you.
An official list of members for our new home
Anyone who wants to join, please say so in the comments.
'Note:' This will be the official list of members for our new googology community. We will refer to this list later, during the process of creating the new site.
Registeration open to all googology wiki members that signed up before January 1, 2018.
Members so far (13):
AJZajac
Alemagno12
CatIsFluffy
Cheetahrock63
Cookiefonster
Deedlit11
Googleaarex
Littlepeng9
Nayuta Ito
Nnn6nnn
PsiCubed2
Rpakr
Username5243