Publisher
Springer Nature Switzerland
Reference12 articles.
1. Brattka, V., de Brecht, M., Pauly, A.: Closed choice and a uniform low basis theorem. Ann. Pure Appl. Logic 163(8), 986–1008 (2012)
2. Hirschfeldt, D.R.: Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles, Lecture Notes Series, Institute for Mathematical Sciences, National Univ. of Singapore, vol. 28. World Scientific, Singapore (2014)
3. Jockusch, C.G., Soare, R.I.: $$\Pi ^0_1$$-classes and degrees of theories. Trans. Am. Math. Soc. 173, 33–56 (1972)
4. Kleene, S.C., Post, E.L.: The upper semi-lattice of degrees of recursive unsolvability. Ann. Math. 59(3), 379–407 (1954)
5. La Roche, P.: Effective Galois theory. J. Symb. Log. 46(2), 385–392 (1981)