A characterization of the S1 Sigma_1-definable functions of KPw+ (uniform AC)KP omega + (uniform ; AC). - Wolfgang Burr; Volker Hartung (Arch. Math. Log., 1998)