Today I came across the following question
and in attempting to appropriately tag it, I felt myself at a bit of a loss. The tags logic, model-theory and peano-axioms each seemed to fit (and possibly even divisibility). But it concerned a particular concept that didn't seem to match up with any of these (either individually or in combination, in my opinion). The nonstandard-analysis tag seemed much too removed in its scope.
I therefore introduced the nonstandard-models tag.
A quick search resulted in several questions for which this tag might be appropriate, though I will refrain from re-tagging these questions for the time being.
I am therefore requesting the community opinion on the following:
- Is this tag worthwhile?
- If the majority opinion to the above is "yes", can someone better versed in the subject suggest an appropriate tag-wiki?
- If the consensus to the first is "no", then how should one appropriately tag questions about nonstandard models of arithmetic?