TY  - RPRT
TI  - On the logical strength of Nash-Williams' theorem on transfinite sequences
AU  - Alberto Marcone
PY  - 1994
UR  - https://arxiv.org/abs/math/9408204
ID  - math/9408204
ER  -