« first day (1169 days earlier)
← previous day
next day →
last day (3165 days later) »
Martin Sleziak
7:06 AM
transfinite-induction
was created
here
by
David C. Ullrich
Transfinite induction was mentioned in chat a few times in the past:
chat.stackexchange.com/…
But no extensive discussion.
As far as I can say, so far we have used
induction
+
ordinals
for this type of questions.
Transfinite induction is listed in
elementary-set-theory tag-info
.
« first day (1169 days earlier)
← previous day
next day →
last day (3165 days later) »
all rooms
Transcript for
Aug
23
Aug '15
25
Sep
1
Tagging
When should a tag be added
1
join this room
about this room
00:00
06:00
12:00
18:00
all times are UTC
site design / logo © 2024 Stack Exchange Inc;
legal
mobile