Pages that link to "Item:Q1128188"
From MaRDI portal
The following pages link to An effective proof that open sets are Ramsey (Q1128188):
Displaying 9 items.
- Analytically heavy spaces: analytic Cantor and analytic Baire theorems (Q624389) (← links)
- \({\Pi^1_2}\)-comprehension and the property of Ramsey (Q1016505) (← links)
- Ultrafilters in reverse mathematics (Q2878778) (← links)
- NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS (Q2909619) (← links)
- Hindman's theorem: an ultrafilter argument in second order arithmetic (Q3083144) (← links)
- CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC (Q4579817) (← links)
- BASES AND BOREL SELECTORS FOR TALL FAMILIES (Q4628686) (← links)
- THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE (Q5000272) (← links)
- Partial impredicativity in reverse mathematics (Q5300073) (← links)
