An effective proof that open sets are Ramsey
From MaRDI portal
Publication:1128188
DOI10.1007/s001530050095zbMath0909.03040MaRDI QIDQ1128188
Publication date: 25 March 1999
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530050095
Related Items
CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC, BASES AND BOREL SELECTORS FOR TALL FAMILIES, THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE, Partial impredicativity in reverse mathematics, Analytically heavy spaces: analytic Cantor and analytic Baire theorems, \({\Pi^1_2}\)-comprehension and the property of Ramsey, Ultrafilters in reverse mathematics, NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS, Hindman's theorem: an ultrafilter argument in second order arithmetic