L Qian, F Weilacher - arXiv preprint arXiv:2206.08426, 2022 - arxiv.org
We introduce new types of local algorithms, which we call" ASI Algorithms", and use them to
demonstrate a link between descriptive and computable combinatorics. This allows us to …