3 citations · 3 across the 4 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020
Computable classifications of continuous, transducer, and regular functions
Johanna N. Y. Franklin, Rupert Hölzl, Alexander Melnikov +2
We develop a systematic algorithmic framework that unites global and local classification problems using index sets. We prove that the classification problem for continuous (binary…
math.LO2020
Key developments in algorithmic randomness
Johanna N. Y. Franklin, Christopher P. Porter
The goal of this introductory survey is to present the major developments of algorithmic randomness with an eye toward its historical development. While two highly comprehensive bo…