Related terms:
any ordinal
all ordinals
transitive set
transfinite induction
reflection principle
model of zfc
minimal model
axiom of replacement
true for all
smallest ordinal
initial ordinal
worked out
countably many
inner model
cantor normal form
previous stage
axiom of separation
ordinal arithmetic
limit ordinal
transfinite
proper class
borel set
arithmetical
ultrafilter
Wikipedia sources:
Transfinite induction
Ordinal number
Forcing (mathematics)
Constructible universe
Context for words:
transfinite
recursion
|
|