- gch vs. generalized-continuum-hypothesis (Both names should be kept here with a synonym in one or the other direction. After all, people around here know what GCH is, so it probably can remain the master tag. But adding a synonym might be useful addition, since people looking for the tag corresponding to their might start to write something liked "continuum hypothesis" in the tag field.)
- dg-algebras $\to$ differential-graded-algebras, dg-categories $\to$ differential-graded-categories (Maybe the shortened namesname could be kept as synonyms - since MO users are probably used to themit by now?)
- differential-graded-algebras $\to$ dg-algebras
- topological-quantum-field-theory $\to$ tqft
- unique-factorization-domains $\to$ ufds