Representing Hyper-arithmetical Sets by Equations over Sets of Integers

Artur Jez, Alexander Okhotin. Representing Hyper-arithmetical Sets by Equations over Sets of Integers. Theory Comput. Syst., 51(2):196-228, 2012. [doi]

Abstract

Abstract is missing.