« first day (3075 days earlier)      last day (36 days later) » 

user21820
user21820
15:15
@JadeVanadium Yes. Well-ordering is stronger than induction/recursion in general, not just in a computability sense but also when you go past ω.

« first day (3075 days earlier)      last day (36 days later) »