Covering the recursive sets

DOI10.1016/J.APAL.2016.10.017MaRDI QIDQ508828zbMATH OpenOpenAlexFDO

Authors Bjørn Kjos-Hanssen, Frank Stephan, Sebastiaan A. Terwijn

Publication date 8 February 2017

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2016.10.017

zbMATH Keywords

algorithmic randomnessrecursion theorydiagonally nonrecursive (DNR) setsinfinitely often subuniform families of setsSchnorr trivial setssets of hyperimmune-free degree

Mathematics Subject Classification ID

Algorithmic randomness and dimension (03D32) Other Turing degree structures (03D28) Descriptive set theory (03E15)

Recommendations

• Covering the Recursive Sets
• Some possible covers of measure zero sets
• Density, forcing, and the covering problem
• scientific article; zbMATH DE number 3993569
• A random degree with strong minimal cover

Cites work

• scientific article; zbMATH DE number 4068853 (Why is no real title available?)
• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• scientific article; zbMATH DE number 1543065 (Why is no real title available?)
• scientific article; zbMATH DE number 1795232 (Why is no real title available?)
• scientific article; zbMATH DE number 1911266 (Why is no real title available?)
• A \(\Delta_2^0\) set with no infinite low subset in either it or its complement
• Algorithmic randomness and complexity.
• An analogy between cardinal characteristics and highness properties of oracles
• An introduction to Kolmogorov complexity and its applications
• Classical recursion theory. The theory of functions and sets of natural numbers
• Classical recursion theory. The theory of functions and sets of natural numbers.
• Computability and randomness
• Computational randomness and lowness
• Forcing with bushy trees
• Hyperimmune-free degrees and Schnorr triviality
• Limit computability and constructive measure
• Lowness for the Class of Schnorr Random Reals
• Relativized Schnorr tests with universal behavior
• Schnorr trivial sets and truth-table reducibility
• The Degrees of Hyperimmune Sets

Cited in

(3)

• Recursive constructions of complete caps
• Covering the Recursive Sets
• On coverings of a finite set: Depth and subcovers

This page was built for publication: Covering the recursive sets

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