Layerwise computability and image randomness

L Bienvenu, M Hoyrup, A Shen - Theory of Computing Systems, 2017 - Springer
Algorithmic randomness theory starts with a notion of an individual random object. To be
reasonable, this notion should have some natural properties; in particular, an object should …

Algorithmically random functions and effective capacities

D Cenzer, CP Porter - … Conference on Theory and Applications of Models …, 2015 - Springer
We continue the investigation of algorithmically random functions and closed sets, and in
particular the connection with the notion of capacity. We study notions of random continuous …

Pathwise-randomness and models of second-order arithmetic

G Barmpalias, W Wang - Information and Computation, 2024 - Elsevier
A tree is pathwise-random if all of its paths are Martin-Löf random. We show that:(a) no
weakly 2-random real computes a perfect pathwise-random tree; it follows that the class of …

The interplay of classes of algorithmically random objects

Q Culver, CP Porter - arXiv preprint arXiv:1503.06322, 2015 - arxiv.org
We study algorithmically random closed subsets of $2^\omega $, algorithmically random
continuous functions from $2^\omega $ to $2^\omega $, and algorithmically random Borel …

Algorithmic randomness over general spaces

K Miyabe - Mathematical Logic Quarterly, 2014 - Wiley Online Library
The study of Martin‐Löf randomness on a computable metric space with a computable
measure has seen much progress recently. In this paper we study Martin‐Löf randomness …

Topics in algorithmic randomness and effective probability

Q Culver - 2015 - search.proquest.com
TOPICS IN ALGORITHMIC RANDOMNESS AND EFFECTIVE PROBABILITY A Dissertation
Submitted to the Graduate School of the University of Page 1 TOPICS IN ALGORITHMIC …

Algorithmic randomness and constructive/computable measure theory

J Rute - Algorithmic Randomness: Progress and Prospects, 2020 - books.google.com
2.1. Computable analysis on R 2.2. Martin-Lof randomness and Schnorr randomness 2.3.
Other algorithmic randomness notions 3. Randomness and constructive mathematics 3.1 …

The intersection of algorithmically random closed sets and effective dimension

A Case, CP Porter - ACM Transactions on Computational Logic, 2022 - dl.acm.org
In this article, we study several aspects of the intersections of algorithmically random closed
sets. First, we answer a question of Cenzer and Weber, showing that the operation of …

PA RELATIVE TO AN ENUMERATION ORACLE

JL Goh, IS Kalimullin, JS MILLER… - The Journal of Symbolic …, 2022 - par.nsf.gov
Recall that B is PA relative to A if B computes a member of every nonempty $\Pi^ 0_1 (A) $
class. This two-place relation is invariant under Turing equivalence and so can be thought of …

[图书][B] Aspects of Algorithmically Random Objects

C Fraize - 2023 - search.proquest.com
For a class of objects C with some effective encoding F: k ω→ C (where k ω is the space of
infinite k-ary sequences), an object c∈ C may be called algorithmically random if c has …