∑2 Induction and infinite injury priority arguments, part II Tame ∑2 coding and the jump operator Original Research Article

C.T. Chong، نويسنده , , Yue Yang، نويسنده ,

روزنامه با شماره پیاپی سال 1997

14

103

116

Annals of Pure and Applied Logic

1997

Annals of Pure and Applied Logic

890138