All Questions

I assume that most likely this was just an oversight - but since it was a result of a moderator's action, it is probably better to ask than just remove the tag singlehandedly.1 Question: At the moment ...

On MathOverflow, questions about mathematical logic bear the tag lo.logic, which has a synonym of logic. Where did this lo.logic spelling come from? Why is it not ...

It seems to me that a tag for "arithmetic logic" is missing while it concerns a significant number ($\sim 500?$) of questions, which currently have no common tag other than the very broad lo....