On the tags (transfinite-induction) and (transfinite-recursion)

Question

At the moment we have two tags transfinite-induction and transfinite-recursion. These topics are rather close.

I can imagine a reasonable question which could be tagged with the tags transfinite-induction, transfinite-recursion, ordinals, elementary-set-theory. Having only five spots for tags, this might become a problem at some point (at least for some questions.)

Transfinite induction and transfinite recursion are not the same, but these two topics are definitely close to each other. Basically the difference is that in one case we are proving some result by induction on ordinal numbers. In the other case we are proving existence of some object using this technique. (I have decided to be cautious and avoided using work "constructing" or "defining" some object, but for informal description they might sound better and make the distinction clearer.)

• Would it be better to have these two topics in the same tag? If we want to create one tag for both topics, what would be the name of the new tag? Or should we simply create synonym between the two tags in one direction?
• Should we use simply ordinals to tag questions about transfinite induction/recursion? If yes, then should there be a synonym from these two tags to the master tag (ordinals), or is it sufficient to remove the tags and explicitly mention in the tag-info for ordinals that the tag is intended also for these question?
• Or is the situation satisfactory as it is currently and it is better to keep two separate tags to make the distinction?

---

The tag transfinite-induction was created in August 2015 and it has 46 questions.

The tag transfinite-recursion is older, first occurrences can be found in June 2011. The tag contains 65 questions.

Answer 1

For the record, it won't bother me regardless of what's done about this.

I don't like the idea of making one a synonym for the other. It bugs me when people talk about "inductive" definitions - people don't talk about "recursive" proofs, but if they did that would bug me too. Structuring our tags so as to blur the distinction seems to me like a bad thing.

If we have too many tags my vote would be to replace them both by (transfinite-induction-and-recursion).

I'd also say that I don't think it's optimal to regard them both as somehow covered under (ordinals). Of course the connection is clear if one knows a little set theory, but even if one did not know that small amount of set theory one could still use transfinite induction; it's just an accident that ordinals give canonical representatives of well-order types, not really essential to transfinite induction.

Consider for example that post where I evidently created that tag. It seems like a worthwhile argument, more natural/simple than what you see in, say, Folland. As written it's accessible to someone who's never heard of ordinals -- those intervals are well-ordered, so if there's a counterexample there's a smallest counterexample, qed. If I were, say, giving the proof in a real analysis class, formulating it explicitly in terms of ordinals would require a major digression.