The Equivalency of Determinacy and Iterated Sharps (1980)

by Derrick Albert Dubose
Venue:Journal of Symbolic Logic