Solomon Feferman Gerhard Jäger Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis. 63-70 1983 48 J. Symb. Log. 1 db/journals/jsyml/jsyml48.html#FefermanJ83