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

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