3
$\begingroup$

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 , and each seemed to fit (and possibly even ). 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 tag seemed much too removed in its scope.

I therefore introduced the 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:

  1. Is this tag worthwhile?
  2. If the majority opinion to the above is "yes", can someone better versed in the subject suggest an appropriate tag-wiki?
  3. If the consensus to the first is "no", then how should one appropriately tag questions about nonstandard models of arithmetic?
$\endgroup$
  • $\begingroup$ If a separate tag is to exist, (nonstandard-arithmetic) is the direct analogue to (NS-A). Currently, no nonstandard tag except NSA exists on MO, including questions asked by cognoscenti who well understand the distinction: mathoverflow.net/search?q=nonstandard+arithmetic . As far as I know non-logicians don't make a serious distinction between NSA and NSArithmetic and often think of the first as having been built from the second. $\endgroup$ – zyx Oct 28 '13 at 18:00
  • $\begingroup$ I knew that the NSA are monitoring us. And that they use non-standard ways to collect and analyze the data. $\endgroup$ – Asaf Karagila Oct 28 '13 at 18:40
  • $\begingroup$ @zyx: I hadn't thought of checking MO for tips. I'll have to spend some time looking through their [nonstandard-analysis] tag, though their usage will naturally be more informed. My gut feeling is that for math.SE the concepts are a bit too distinct; at the very least our [nonstandard-analysis] tag-wki would have to be expanded to include this. (Of course, then merging and synonymising the tags would be quick and simple.) $\endgroup$ – user642796 Oct 28 '13 at 19:03
  • 1
    $\begingroup$ @Arthur: I feel that the non-standard models of arithmetics should fall well within the bounds of the Peano tag and logic (or model-theory). $\endgroup$ – Asaf Karagila Oct 28 '13 at 20:51
  • $\begingroup$ Interestingly, the tag has one follower, nine questions and a Wiki. $\endgroup$ – Asaf Karagila Jun 3 '14 at 10:41

You must log in to answer this question.

Browse other questions tagged .