The most nonelementary theory

Sergei G. Vorobyov. The most nonelementary theory. Inf. Comput., 190(2):196-219, 2004. [doi]

Abstract

Abstract is missing.