Reverse mathematics and Weihrauch analysis motivated by finite complexity theory

被引:0
|
作者
BeMent, Zach [1 ]
Hirst, Jeffry [1 ]
Wallace, Asuka [1 ]
机构
[1] Appalachian State Univ, Dept Math Sci, Boone, NC 28608 USA
来源
关键词
Reverse mathematics; Weihrauch; isomorphic subgraph; LPO; ACA; Pi(1)(1) comprehension;
D O I
10.3233/COM-210310
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
We extend a study by Lempp and Hirst of infinite versions of some problems from finite complexity theory, using an intuitionistic version of reverse mathematics and techniques of Weihrauch analysis.
引用
收藏
页码:343 / 354
页数:12
相关论文
共 50 条