Publication:3567853

zbMath1203.03056MaRDI QIDQ3567853

Yue Yang, Frank Stephan, Liang Yu

Publication date: 17 June 2010

zbMATH Keywords

elementary equivalence; Turing degrees; Ershov hierarchy; finite Ershov levels

Mathematics Subject Classification ID

03D25: Recursively (computably) enumerable sets and degrees

03D28: Other Turing degree structures

03D55: Hierarchies of computability and definability