Uniform versions of some axioms of second order arithmetic
Nobuyuki Sakamoto, Takeshi Yamazaki · Mathematical logic quarterly · 2004
Abstract In this paper, we discuss uniform versions of some axioms of second order arithmetic in the context of higher order arithmetic. We prove that uniform versions of weak weak König's lemma WWKL and Σ01 separation are equivalent to (∃2) over a suitable base theory of higher order arithmetic, where (∃2) is the assertion that there exists Φ2 such that Φf1 = 0 if and only if ∃x0(fx = 0) for all f. We also prove that uniform versions of some well‐known theorems are equivalent to (∃2) or the axiom (Suslin) of the existence of the Suslin operator. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)