9 votes

What should we call a tag on point-free topology?

Since Martin Sleziak wrote an answer defending making the name pointless-topology the main tag (with locales and ...
Gro-Tsen's user avatar
  • 29.6k
5 votes

What should we call a tag on point-free topology?

I suggest having two tags: pointfree-topology and locales-and-frames We should have synonyms: [pointless-topology] for the first, and [frames-and-locales], [frames] and [locales] for the second. We ...
David Roberts's user avatar
  • 33.3k
4 votes
Accepted

Remove [tag:slick-proof] or make it a synonym of [tag:alternative-proof]

This has been done (probably a long time ago, but I just noticed).
LSpice's user avatar
  • 11k
3 votes

What should we call a tag on point-free topology?

I would suggest to create a new tag pointless-topology - for example, this is the name used in the Wikipedia article. And then make the two tags locales and frames synonyms of this tag. (I.e., the tag ...
Martin Sleziak's user avatar
2 votes

Creating theories-of-arithmetic logic tag

I realize that I am coming late to this discussion, but I am not happy with the tag situation regarding models of PA. Currently I feel there is no suitable tag for questions about models of PA. This ...
Joel David Hamkins's user avatar

Only top scored, non community-wiki answers of a minimum length are eligible