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...

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...