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 can put the suggestion in the tag wiki snippets to add the other tag of the pair. But it's not alwa...

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 can put the suggestion in the tag wiki snippets to add the other tag of the pair. But it's not alwa...

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 can put the suggestion in the tag wiki snippets to add the other tag of the pair. But it's not alwa...

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 can put the suggestion in the tag wiki snippets to add the other tag of the pair. But it's not alwa...

Posts commenting some achievements of math.SE users have been posted quite often on meta. Usually it was about a user reaching some reputation milestone, such as 100k or 200k. (I also remember a post congratulating some users on reaching 10k votes, which also contained a suggestion for a badge - ...

Links to various files starting with http://math.uga.edu/~pete and http://www.math.uga.edu/~pete no longer work, but they can be fixed by changing the start to http://alpha.math.uga.edu/~pete. Here are a few examples of such edits done manually: one, two, three. (Other examples can be found using...

Links to various files starting with http://math.uga.edu/~pete and http://www.math.uga.edu/~pete no longer work, but they can be fixed by changing the start to http://alpha.math.uga.edu/~pete. Here are a few examples of such edits done manually: one, two, three. (Other examples can be found using...

Links to various files starting with http://math.uga.edu/~pete and http://www.math.uga.edu/~pete no longer work, but they can be fixed by changing the start to http://alpha.math.uga.edu/~pete. Here are a few examples of such edits done manually: one, two, three. (Other examples can be found using...

Suggestion: Burninate the tag research (rather than remove it manually). Burnination means that the tag is removed from all questions without any bumping. (Pointers to more detailed information about burnination can be found in the tag-info on Meta Stack Exchange. I have also included a short exp...

@YCor made a suggestion in an answer to another post (What is the intended use of the (proofs) tag?) a bit over a year ago. It received several upvotes, but does not appear to have been acted upon. I thought it might receive more attention here: It's not exactly about the original question, bu...

@YCor made a suggestion in an answer to another post (What is the intended use of the (proofs) tag?) a bit over a year ago. It received several upvotes, but does not appear to have been acted upon. I thought it might receive more attention here: It's not exactly about the original question, bu...

Based on the feedback of the past week, I've gone ahead and created a tag (following Monroe Eskew's suggestion of "higher-order-logics" instead of "second-order-logic"). I've kept the tag description very short, and others should feel free to improve it. I'll add this tag to relevant questions ov...