Showing 2020 · math.LOShow all
2 papers · 2 filters
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…