Right now there are two tags for questions about inner model theory: and . 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.

  • $\begingroup$ I recall Andres saying something about it on tea. $\endgroup$
    – Asaf Karagila Mod
    Oct 10, 2013 at 0:37
  • 1
    $\begingroup$ tea.mathoverflow.net/discussion/34/6/tag-mergerename-requests $\endgroup$
    – Asaf Karagila Mod
    Oct 10, 2013 at 0:42
  • 5
    $\begingroup$ Yes, this came up before. In spite of the similarity of names, these are different things. Do not merge. (And yes, probably the "inner models" tag is not used as it should.) Go ahead with the tag wiki, though. Thanks. I never got around to writing one. I can help edit it after, if needed. $\endgroup$ Oct 10, 2013 at 1:52
  • $\begingroup$ So inner model theory is not about inner models? Somehow I am not surprised :) $\endgroup$ Oct 10, 2013 at 7:02
  • 1
    $\begingroup$ @Tobias: There exists an inner model in which the tags are identical, but we can show that this universe is not even a class-generic extension over that inner model, or any inner model in which the two tags are equal. $\endgroup$
    – Asaf Karagila Mod
    Oct 10, 2013 at 7:51
  • $\begingroup$ Thanks all! I shall get on with the tag wiki then. Cheers. $\endgroup$ Oct 10, 2013 at 10:32
  • $\begingroup$ No, thank you. I made some edits to your draft. $\endgroup$ Oct 10, 2013 at 18:40
  • 1
    $\begingroup$ By the way, you can (and should) use [tag:tag-name] to generate the links to the tag pages. It works in the comments as well. See, inner-models. $\endgroup$
    – Asaf Karagila Mod
    Oct 10, 2013 at 21:18
  • $\begingroup$ Thanks Andres! I'm just starting this stuff (Philip Welch is doing a seminar series on it) so your changes are very helpful in improving my understanding, as well as the tag wiki. Asaf: thanks, I didn't know that. $\endgroup$ Oct 11, 2013 at 11:09
  • $\begingroup$ @Benedict: I hope someone is LiveTeX'ing that seminar, and that I could read the notes! $\endgroup$
    – Asaf Karagila Mod
    Oct 11, 2013 at 15:45
  • $\begingroup$ @AsafKaragila I'll see what I can do. :) $\endgroup$ Oct 11, 2013 at 15:57
  • $\begingroup$ @BenedictEastaugh Nice to hear. Hope you enjoy it! $\endgroup$ Oct 11, 2013 at 18:00


You must log in to answer this question.

Browse other questions tagged .