1. Introduction to Commutative Algebra;Atiyah,1969
2. Rekursive Algebren mit Kettenbedingungen;Baur;Z. Math. Logik Grundl. Math.,1974
3. Π10-classes – structure and applications;Cenzer,1999
4. Π10-classes in computability theory;Cenzer,1999
5. On the strength of Ramsey's theorem for pairs;Cholak;J. Symbolic Logic,2001