Skip to main content
4 votes

Help cleanup tags!

We have tags for both software and for mathematical-software. Some questions are tagged with both. I propose these be merged. Please comment if you disagree!
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