Right now there are two tags for questions about inner model theory: inner-models and inner-model-theory. I can't see any difference in the type of questions being asked under these two tags. Should they be merged or made synonymous?

Relatedly, neither tag has a tag wiki yet. I'd be happy to write an initial one once this is settled.

Right now there are two tags for questions about inner model theory: inner-models and inner-model-theory. I can't see any difference in the type of questions being asked under these two tags. Should they be merged or made synonymous?

Relatedly, neither tag has a tag wiki yet. I'd be happy to write an initial one once this is settled.