A note on hereditarily Π10- and Σ10-complete sets of sentences

Stanislav O. Speranski. A note on hereditarily Π10- and Σ10-complete sets of sentences. Journal of Logic and Computation, 26(5):1729-1741, 2016. [doi]

Abstract

Abstract is missing.