Abstract. We show how two iterated products of selection functions can both be used in conjunction with system T to interpret, via the dialectica interpretation and modified realizability, full classical analysis. We also show that one iterated product is equivalent over system T to Spector's bar recursion, whereas the other is Tequivalent to modified bar recursion. Modified bar recursion itself is shown to arise directly from the iteration of a different binary product of 'skewed' selection functions. Iterations of the dependent binary products are also considered but in all cases are shown to be T-equivalent to the iteration of the simple products. §1. Introduction. Gödel's [13] so-called dialectica interpretation reduces the consistency of Peano arithmetic to the consistency of the quantifier-free calculus of functionals T. In order to extend Gödel's interpretation to full classical analysis PA ω + CA, Spector [18] made use of the fact that PA ω + CA can be embedded, via the negative translation, into HA ω + AC N + DNS. Here PA ω and HA ω denote Peano and Heyting arithmetic, respectively, formulated in the language of finite types, andis countable choice, and DNS : @n N B(n) Ñ @nB(n), is the double negation shift, with A(n) and A(n, x) standing for arbitrary formulas, and B(n) " Dx A(n, x). Since HA ω + AC N , excluding the double negation shift, has a straightforward (modified) realizability interpretation [20], as well as a dialectica interpretation [1,13], the remaining challenge is to give a computational interpretation to DNS.A computational interpretation of DNS was first given by Spector [18], via the dialectica interpretation. Spector devised a form of recursion on well-founded trees, nowadays known as Spector bar recursion, and showed that the dialectica interpretation of DNS can be witnessed by such kind of recursion. A computational interpretation of DNS via realizability only came recently, first in [2], via a non-standard form of realizability, and then in [4,5], via Kreisel's modified realizability. The realizability interpretation of DNS makes use of a new form of bar recursion, termed modified bar recursion.It has been shown in [5] that Spector's bar recursion is definable in system T extended with modified bar recursion, but not conversely, since Spector's bar recursion Received by the editors PREPRINT, MARCH 1, 2018.