« first day (3756 days earlier)      last day (307 days later) » 

Martin Sleziak
Martin Sleziak
7:50 AM
Nov 24 at 5:49, by Martin Sleziak
Questions where consistency was added/removed (with editors): https://data.stackexchange.com/mathoverflow/query/1105163/questions-which-had-the-given-tag-including-the-editor-who-added-it?tagname=consistency https://data.stackexchange.com/mathoverflow/query/1038474/questions-which-no-longer-have-the-given-tag-including-the-editor?tagName=consistency
Nov 24 at 5:49, by Martin Sleziak
Most frequent taggers/removers for consistency: https://data.stackexchange.com/mathoverflow/query/1146497/number-of-tag-additions-per-user?tagname=consistency https://data.stackexchange.com/mathoverflow/query/1038477/number-of-tag-removals-per-user?tagname=consistency
Nov 24 at 10:23, by YCor
@MartinSleziak I guess consistency should be removed. It is a quite broad tag in set theory. I think that tags that are in principle suitable for hundred/thousands of question but are only used for a few rare ones, are not useful.
At the moment, I see only one question tagged consistency: Is diamond consistent with 2nd order PA?
9
Q: Is diamond consistent with 2nd order PA?

Vladimir KanoveiIf $T$ is a theorem of ZF which says something only about reals, then one may want to prove $T$ using a theory like 2nd order PA or related theories like ZFC$^-$ or GBC$^-$ (minus accounts for the absence of the Power Set axiom). In many cases this goes through, sometimes rather straightforwardly...

set-theory lo.logic theories-of-arithmetic consistency
The removals could be found using the above SEDE queries - but only after the next update of the database.

« first day (3756 days earlier)      last day (307 days later) »