Merkliste 
 1 Ergebnisse 
 
1

SRT22 does not imply RT22 in ω-models:

Monin, Benoit ; Patey, Ludovic
Advances in Mathematics.  389 (2021)  - p. 107903 , 2021