Randomness Via Infinite Computation And Effective Descriptive Set Theory
Work
Year: 2018
Type: article
Abstract: We study randomness beyond ${\rm{\Pi }}_1^1$ -randomness and its Martin-Löf type variant, which was introduced in [16] and further studied in [3]. Here we focus on a class strictly between ${\rm{\Pi ... more
Source: Journal of Symbolic Logic
Authors Merlin Carl, Philipp Schlicht
Cites: 31
Cited by: 3
Related to: 10
FWCI: 0.346
Citation percentile (by year/subfield): 58.12
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green