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 Oct 10 '13 at 0:37
  • 1
    $\begingroup$ tea.mathoverflow.net/discussion/34/6/tag-mergerename-requests $\endgroup$ – Asaf Karagila Oct 10 '13 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$ – Andrés E. Caicedo Oct 10 '13 at 1:52
  • $\begingroup$ So inner model theory is not about inner models? Somehow I am not surprised :) $\endgroup$ – Tobias Kildetoft Oct 10 '13 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 Oct 10 '13 at 7:51
  • $\begingroup$ Thanks all! I shall get on with the tag wiki then. Cheers. $\endgroup$ – Benedict Eastaugh Oct 10 '13 at 10:32
  • $\begingroup$ No, thank you. I made some edits to your draft. $\endgroup$ – Andrés E. Caicedo Oct 10 '13 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 Oct 10 '13 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$ – Benedict Eastaugh Oct 11 '13 at 11:09
  • $\begingroup$ @Benedict: I hope someone is LiveTeX'ing that seminar, and that I could read the notes! $\endgroup$ – Asaf Karagila Oct 11 '13 at 15:45
  • $\begingroup$ @AsafKaragila I'll see what I can do. :) $\endgroup$ – Benedict Eastaugh Oct 11 '13 at 15:57
  • $\begingroup$ @BenedictEastaugh Nice to hear. Hope you enjoy it! $\endgroup$ – Andrés E. Caicedo Oct 11 '13 at 18:00

You must log in to answer this question.

Browse other questions tagged .