A local version of the Slaman-Wehner theorem and families closed under finite differences

DOI10.1215/00294527-10670074MaRDI QIDQ6165007zbMATH OpenOpenAlexWikidataFDO

Authors Marat Kh. Faizrahmanov

Publication date 28 July 2023

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-10670074

zbMATH Keywords

c.e. familyc.e. setfamily closed under finite differences

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Applications of computability and recursion theory (03D80)

Cites work

• Computable single-valued numerations
• Computable structures and the hyperarithmetical hierarchy
• Enumerations in computable structure theory
• Enumerations, countable structures and Turing degrees
• Generalized computable numerations and nontrivial Rogers semilattices
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 4112568 (Why is no real title available?)
• scientific article; zbMATH DE number 1390024 (Why is no real title available?)
• Limitwise monotonic sets of reals
• Limitwise monotonic spectra and their generalizations
• Problem of the number of non-self-equivalent constructivizations
• Relative to any non-hyperarithmetic set
• Relative to any nonrecursive set

Cited in

(1)

• Effectively infinite classes of numberings and computable families of reals

This page was built for publication: A local version of the Slaman-Wehner theorem and families closed under finite differences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6165007)