Some more results on relativized Chaitin's $\Omega$
Abstract
We prove that, assuming $\mathrm{ZF}$, and restricted to any pointed set, Chaitin's $\Omega_U:x\mapsto \Omega_U^x=\sum_{U^x(\sigma)\downarrow}2^{-|\sigma|}$ is not injective for any universal prefix-free Turing machine $U$, and that $\Omega_U^x$ fails to be degree invariant in a very strong sense, answering several recent questions in descriptive set theory. Moreover, we show that under $\mathrm{ZF}+\mathrm{AD}$, every function $f$ mapping $x$ to $x$-random must be uncountable-to-one over an upper cone of Turing degrees.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2022
- DOI:
- 10.48550/arXiv.2203.07576
- arXiv:
- arXiv:2203.07576
- Bibcode:
- 2022arXiv220307576Y
- Keywords:
-
- Mathematics - Logic;
- 03D28;
- 03D32;
- 03E15;
- 03E60;
- 68Q30
- E-Print:
- We added a new result and fixed some typos