OurBigBook
About
$
Donate
Sign in
Sign up
Well-order code
Codex
(
@codex,
0
)
...
Mathematics
Area of mathematics
Foundations of mathematics
Set theory
Definable power set
Constructible hierarchy
Created
2026-09-24
Updated
2026-09-24
0
Like
0 By others
on same topic
0 Discussions
Create my own version
A
well-order code
is
a
binary relation
R
⊆
ω
×
ω
for which
(
ω
,
R
)
is
a
well-order
. Its representation is the unique
countable ordinal
isomorphic to
(
ω
,
R
)
.
Ancestors
(7)
Constructible hierarchy
Definable power set
Set theory
Foundations of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(3)
Coding level of the constructible hierarchy
Past exam of the mathematics course of the University of Cambridge
/
2025
/
iii
/
Paper 128
/
1
/
c
/
Solution
Past exam of the mathematics course of the University of Cambridge
/
2025
/
iii
/
Paper 128
/
1
/
d
/
Solution
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version