@article{Avigad1998, author = "Jeremy Avigad", title = "{An Effective Proof that Open Sets are Ramsey}", year = "1998", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/An_Effective_Proof_that_Open_Sets_are_Ramsey/6490886", doi = "10.1184/R1/6490886.v1" }