1. Brattka, V., Gherardi, G., Marcone, A.: The Bolzano-Weierstraß theorem is the jump of weak König’s lemma. Ann. Pure Appl. Log. 163(6), 623–655 (2012)
2. Carl, M.: Approach to a church-turing-thesis for infinitary computations. Preprint. arXiv: 1307.6599
3. Galeotti, L.: Computable analysis over the generalized Baire space. M.Sc. thesis, Amsterdam (2015)
4. Gitman, V., Hamkins, J., Johnstone, T.: What is the theory ZFC without power set? Math. Log. Q., Preprint (to appear). arXiv: 1110.2430
5. Hirschfeldt, D., Jockusch, C.: On notions of computability theoretic reduction between $$\Pi ^{1}_{2}$$ Π 2 1 -principles. Preprint. http://www.math.uchicago.edu/drh/Papers/Papers/upaper.pdf