An interpretation of $S_2^1$ in ${\text{Σ}}_1^b$-NIA.

Ferreira, Gilda, and Oitavem, Isabel. "An interpretation of in -NIA.." Portugaliae Mathematica. Nova Série 63.4 (2006): 427-450. <http://eudml.org/doc/53547>.

@article{Ferreira2006,
author = {Ferreira, Gilda, Oitavem, Isabel},
journal = {Portugaliae Mathematica. Nova Série},
language = {eng},
number = {4},
pages = {427-450},
publisher = {European Mathematical Society Publishing House},
title = {An interpretation of in -NIA.},
url = {http://eudml.org/doc/53547},
volume = {63},
year = {2006},
}

TY - JOUR
AU - Ferreira, Gilda
AU - Oitavem, Isabel
TI - An interpretation of in -NIA.
JO - Portugaliae Mathematica. Nova Série
PY - 2006
PB - European Mathematical Society Publishing House
VL - 63
IS - 4
SP - 427
EP - 450
LA - eng
UR - http://eudml.org/doc/53547
ER -