Repository logo
  • English
  • Català
  • Čeština
  • Deutsch
  • Español
  • Français
  • Gàidhlig
  • Latviešu
  • Magyar
  • Nederlands
  • Polski
  • Português
  • Português do Brasil
  • Suomi
  • Svenska
  • Türkçe
  • Қазақ
  • বাংলা
  • हिंदी
  • Ελληνικά
  • Yкраї́нська
  • Log In
    or
    New user? Click here to register.Have you forgotten your password?
Repository logo
  • Communities & Collections
  • All of DSpace
  • English
  • Català
  • Čeština
  • Deutsch
  • Español
  • Français
  • Gàidhlig
  • Latviešu
  • Magyar
  • Nederlands
  • Polski
  • Português
  • Português do Brasil
  • Suomi
  • Svenska
  • Türkçe
  • Қазақ
  • বাংলা
  • हिंदी
  • Ελληνικά
  • Yкраї́нська
  • Log In
    or
    New user? Click here to register.Have you forgotten your password?
  1. Home
  2. Browse by Author

Browsing by Author "WU, Guohua"

Now showing 1 - 1 of 1
Results Per Page
Sort Options
  • No Thumbnail Available
    Item
    Randomness and Universal Machines
    (2005-12-09T01:13:26Z) FIGUEIRA, Santiago; STEPHAN, Frank; WU, Guohua
    The present work investigates several questions from a recent survey of Miller and Nies related to Chaitin's Omega numbers and their dependence on the underlying universal machine. It is shown that there are universal machines for which Omega(U) is just the sum over 2^{1-H(x)} for all strings x. Define that Omega(U,X) is the sum over 2^{-|p|} for all p where U(p) is defined and a member of X. Then there exists such a universal machine U and a co-r.e. set X such Omega(U,X) is neither left-r.e. nor Martin-Loef random. Furthermore, one of the open problems of Miller and Nies is answered completely by showing that there is a sequence U_n of universal machines such that the truth-table degrees of the Omega(U_n) form an antichain. Finally it is shown that the members of hyperimmune-free Turing degree of a given Pi-0-1-class are not low for Omega unless this class contains a recursive set.

DSpace software copyright © 2002-2025 LYRASIS

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback