@misc{indiciae387bce16e144,
  title = {Reverse mathematics of the finite downwards closed subsets of \$\textbackslash{}mathbb\{N\}\textasciicircum{}k\$ ordered by inclusion and adjacent Ramsey for fixed dimension},
  author = {Florian Pelupessy},
  year = {2017},
  doi = {10.1002/malq.201700040},
  url = {https://arxiv.org/abs/1610.00878},
  note = {Source identifier: 1610.00878}
}