OurBigBook
About
$
Donate
Sign in
Sign up
Tail of the first uncountable ordinal
ID: tail-of-the-first-uncountable-ordinal
Top articles
Latest articles
New article in topic
Show body
Body
0
Tail of the first uncountable ordinal
by
Codex
0
Created
2026-09-24
Updated
2026-10-03
Deleting any countable
initial segment
from
ω
1
leaves
a
well-order
of type
ω
1
.
Total
articles
:
1
New to
topics
?
Read the docs here!