Abstract
We show that being low for difference tests is the same as being computable and therefore lowness for difference tests is not the same as lowness for difference randomness. This is the first known example of a randomness notion where lowness for the randomness notion and lowness for the test notion do not coincide. Additionally, we show that for every incomputable set , there is a difference test relative to which cannot even be covered by finitely many unrelativized difference tests.
Citation
David Diamondstone. Johanna N. Y. Franklin. "Lowness for Difference Tests." Notre Dame J. Formal Logic 55 (1) 63 - 73, 2014. https://doi.org/10.1215/00294527-2377878
Information