@article{JezOkhotin:2012,
    Author = {Je{\.z}, Artur and Okhotin, Alexander},
    File = {Representing Hyper-arithmetical Sets by Equations over Sets of Integers - Jeż, Okhotin (0) (0) - a - a - q.pdf},
    ISSN = {1432-4350},
    Journal = {Theory of Computing Systems},
    Keywords = {Language equations; Computability; Arithmetical hierarchy; Hyper-arithmetical hierarchy},
    Language = {English},
    Number = {2},
    Pages = {196-228},
    Publisher = {Springer-Verlag},
    Title = {Representing Hyper-arithmetical Sets by Equations over Sets of Integers},
    URL = {http://dx.doi.org/10.1007/s00224-011-9352-5},
    Volume = {51},
    Year = {2012},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s00224-011-9352-5},
    date-added = {2014-12-30 10:15:57 +0000},
    date-modified = {2014-12-30 10:15:57 +0000},
    doi = {10.1007/s00224-011-9352-5}
}

@article{JezOkhotin:2012, Author = {Je{.z}, Artur and Okhotin, Alexander}, File = {Representing Hyper-arithmetical Sets by Equations over Sets of Integers - Jeż, Okhotin (0) (0) - a - a - q.pdf}, ISSN = {1432-4350}, Journal = {Theory of Computing Systems}, Keywords = {Language equations; Computability; Arithmetical hierarchy; Hyper-arithmetical hierarchy}, Language = {English}, Number = {2}, Pages = {196-228}, Publisher = {Springer-Verlag}, Title = {Representing Hyper-arithmetical Sets by Equations over Sets of Integers}, URL = {http://dx.doi.org/10.1007/s00224-011-9352-5}, Volume = {51}, Year = {2012}, bdsk-url-1 = {http://dx.doi.org/10.1007/s00224-011-9352-5}, date-added = {2014-12-30 10:15:57 +0000}, date-modified = {2014-12-30 10:15:57 +0000}, doi = {10.1007/s00224-011-9352-5} }