On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic (1986)

by A Cantini
Venue:Journal of Symbolic Logic