In reverse mathematics, is is possible to have a curious situation where we know that an implication does not reverse, but appear to have no information on on how to weaken the assumption while preserving the conclusion.
Jun 29, 2011
We make extensive use in this paper of the standard systems of Reverse Mathe- matics, particularly RCA o, ACA o, ATRo , and H'-CAq. [1 5] is the standard ...
Abstract. In reverse mathematics, it is possible to have a curious situation where we know that an implication does not reverse, but appear to have no ...
Abstract. In reverse mathematics, it is possible to have a curious situation where we know that an implication does not reverse, but appear to have no ...
Partial impredicativity in reverse mathematics · H. Towsner · Published in Journal of Symbolic Logic… 29 June 2011 · Mathematics.
In reverse mathematics, it is possible to have a curious situation where we know that an implication does not reverse, but appear to have no information on ...
In reverse mathematics, is is possible to have a curious situation where we know that an implication does not reverse, but appear to have no information on ...
In reverse mathematics, is is possible to have a curious situation where we know that an implication does not reverse, but appear to have no information on ...
Nov 30, 2012 · PARTIAL IMPREDICATIVITY IN REVERSE MATHEMATICS. HENRY TOWSNER. Abstract. In reverse mathematics, it is possible to have a curious situation ...
A main cause of this phenomenon is the proof of a sentence from the theory . Using methods based on the functional interpretation, we introduce a family of ...