Timeline for Should the tags [inner-models] and [inner-model-theory] be merged?
Current License: CC BY-SA 3.0
14 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Oct 11, 2013 at 18:00 | comment | added | Andrés E. Caicedo | @BenedictEastaugh Nice to hear. Hope you enjoy it! | |
Oct 11, 2013 at 15:57 | comment | added | Benedict Eastaugh | @AsafKaragila I'll see what I can do. :) | |
Oct 11, 2013 at 15:45 | comment | added | Asaf Karagila Mod | @Benedict: I hope someone is LiveTeX'ing that seminar, and that I could read the notes! | |
Oct 11, 2013 at 11:10 | history | edited | Benedict Eastaugh | CC BY-SA 3.0 |
Use tag links.
|
Oct 11, 2013 at 11:09 | comment | added | Benedict Eastaugh | 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. | |
Oct 10, 2013 at 21:18 | comment | added | Asaf Karagila Mod |
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.
|
|
Oct 10, 2013 at 18:40 | comment | added | Andrés E. Caicedo | No, thank you. I made some edits to your draft. | |
Oct 10, 2013 at 10:32 | comment | added | Benedict Eastaugh | Thanks all! I shall get on with the tag wiki then. Cheers. | |
Oct 10, 2013 at 7:51 | comment | added | Asaf Karagila Mod | @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. | |
Oct 10, 2013 at 7:02 | comment | added | Tobias Kildetoft | So inner model theory is not about inner models? Somehow I am not surprised :) | |
Oct 10, 2013 at 1:52 | comment | added | Andrés E. Caicedo | 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. | |
Oct 10, 2013 at 0:42 | comment | added | Asaf Karagila Mod | tea.mathoverflow.net/discussion/34/6/tag-mergerename-requests | |
Oct 10, 2013 at 0:37 | comment | added | Asaf Karagila Mod | I recall Andres saying something about it on tea. | |
Oct 10, 2013 at 0:13 | history | asked | Benedict Eastaugh | CC BY-SA 3.0 |