Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
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.
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.
1 to 2 of 2