On a hierarchy of groups of computable automorphisms.
On automorphisms of Weyl algebra
On classifying subsets of natural numbers by their computable permutations.
On the automorphism group of the countable dense circular order
Let (C,R) be the countable dense circular ordering, and G its automorphism group. It is shown that certain properties of group elements are first order definable in G, and these results are used to reconstruct C inside G, and to demonstrate that its outer automorphism group has order 2. Similar statements hold for the completion C̅.
On the Burnside Problem for Periodic Groups.
On the Dimensions of Automorphism Groups of Eight-Dimensional Double Loops.
On the dimensions of automorphism groups of four-dimensional double loops.