Robuta

https://arxiv.org/abs/1910.02489
Abstract page for arXiv paper 1910.02489: Open sets in computability theory and Reverse Mathematics
open setscomputability theoryreverse mathematics