TY  - RPRT
TI  - The maximal linear extension theorem in second order arithmetic
AU  - Alberto Marcone
AU  - Richard A. Shore
PY  - 2011
DO  - 10.1007/s00153-011-0231-1
UR  - https://arxiv.org/abs/1009.1528
ID  - 1009.1528
ER  -