Pages that link to "Item:Q2048618"

The following pages link to \( \mathsf{SRT}_2^2\) does not imply \(\mathsf{RT}_2^2\) in \(\omega \)-models (Q2048618):

Displayed 3 items.

• Separating weak \(\alpha\)-change and \(\alpha\)-change genericity (Q2140582) ‎ (← links)
• An inside/outside Ramsey theorem and recursion theory (Q5036108) ‎ (← links)
• Reduction games, provability and compactness (Q5055312) ‎ (← links)