Intrinsically \(\Sigma ^ 0_{\alpha}\) relations
From MaRDI portal
Publication:1106203
DOI10.1016/0168-0072(88)90014-0zbMath0651.03034MaRDI QIDQ1106203
Publication date: 1988
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(88)90014-0
03D45: Theory of numerations, effectively presented structures
Related Items
Mixed systems, Degree Spectra of Relations on Computable Structures, Uncountable degree spectra, Turing degrees of certain isomorphic images of computable relations, Coding a family of sets, Inseparability in recursive copies, Ramified systems, Permitting, forcing, and copying of a given recursive relation, Possible degrees in recursive copies. II, Back and forth relations for reduced abelian \(p\)-groups, Intrinsically recursively enumerable subalgebras of a recursive Boolean algebra