2 papers
math.LO2016
Arithmetic with Limited Exponentiation
Dmytro Taranovsky
We present and analyze a natural hierarchy of weak theories, develop analysis in them, and show that they are interpretable in bounded quantifier arithmetic (and henc…
math.LO2016
Determinacy and Fast-growing Sequences of Turing Degrees
Dmytro Taranovsky
We discuss sufficiently fast-growing sequences of Turing degrees. The key result is that, assuming sufficient determinacy, if is a formula with one free variable, and S and T a…