the bar rule, and autonomously iterated comprehension schemes in analysis (0)

by Choice principles
Venue:Journal of Symbolic Logic