Lowness of higher randomness notions

DOI10.1007/S11856-008-1019-9zbMATH Open1153.03020OpenAlexW2021939807MaRDI QIDQ948873FDOQ948873

Authors: André Nies, Liang Yu, C. T. Chong 

Publication date: 16 October 2008

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11856-008-1019-9

Recommendations

• Randomness in the higher setting
• Lowness properties and randomness
• Higher Kurtz randomness
• Continuous higher randomness
• Higher randomness and genericity

zbMATH Keywords

algorithmic randomnessrandom realshigher recursion theoryMartin-Löf randomness

Mathematics Subject Classification ID

Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Higher-type and set recursion theory (03D65) Applications of computability and recursion theory (03D80)

Cites Work

• Descriptive set theory
• Computational randomness and lowness
• Some applications of the notions of forcing and generic sets
• Computability and Randomness
• Lowness for the Class of Schnorr Random Reals
• Title not available (Why is that?)
• Randomness, relativization and Turing degrees
• Title not available (Why is that?)
• Randomness via effective descriptive set theory
• Hyperarithmetical quantifiers
• Title not available (Why is that?)
• Incompleteness along paths in progressions of theories
• Measure and category in effective descriptive set theory
• Title not available (Why is that?)
• Measure-Theoretic Uniformity in Recursion Theory and Set Theory
• The Theory of Countable Analytical Sets
• Lowness for genericity
• Uniformization in a playful universe
• Theory and Applications of Models of Computation

Cited In (20)

• Lowness for bounded randomness
• A new proof of Friedman's conjecture
• Measure-theoretic applications of higher Demuth's theorem
• Title not available (Why is that?)
• Randomness and lowness notions via open covers
• Randomness notions and reverse mathematics
• Higher randomness and forcing with closed sets
• Higher randomness and genericity
• Genericity and randomness with ITTMs
• Randomness in the higher setting
• Lowness, Randomness, and Computable Analysis
• Randomness via effective descriptive set theory
• Lowness for Kurtz randomness
• Unified characterizations of lowness properties via Kolmogorov complexity
• Title not available (Why is that?)
• Higher Kurtz randomness
• \({\Pi}_1^1\)-Martin-Löf random reals as measures of natural open sets
• Characterizing lowness for Demuth randomness
• LUZIN’S (N) AND RANDOMNESS REFLECTION
• Continuous higher randomness

This page was built for publication: Lowness of higher randomness notions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q948873)