Searching for an analogue of ATR in the Weihrauch lattice

12/04/2018
by   Takayuki Kihara, et al.
0

There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far ATR has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candidates, and conclude that the situation is complicated.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset