Algorithmic Randomness of Closed Sets

DOI10.1093/LOGCOM/EXM033MaRDI QIDQ5441120zbMATH OpenOpenAlexFDO

Authors George Barmpalias, Paul Brodhead, Douglas Cenzer, Seyyed Dashti, Rebecca Weber

Publication date 7 February 2008

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exm033

zbMATH Keywords

\(\Pi^0_1\)-classesalgorithmic randomnessghost codeinfinite treesMartin-Löf random setrandom closed setrecursion theory

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80)

Recommendations

• Logical Approaches to Computational Barriers
• Random closed sets viewed as random recursions
• Martin-Löf randomness in spaces of closed sets
• Random reals as measures of natural open sets
• Members of Random Closed Sets

Cited in

(24)

• Random closed sets viewed as random recursions
• Energy randomness
• Layerwise computability and image randomness
• Martin-Löf random generalized Poisson processes
• The random members of a \({\Pi }_{1}^{0}\) class
• Effective randomness of unions and intersections
• On effectively closed sets of effective strong measure zero
• Extracting randomness within a subset is hard
• Computable randomness and betting for computable probability spaces
• Algorithmically Random Functions and Effective Capacities
• Closed left-r.e. sets
• Sub-computable bounded pseudorandomness
• Immunity for closed sets
• Members of Random Closed Sets
• Dimension spectra of random subfractals of self-similar fractals
• Computable Measure Theory and Algorithmic Randomness
• Algorithmic Fractal Dimensions in Geometric Measure Theory
• The Intersection of Algorithmically Random Closed Sets and Effective Dimension
• Martin-Löf randomness in spaces of closed sets
• Logical Approaches to Computational Barriers
• PA RELATIVE TO AN ENUMERATION ORACLE
• Pathwise-randomness and models of second-order arithmetic
• Martin-Löf randomness and Galton-Watson processes
• Algorithmic randomness of continuous functions

This page was built for publication: Algorithmic Randomness of Closed Sets

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