Relativized Degree Spectra

DOI10.1093/logcom/exm043zbMath1157.03023OpenAlexW2061134476MaRDI QIDQ5441129

Alexandra Soskova

Publication date: 7 February 2008

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exm043

zbMATH Keywords

forcingenumeration degreesdegree spectrarecursive \(\Sigma^+_k\) formulae

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items

Enumeration Reducibility and Computable Structure Theory, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08