In [Yamnitsky, Levin 82] we studied A.Levin's 1965 version of Ellipsoidal Algorithm which used simplexes instead of ellipsoids. It was harder to analyze, but we proved that its running time is also polynomial. Our version (simple, flexible and numerically stable) is still the fastest worst-case LP algorithm when the number of inequalities is a large polynomial of the dimension.
I invested efforts in figuring out how to teach Theory of Computations. Existing textbooks frustrated me by being devoted to issues entirely unrelated to what the Theory of Computation is at present. [Levin 96] presented my attempts.
[Levin, V'yugin 77] classifies recursively invariant properties of sequences modulo inaccessible sets, i.e. sets of measure 0 with complement closed under all recursive transformations. Restricting transformations to total, makes, weakly inaccessible sets. Properties are equivalent if a superset of their difference is inaccessible. There are infinitely many non-equivalent invariant properties, but only four of them are not weakly equivalent.
Some of my papers are on Intuitionistic Logic. [Levin 69] proved completeness, gave syntactic characterization and some other results on Medvedev's model of Intuitionistic Propositional Logic.
[Levin 76c] introduced an axiom scheme called Principle of Information Conservation for second order Intuitionistic Arithmetic. It yields a maximal conservative extension of classical first order arithmetic. This kind of completeness is very unusual in Intuitionism.