We have two tags called mathematical-software and software. The latter has currently empty tag-info and the tag-excerpt for mathematical-software currently says: Mathematical questions related to mathematical software systems such as Sage, Mathematica, Maple, Pari/GP, and GAP. Note that troub...

What about creating small-uncountable-cardinals tag? (The tag name is within the recently increased 35 character limit.) Looking at the main site, it seems that small uncountable cardinals (such as $\mathfrak p$, $\mathfrak t$, $\mathfrak b$, $\mathfrak d$, etc.) get quite a lot of attention on ...

There was tag open-problems-list for questions asking list of open problems in certain area or more generally satisfying certain criteria. But it disappeared recently. I do not think it is good. Can we revert it? There is tag "open-problems" but that tag is very general and there too many ques...

I'd like to propose creation of continuum-theory tag. To me (as an outsider, but still a bit interested in this topic) it seems that continuum theory is an area of general topology which enjoys some interest both among topologists and among mathematicians in general. (For example, one part of Op...

There is a tag closed-questions on meta. If you look at the questions, some of them are not about questions which are already closed, but more about process of closing. (E.g., how is question closed, when it can/cannot be closed, etc.) I would suggest to: Create a closing tag on meta. Make the...

Done I propose to deprecate abstract-algebra. It seems redundant with other tags, very broad, and the usage seems inconsistent. I feel it is comparable to the meanwhile removed topology and the deprecated geometry. (Explication on terminology: To deprecate a tag is not a technical measure. Wh...

Done I propose to deprecate discrete-mathematics. It seems redundant with other tags, very broad, and the usage seems inconsistent. I feel it is comparable to the meanwhile removed topology and the deprecated geometry. (Explication on terminology: To deprecate a tag is not a technical measure...

I'm not sure if this is the right place to raise the issue, but I don't really like that combinatorial-geometry has been merged with discrete-geometry. In my opinion, this is the same (in a smaller scale) as merging combinatorics into discrete mathematics. There are many problems in discrete-geom...

As of August 8, 2017, the length limit for tags went from 25 characters to 35 characters. So now is a great time to allow inconveniently compressed tag names to stretch out a bit... Perhaps we could collect here list of tags which now, after the character limit for length of tag name has bee...

I would suggest creating a synonym between models-of-peano-arithmetic and models-of-pa. (In either direction. The tag (models-of-pa) already exists, but IMO adding also a longer name (models-of-peano-arithmetic) might be useful.) The advantage of the synonym is that users who are asking a quest...