Jeremy Avigad. An effective proof that open sets are Ramsey. Arch. Math. Log., 37(4):235-240, 1998. [doi]
@article{Avigad98,
title = {An effective proof that open sets are Ramsey},
author = {Jeremy Avigad},
year = {1998},
doi = {10.1007/s001530050095},
url = {http://dx.doi.org/10.1007/s001530050095},
tags = {source-to-source, open-source},
researchr = {https://researchr.org/publication/Avigad98},
cites = {0},
citedby = {0},
journal = {Arch. Math. Log.},
volume = {37},
number = {4},
pages = {235-240},
}