Compactness arguments with effectively closed sets for the study of relative randomness (Q2907048)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6078041
Language Label Description Also known as
default for all languages
No label defined
    English
    Compactness arguments with effectively closed sets for the study of relative randomness
    scientific article; zbMATH DE number 6078041

      Statements

      Compactness arguments with effectively closed sets for the study of relative randomness (English)
      0 references
      0 references
      5 September 2012
      0 references
      \(\Pi ^{0}_{1}\) classes
      0 references
      relative Martin-Löf randomness
      0 references
      K-trivials
      0 references
      Turing degrees
      0 references
      LR-degrees
      0 references
      In the paper under review, the author presents a variety of compactness arguments with \(\Pi^0_1\)-classes which yield results about relative randomness, and in particular properties of the LR-degrees. The methods in the paper can be viewed as a twist of forcing arguments. The role of compactness is to make sure the existence of ``generic'' reals. NEWLINENEWLINENEWLINE It should be pointed out that Question 2.5 has been negatively answered by the reviewer. Question 3.6 was also negatively answered by a bunch of most recent results due to Day, Miller and others. Theorem 4.1 can also be obtained by applying the result, which is due to the author and Lewis, that there is a perfect \(\Pi^0_1\)-class in which every real is LR-below \(\emptyset'\).
      0 references
      0 references

      Identifiers