TY  - RPRT
TI  - Reverse mathematics of the finite downwards closed subsets of $\mathbb{N}^k$ ordered by inclusion and adjacent Ramsey for fixed dimension
AU  - Florian Pelupessy
PY  - 2017
DO  - 10.1002/malq.201700040
UR  - https://arxiv.org/abs/1610.00878
ID  - 1610.00878
ER  -