@misc{indiciaef228ddce0c35, title = {Interval orders and reverse mathematics}, author = {Alberto Marcone}, year = {2007}, doi = {10.1305/ndjfl/1187031412}, url = {https://arxiv.org/abs/math/0609022}, note = {Source identifier: math/0609022} }