Author:
GREENBERG NOAM,MONIN BENOIT
Abstract
We use concepts of continuous higher randomness, developed in Bienvenuet al.[‘Continuous higher randomness’, J. Math. Log. 17(1) (2017).], to investigate$\unicode[STIX]{x1D6F1}_{1}^{1}$-randomness. We discuss lowness for$\unicode[STIX]{x1D6F1}_{1}^{1}$-randomness, cupping with$\unicode[STIX]{x1D6F1}_{1}^{1}$-random sequences, and an analogue of the Hirschfeldt–Miller characterization of weak 2-randomness. We also consider analogous questions for Cohen forcing, concentrating on the class of$\unicode[STIX]{x1D6F4}_{1}^{1}$-generic reals.
Publisher
Cambridge University Press (CUP)
Subject
Computational Mathematics,Discrete Mathematics and Combinatorics,Geometry and Topology,Mathematical Physics,Statistics and Probability,Algebra and Number Theory,Theoretical Computer Science,Analysis
Reference37 articles.
1. Some measure theoretic results in effective descriptive set theory
2. Notions of weak genericity
3. Limits to joining with generics and randoms
4. Sur les fonctions de variables réelles
5. [Kur82] S. Kurtz , ‘Randomness and genericity in the degrees of unsolvability’, Dissertation Abstracts International Part B: Science and Engineering 42 9, University of Illinois, Urbana–Champaign, 1982.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献