tea.mathoverflow.net - Discussion Feed (Elimination of redundant tags?) Sun, 04 Nov 2018 13:42:51 -0800 http://mathoverflow.tqft.net/ Lussumo Vanilla 1.1.9 & Feed Publisher Anton Geraschenko comments on "Elimination of redundant tags?" (1506) http://mathoverflow.tqft.net/discussion/138/elimination-of-redundant-tags/?Focus=1506#Comment_1506 http://mathoverflow.tqft.net/discussion/138/elimination-of-redundant-tags/?Focus=1506#Comment_1506 Wed, 06 Jan 2010 08:47:47 -0800 Anton Geraschenko I've merged those. Let's move any further discussion to the other thread.

]]>
David Speyer comments on "Elimination of redundant tags?" (1501) http://mathoverflow.tqft.net/discussion/138/elimination-of-redundant-tags/?Focus=1501#Comment_1501 http://mathoverflow.tqft.net/discussion/138/elimination-of-redundant-tags/?Focus=1501#Comment_1501 Wed, 06 Jan 2010 07:39:15 -0800 David Speyer Bad. We have discussed this issue before here, where we learned that moderators can merge tags. This seems like a good candidate for merger.

]]>
Pete L. Clark comments on "Elimination of redundant tags?" (1499) http://mathoverflow.tqft.net/discussion/138/elimination-of-redundant-tags/?Focus=1499#Comment_1499 http://mathoverflow.tqft.net/discussion/138/elimination-of-redundant-tags/?Focus=1499#Comment_1499 Wed, 06 Jan 2010 05:03:08 -0800 Pete L. Clark
My initial feeling is that it is not so good -- since there is a maximum number of five tags per post, including redundant tags is a loss of information, and if someone uses a proper subset of a redundant set, it makes it harder to search.

I am thinking in particular of gn.general-topology and point-set-topology, which so far as I know are exactly the same thing. ]]>