Second order arithmetic and autonomous computability.
Second order arithmetic and pulsating hierarchies.
Sémantique catégorique des types : comprendre le système F
Some remarks on bicommutability
The strength of Turing determinacy within second order arithmetic
We investigate the reverse mathematical strength of Turing determinacy up to Σ₅⁰, which is itself not provable in second order arithmetic.
Undecidability vs transfinite induction for the consistency of hyperarithmetical sets.
Une démonstration du théorème de complétude de Godel
ω-models of second order arithmetic and admissible sets
Вычислимые функционалы и арифметика ординальных типов
Моделирование пульсирующего процесса
О выразимости в ограниченной арифметике второго порядка
Об одной полной системе классической арифметики
Об одном способе моделирования классической арифметики второй ступени