Keita Yokoyama Complex analysis in subsystems of second order arithmetic. 15-35 2007 46 Arch. Math. Log. 1 http://dx.doi.org/10.1007/s00153-006-0017-z db/journals/aml/aml46.html#Yokoyama07