Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension

Florian Pelupessy. Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension. Math. Log. Q., 64(3):178-182, 2018. [doi]

Abstract

Abstract is missing.