An interpretation of S 2 1 in Σ 1 b -NIA. Ferreira, Gilda; Oitavem, Isabel — 2006 Portugaliae Mathematica. Nova Série