Pages that link to "Item:Q2075273"
From MaRDI portal
The following pages link to Effectiveness for the dual Ramsey theorem (Q2075273):
Displaying 5 items.
- Computability theory. Abstracts from the workshop held January 7--13, 2018 (Q1731969) (← links)
- Weak and strong versions of effective transfinite recursion (Q2683778) (← links)
- THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH (Q5107225) (← links)
- Borel combinatorics fail in <i>HYP</i> (Q6038479) (← links)
- Carlson-Simpson's lemma and applications in reverse mathematics (Q6109087) (← links)
