In recent work, Schweber [7] introduces a framework for reverse mathematics in a third order setting and investigates several natural principles of transfinite recursion. The main result of that paper is a proof, using the method of forcing, that in the context of two-person perfect information games with moves in R, open determinacy (Σ1 -DET) is not implied by clopen determinacy (∆ R 1 -DET). ...