Strong \(\Delta ^ 0_ 2\) categoricity
From MaRDI portal
Publication:1078172
DOI10.1007/BF01978849zbMath0596.03043MaRDI QIDQ1078172
C. J. Ash, Sergei S. Goncharov
Publication date: 1985
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187335
Recursively (computably) enumerable sets and degrees (03D25) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Hierarchies of computability and definability (03D55)
Cites Work