Optimal proofs of determinacy

Itay Neeman. Optimal proofs of determinacy. Bulletin of Symbolic Logic, 1(3):327-339, 1995. [doi]

Abstract

Abstract is missing.