Abstract
We show that a computable function has Luzin's property (N) if and only if it reflects -randomness, if and only if it reflects -randomness, and if and only if it reflects -Kurtz randomness, but reflecting Martin-Löf randomness or weak-2-randomness does not suffice. Here a function f is said to reflect a randomness notion R if whenever is R-random, then x is R-random as well. If additionally f is known to have bounded variation, then we show f has Luzin's (N) if and only if it reflects weak-2-randomness, and if and only if it reflects -Kurtz randomness. This links classical real analysis with algorithmic randomness.
Original language | English (US) |
---|---|
Pages (from-to) | 802-828 |
Number of pages | 27 |
Journal | Journal of Symbolic Logic |
Volume | 87 |
Issue number | 2 |
DOIs | |
State | Published - Jun 30 2022 |
All Science Journal Classification (ASJC) codes
- Philosophy
- Logic