Complete Determinacy and Subsystems of Second Order Arithmetic.

Takako Nemoto

Browse the full CiE paper archive.