We extend theories of reverse mathematics by a non-principal ultrafilter, and show that these are conservative extensions of the usual theories ACA 0 , ATR 0 , and [Formula: see text].
No takes yet. Share an insight, caveat, or question.
Henry Towsner (2013) studied this question.
Synapse has enriched 2 closely related papers on similar clinical questions. Consider them for comparative context: