由有限复杂性理论驱动的逆向数学与魏劳赫分析
逻辑
2021-05-06 v1
摘要
我们利用逆向数学的直觉主义版本与魏劳赫分析的技术，扩展了 Lempp 与 Hirst 关于有限复杂性理论中某些问题的无限版本的研究。
引用
@article{arxiv.2105.01719,
title = {Reverse mathematics and Weihrauch analysis motivated by finite complexity theory},
author = {Zack BeMent and Jeffry Hirst and Asuka Wallace},
journal= {arXiv preprint arXiv:2105.01719},
year = {2021}
}