Pages that link to "Item:Q2048618"
From MaRDI portal
The following pages link to \( \mathsf{SRT}_2^2\) does not imply \(\mathsf{RT}_2^2\) in \(\omega \)-models (Q2048618):
Displaying 8 items.
- Separating weak \(\alpha\)-change and \(\alpha\)-change genericity (Q2140582) (← links)
- \(\mathsf{RT}_{2}^{2}\) does not imply \(\mathsf{WKL}_{0}\) (Q2892679) (← links)
- The strength of the rainbow Ramsey Theorem (Q3655258) (← links)
- An inside/outside Ramsey theorem and recursion theory (Q5036108) (← links)
- Reduction games, provability and compactness (Q5055312) (← links)
- SRT22 does not imply RT22 in omega-models (Q6319076) (← links)
- The Ginsburg-Sands theorem and computability theory (Q6492253) (← links)
- Erdős-Moser and \(I \Sigma_2\) (Q6635147) (← links)
