Skip to main content
7 votes

Creating theories-of-arithmetic logic tag

I think having a tag for something like this would be quite reasonable. However, I have a couple reservations with your proposal. First, in my opinion "arithmetic logic" is not an ideal tag ...
Noah Schweber's user avatar
2 votes

Creating theories-of-arithmetic logic tag

I realize that I am coming late to this discussion, but I am not happy with the tag situation regarding models of PA. Currently I feel there is no suitable tag for questions about models of PA. This ...
Joel David Hamkins's user avatar
1 vote
Accepted

Creating theories-of-arithmetic logic tag

I have created the tag synonym peano-arithmetic -> theories-of-arithmetic.
S. Carnahan's user avatar
  • 45.3k

Only top scored, non community-wiki answers of a minimum length are eligible