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 ...
Only top scored, non community-wiki answers of a minimum length are eligible