ECCC-Report TR11-132https://eccc.weizmann.ac.il/report/2011/132Comments and Revisions published for TR11-132en-usTue, 22 Nov 2011 13:52:04 +0200
Revision 1
| Oscillation-free Chaitin $h$-random sequences |
Ludwig Staiger
https://eccc.weizmann.ac.il/report/2011/132#revision1The present paper generalises results by Tadaki [12] and Calude et al. [1] on oscillation-free partially random infinite strings. Moreover, it shows that oscillation-free partial Chaitin randomness can be separated from scillation-free partial strong Martin-L\"of randomness by $\Pi_{1}^{0}$-definable sets of infinite strings.
Tue, 22 Nov 2011 13:52:04 +0200https://eccc.weizmann.ac.il/report/2011/132#revision1
Paper TR11-132
| Oscillation-free Chaitin $h$-random sequences |
Ludwig Staiger
https://eccc.weizmann.ac.il/report/2011/132The present paper generalises results by Tadaki [12] and Calude et al. [1] on oscillation-free partially random infinite strings. Moreover, it shows that oscillation-free partial Chaitin randomness can be separated from scillation-free partial strong Martin-L\"of randomness by $\Pi_{1}^{0}$-definable sets of infinite strings.
Tue, 04 Oct 2011 11:42:49 +0200https://eccc.weizmann.ac.il/report/2011/132