« first day (2616 days earlier)      last day (1276 days later) » 

Martin Sleziak
Martin Sleziak
2:23 AM
0
A: Creating theories-of-arithmetic logic tag

S. CarnahanI have created the tag synonym peano-arithmetic -> theories-of-arithmetic.

I don't consider it very likely that at some point MO will want to revert this change. (Moreover, the tags weren't merge so at the moment just cancelling the synonym would be enough.)
Just in case, I saved the results of this query for peano-arithmetics, models-of-pa and theories-of-arithmetics.
 

« first day (2616 days earlier)      last day (1276 days later) »