Chong C.T., Yang Yue ...


Chong C.T., Yang Yue
[1998]
Σ2induction and infinite injury priority argument, I: Maximal sets and the jump operator
J. Symbolic Logic, 63, № 3, 797-814
02.01.109
O
article

Вернуться к поиску