×
弗洛德，斯蒂芬;马修·朱拉;奥斯卡·莱文;泰勒·马尔卡宁

可数图中匹配的计算强度。 （英语） Zbl 07538233号

Ann.纯粹应用。逻辑 173，第8期，文章ID 103133，26页（2022）.
摘要：在1977年的一篇论文中，Steffens确定了一个优雅的标准，用于确定可数图何时具有完美匹配。在本文中，我们将研究这个结果和相关定理的证明理论强度。我们表明，这些定理的许多自然变体与逆向数学的“五大”子系统等价或密切相关。
本文的结果探索了图论和逻辑之间的关系，展示了单个图论原理的具体变化对相应的证明理论强度的影响。综上所述，本文的结果和问题表明，可数图中匹配的存在为更广泛地理解逆向数学提供了丰富的背景。

MSC公司：

03天80 可计算性和递归理论的应用
03D99号 可计算性和递归理论
2015年1月3日 递归序数和序数符号
35楼03号 二阶和高阶算术和片段

关键词：

可计算性理论;逆向数学;图形匹配
PDF格式BibTeX公司 XML格式引用
\textit{S.Flood}等人，Ann.Pure Appl。逻辑173，第8号，文章ID 103133，26页（2022；Zbl 07538233）
全文： 内政部 arXiv公司

参考文献：

[1] Aharoni，R.，无限图中的匹配，J.Comb。理论，Ser。B、 44、1、87-125（1988）·Zbl 0642.05048号
[2] 阿哈罗尼，R。；马吉多尔，M。；Shore，R.A.，关于无限二部图的König对偶定理的强度，J.Comb。理论，Ser。B、 54、2、257-290（1992）·Zbl 0754.05053号
[3] Ash，C.J。；Knight，J.，《可计算结构与超算术层次结构》，《逻辑与数学基础研究》，第144卷（2000年），北荷兰特出版公司：北荷兰德出版公司，阿姆斯特丹·Zbl 0960.03001号
[4] 布拉特卡，V。；Gherardi，G.，《选择的完成》，Ann.Pure Appl。日志。，172，3，第102914条pp.（2021）·Zbl 1462.03019号
[5] 布拉特卡，V。；格拉迪，G。；Pauly，A.，可计算分析中的Weihrauch复杂性，（分析中的可计算性和复杂性手册（2021）），367-417·Zbl 07464650号
[6] Diestel，R.，《图论，数学研究生教材》，第173卷（2018），《施普林格：柏林施普林格》，平装版[MR3644391]
[7] Goh，J.L.，《有序之间的嵌入：可计算性理论约简》，《纯粹应用》。日志。，171，6，第102789条pp.（2020）·Zbl 1479.03008号
[8] Hirst，J.L.，《婚姻定理与逆向数学》，（逻辑与计算，逻辑与计算），宾夕法尼亚州匹兹堡，1987年。逻辑与计算。《逻辑与计算》，宾夕法尼亚州匹兹堡，1987年，康斯坦普。数学。，第106卷（1990年），美国。数学。Soc.：美国。数学。Soc.Providence，RI），181-196年·Zbl 0701.03032号
[9] Hirst，J.L。；休斯，N.A.，《逆向数学与婚姻问题的独特解决方案》，Arch。数学。日志。，54，1-2，49-57（2015）·Zbl 1386.03015号
[10] Kihara，T。；马可尼，A。；Pauly，A.，寻找\（\operatorname{AT}\operator name的类似物{R} _0（0）\)在Weihrauch晶格中，J.Symb。日志。，851006-1043（2020）·兹比尔1473.03026
[11] Marcone，A.，《关于超限序列上Nash-Williams定理的逻辑强度》，（《逻辑：从基础到应用》，《逻辑学：从基础至应用》，斯塔福德郡，1993年）。逻辑：从基础到应用。逻辑：从基础到应用，斯塔福德郡，1993，牛津科学。出版物。（1996），牛津大学出版社：牛津大学出版社，纽约），327-351·Zbl 0857.03035号
[12] 罗杰斯，H.，《递归函数和有效可计算性理论》（1987），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥·Zbl 0183.01401号
[13] Sakakibara，T.，《逆向数学中的Tutte定理》（证明理论和可计算性理论研讨会（2011年））
[14] Shafer，P.，（\operatorname{\Pi}_1^1-\mathsf中的Menger定理{CA}_0\)，建筑。数学。日志。，51, 3-4, 407-423 (2012) ·Zbl 1245.03018号
[15] Simpson，S.G.，《关于可数二部图的König对偶定理的强度》，J.Symb。日志。，59, 1, 113-123 (1994) ·Zbl 0798.03060号
[16] Simpson，S.G.，《二阶算术子系统》，《逻辑透视》（2009），剑桥大学出版社，符号逻辑协会：剑桥大学出版社·Zbl 1181.03001号
[17] Soare，R.I.，《递归可枚举集和度数》，《数理逻辑中的透视》（1987），施普林格-弗拉格：柏林施普林格·Zbl 0623.03042号
[18] Steffens，K.，可数图中的匹配，Can。数学杂志。，29, 1, 165-168 (1977) ·Zbl 0324.05122号
[19] Towsner，H.，《逆向数学中的部分不精确性》，J.Symb。日志。，78, 2, 459-488 (2013) ·Zbl 1275.03079号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。