Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

Remote Access
Green Open Access
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826(online) ISSN 0002-9939(print)


Non-cupping and randomness

Author: André Nies
Journal: Proc. Amer. Math. Soc. 135 (2007), 837-844
MSC (2000): Primary 68Q30, 03D28
Published electronically: August 31, 2006
MathSciNet review: 2262880
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let $ Y \in \Delta^0_2 $ be Martin-Löf-random. Then there is a promptly simple set $ A$ such that for each Martin-Löf-random set $ Z$, $ Y \le_T A \oplus Z \Rightarrow Y \le_T Z$. When $ Y = \Omega$, one obtains a c.e. non-computable set $ A$ which is not weakly Martin-Löf cuppable. That is, for any Martin-Löf-random set $ Z$, if $ \emptyset' \le_T A \oplus Z$, then $ \emptyset' \le_T Z$.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2000): 68Q30, 03D28

Retrieve articles in all journals with MSC (2000): 68Q30, 03D28

Additional Information

André Nies
Affiliation: Department of Computer Science, Private Bag 92019, Auckland, New Zealand

PII: S 0002-9939(06)08540-6
Keywords: Cupping, randomness, $K$-trivial
Received by editor(s): June 17, 2005
Received by editor(s) in revised form: October 10, 2005
Published electronically: August 31, 2006
Additional Notes: The author was partially supported by the Marsden Fund of New Zealand, grant no.\ 03-UOA-130.
Communicated by: Julia F. Knight
Article copyright: © Copyright 2006 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.

Comments: Email Webmaster

© Copyright , American Mathematical Society
Contact Us · Sitemap · Privacy Statement

Connect with us Facebook Twitter Google+ LinkedIn Instagram RSS feeds Blogs YouTube Podcasts Wikipedia