Christoph Heinatsch

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Christoph Heinatsch, Michael Möllerfeld
-comprehension. Ann. Pure Appl. Log. 161 (12) (2010)
Christoph Heinatsch
{\Pi^1_2} -comprehension and the property of Ramsey. Arch. Math. Log. 48 (3-4) (2009)