MO editors' lounge

« first day (3655 days earlier) ← previous day next day → last day (548 days later) »

Martin Sleziak

04:34

Just in case, let us save the tag-excerpt and tag-wiki for locales.

Q: What is the power of the “anti-halting” oracle?

Let me first ask the question, and then, as it may seem a bit cryptic, explain how it comes up (and whence the “anti-halting oracle” in the title): Notations: we write $\langle m,n\rangle$ for a standard (p.r.) coding of pairs of natural numbers by natural numbers; we also write $\varphi_e(n)$ fo...

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

Actually making the changes might be a bit subtle, but let's not worry about the technicalities of that. — David Roberts ♦ May 28 at 7:46

This is fine as far as I'm concerned, although I suspect a vast majority of the (already not very numerous) questions using one of these two tags would use the other. (But since most of these questions don't have a large number of tags anyway, it shouldn't be a problem.) — Gro-Tsen May 28 at 8:55

The tags (pointfree-topology) and (locales-and-frames) again

May 26 at 6:46, 7 days total – 51 messages, 3 users, 1 star

Bookmarked Jun 2 at 7:33 by Martin Sleziak

@Gro-Tsen I see that you have created a tag called (frames-and-locales). Is the intention to make (locales) and (frames) synonyms of this tag, as suggested in David Roberts' answer? — Martin Sleziak 16 secs ago

4 hours later…

Martin Sleziak

08:23

@MartinSleziak Yes, “locales” at least. For “frames” it doesn't seem necessary because I don't believe anyone would think of using that word alone. — Gro-Tsen 1 min ago