@misc{indiciaec6ee73235bce,
  title = {The maximal linear extension theorem in second order arithmetic},
  author = {Alberto Marcone and Richard A. Shore},
  year = {2011},
  doi = {10.1007/s00153-011-0231-1},
  url = {https://arxiv.org/abs/1009.1528},
  note = {Source identifier: 1009.1528}
}