Ultimate guide to EVERYTHING in here: aleph-null is just a cardinal of ω. Epsilon-zero (ε_0) is just φ(1,0) in a different notation. φ likes for next part.
TREE(3) is a finite number, this video is about infinite numbers. Here is a video about finite numbers where TREE(3) appears: ruclips.net/video/msPUH5YfuWQ/видео.html&ab_channel=Pragmatikonto
It's a short version. I'm working on more videos, but I have very little free time. There is no way to locate these cardinals in this list, since in this video, the numbers are ordered in terms of size, not in terms of consistency strength.
Ultimate guide to EVERYTHING in here:
aleph-null is just a cardinal of ω.
Epsilon-zero (ε_0) is just φ(1,0) in a different notation.
φ likes for next part.
more functions please!
part VII of large numbers?
oh yay thanks for like
oh yay now 2
Is first aleph fixed point larger than rank-into-rank cardinals?🤔 How about gap and stable ordinals?
No freaking way, rank into rank cardinals are the biggest cardinal axioms, at least consistent with axiom of choice
Aleph fixed ponit is 'smaller'
Alpha, Beta, Gamma, Delta, Eta, Theta, Iota, Kappa, Lambda, Sigma and Omega would actually make good prefixes for big numbers
Where is the TREE number?
TREE(3) is a finite number, this video is about infinite numbers.
Here is a video about finite numbers where TREE(3) appears:
ruclips.net/video/msPUH5YfuWQ/видео.html&ab_channel=Pragmatikonto
@@WhyManSK thanks!
You literally skipped Inaccessibles, Mahlos, Weakly Compacts, ...
You just skipped a lot.
It's a short version. I'm working on more videos, but I have very little free time.
There is no way to locate these cardinals in this list, since in this video, the numbers are ordered in terms of size, not in terms of consistency strength.
@@WhyManSK ok
Make your own dude
@@ez_is_bloo I am and it’s like 3-4 hours to absolute infinity...
Numbers part 8
Absolute Infinity to Absolutely Eternal
Ω -> ???
There is nothing beyond absolute infinity, according to Cantor; so this is the end of the series.
1
*CHAT FULL EXCEEDED*
2
@@sop4r572 3
4
5