ordinal): definition of von Neumann ordinals
#18513

Open

feat(set_theory/zfc/ordinal): definition of von Neumann ordinals #18513

vihdzp wants to merge 4 commits into master from zfc_ordinal_p0.5

much smaller PR

b697ceb7

vihdzp added awaiting-review

these theorems don't exist yet

8002196e

more accurate desc

1a2a0c55

oh this exists oops

d53bec86

vihdzp assigned

digama0 3 years ago

kim-em removed awaiting-review

kim-em added awaiting-author

vihdzp removed awaiting-author

vihdzp added awaiting-review

eric-wieser added not-too-late

digama0 commented on 2023-07-26

Reviewers

digama0

Assignees

digama0

Labels

awaiting-review not-too-late

Milestone

No milestone