On classifying subsets of natural numbers by their computable permutations.
On generalizations of a theorem on recursive sets
On interpretability in theories containing arithmetic
On recursive measure of classes of recursive sets
On some properties of -maximal sets and -reducibility.
On the definition of a Lachlan semilattice.
Prioric games and minimal degrees below
R.E. degrees of continuous functionals.
Recursively enumerable classes and their application to recursive sequences of formal theories.
Recursiveness of initial segments of Kleene's O
Remarks on 1-genericity, semigenericity and related concepts
Remarks on the structure of tt-degrees based on constructive measure theory
Representability of recursive P. Martin-Löf tests
Strong categoricity.
The recursive sets in certain monadic second order fragments of arithmetic.
Une généralisation de la notion d'ensemble immune
-principal numberings.
Автоустойчивость и вычислимые семейства конструктивизаций.
Алгоритмическая природа инвариантных свойств грамматик непосредственно составляющих
Арифметические представления перечислимых множеств с небольшим числом кванторов