tea.mathoverflow.net - Discussion Feed (What tag is right for articles on formal arithmetic?) 2018-11-04T23:21:25-08:00 http://mathoverflow.tqft.net/ Lussumo Vanilla & Feed Publisher François G. Dorais comments on "What tag is right for articles on formal arithmetic?" (14162) http://mathoverflow.tqft.net/discussion/1021/what-tag-is-right-for-articles-on-formal-arithmetic/?Focus=14162#Comment_14162 2011-04-23T06:24:10-07:00 2018-11-04T23:21:25-08:00 François G. Dorais http://mathoverflow.tqft.net/account/144/ The [arithmetic] tag has been used for this purpose, but I think this tag is much too vague. The tag [peano-axioms] also exists and applies to this case, but it is a little too specific for general ... The [arithmetic] tag has been used for this purpose, but I think this tag is much too vague. The tag [peano-axioms] also exists and applies to this case, but it is a little too specific for general use.

I'm in favor of creating tags for [first-order-arithmetic] and [higher-order-arithmetic], which have just the right amount of specificity and generality.

]]> Carl Mummert comments on "What tag is right for articles on formal arithmetic?" (14161) http://mathoverflow.tqft.net/discussion/1021/what-tag-is-right-for-articles-on-formal-arithmetic/?Focus=14161#Comment_14161 2011-04-23T06:06:14-07:00 2018-11-04T23:21:25-08:00 Carl Mummert http://mathoverflow.tqft.net/account/266/ The question "In what sense can ACAo be said to be a conservative extension of PA?" has only the lo.logic tag. I feel like there should be another, more specific tag on it. But I don't ... The question "In what sense can ACAo be said to be a conservative extension of PA?" has only the lo.logic tag. I feel like there should be another, more specific tag on it. But I don't know exactly what that tag should be. The question is not really model theory or proof theory, although it's related to them. It's not really reverse mathematics either.

If there was a tag for higher-order arithmetic, I would put that on, but I don't see one. Should I create one? Is there some other tag for the question that would be more appropriate? I can see several possible opinions, so I thought I would start a thread here.

]]>