TY  - RPRT
TI  - Interval orders and reverse mathematics
AU  - Alberto Marcone
PY  - 2007
DO  - 10.1305/ndjfl/1187031412
UR  - https://arxiv.org/abs/math/0609022
ID  - math/0609022
ER  -