P12{ Pi^1_2} -comprehension and the property of Ramsey. - Christoph Heinatsch (Arch. Math. Log., 2009)

The determinacy strength of Pi12-comprehension. - Christoph Heinatsch; Michael Möllerfeld (Ann. Pure Appl. Log., 2010)