@misc{indiciaea99b70695450,
  title = {The reverse mathematics of the Tietze extension theorem},
  author = {Paul Shafer},
  year = {2016},
  url = {https://arxiv.org/abs/1602.05398},
  note = {Source identifier: 1602.05398}
}