« first day (3999 days earlier)      last day (40 days later) » 

Martin Sleziak
Martin Sleziak
7:35 AM
Yes, they should, that was the intention behind it all along. There also has been a suggestion to disambiguate between "theories-of-arithmetic" and "models-of-arithmetic" or the like, but this can only be done manually on a case-by-case basis, and anyway, the latter tag was apparently never created. — Emil Jeřábek 8 mins ago
@EmilJeřábek Concerning the tag for models, you probably mean the Joel David Hamkins' answer and the discussion in the comments there. It is certainly a related tag (if it gets created again) - but that is a bit separate issue from merging (peano-arithmetic) and (theories-of-arithmetic). — Martin Sleziak 4 mins ago
Yes, this is tangential to the merging. I just commented on it for completeness, as it was also discussed on the linked meta page. — Emil Jeřábek 1 min ago
@EmilJeřábek Actually, as you can see in chat, I reminded him of this issue. His response was that he is busy at the moment to make a post on meta about this. — Martin Sleziak 19 secs ago

« first day (3999 days earlier)      last day (40 days later) »