Research paper

Denjoy, Demuth and density

View original item

About this item

Title
Denjoy, Demuth and density
Content partner
The University of Auckland Library
Collection
ResearchSpace@Auckland
Description

We consider effective versions of two classical theorems, the Lebesgue density theorem and the Denjoy–Young–Saks theorem. For the first, we show that a Martin-Löf random real z ∈ [0, 1] is Turing incomplete if and only if every effectively closed class ⊆ [0, 1] containing z has positive density at z. Under the stronger assumption that z is not LR-hard, we show that every such class has density one at z. These results have since been applied to solve two open problems on the interaction betwee...

Format
Research paper
Research format
Journal article
Date created
2014
Creator
Bienvenu, L / Hölzl, R / Miller, JS / Nies, Andre
URL
https://hdl.handle.net/2292/24153

What can I do with this item?

Check copyright status and what you can do with this item

Check information

Report this item

If you believe this item breaches our terms of use please report this item

Report this item

DigitalNZ brings together more than 30 million items from institutions so that they are easy to find and use. This information is the best information we could find on this item. This item was added on 16 January 2015, and updated 15 March 2026.
Learn more about how we work.

Share

What can I do with this item?

You must always check with The University of Auckland Library to confirm the specific terms of use, but this is our understanding:

Research icon

Non-infringing use

NZ Copyright law does not prevent every use of a copyright work. You should consider what you can and cannot do with a copyright work.

NZ Copyright law does not prevent every use of a copyright work. You should consider what you can and cannot do with a copyright work.

No sharing icon

No sharing

You may not copy and/or share this item with others without further permission. This includes posting it on your blog, using it in a presentation, or any other public use.

You may not copy and/or share this item with others without further permission. This includes posting it on your blog, using it in a presentation, or any other public use.

No modifying icon

No modifying

You are not allowed to adapt or remix this item into any other works.

You are not allowed to adapt or remix this item into any other works.

No commercial use icon

No commercial use

You may not use this item commercially.

You may not use this item commercially.

View original item

What can I do with this item?

Check copyright status and what you can do with this item

Check information

Report this item

If you believe this item breaches our terms of use please report this item

Report this item

DigitalNZ brings together more than 30 million items from institutions so that they are easy to find and use. This information is the best information we could find on this item. This item was added on 16 January 2015, and updated 15 March 2026.
Learn more about how we work.

Share

Related items

Loading...