Using Ramsey's theorem once

被引：7

作者：

Hirst, Jeffry L. ^{[1
]}

Mummert, Carl ^{[2
]}

机构：

[1] Appalachian State Univ, Dept Math Sci, Walker Hall, Boone, NC 28608 USA

[2] Marshall Univ, Dept Math, 1 John Marshall Dr, Huntington, WV 25755 USA

来源：

ARCHIVE FOR MATHEMATICAL LOGIC | 2019年 / 58卷 / 7-8期

关键词：

Ramsey; Weihrauch; Uniform reduction; Higher order; Reverse mathematics; Proof mining; PRINCIPLES; CHOICE;

D O I：

10.1007/s00153-019-00664-z

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We show that RT(2,4) to higher types, but that this does not remain true when the law of the excluded middle is added. The argument uses Kohlenbach's axiomatization of higher order reverse mathematics, results related to modified reducibility, and a formalization of Weihrauch reducibility.

引用

页码：857 / 866

页数：10

共 18 条

[1] [Anonymous], 1952, INTRO METAMATHEMATIC
[2] [Anonymous], 2009, SUBSYSTEMS 2 ORDER A
[3] [Anonymous], 1973, LECT NOTES MATH
[4] Brattka V., 2016, DAGSTUHL REPORTS, V5, P77, DOI DOI 10.4230/DAGREP.5.9.77
[5] Brattka V., 2018, DAGSTUHL REP, V8
[6] ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY'S THEOREM
Brattka, Vasco
Rakotoniaina, Tahina
[J]. JOURNAL OF SYMBOLIC LOGIC, 2017, 82 (04) : 1278 - 1316
[7] EFFECTIVE CHOICE AND BOUNDEDNESS PRINCIPLES IN COMPUTABLE ANALYSIS
Brattka, Vasco
Gherardi, Guido
[J]. BULLETIN OF SYMBOLIC LOGIC, 2011, 17 (01) : 73 - 117
[8] ON UNIFORM RELATIONSHIPS BETWEEN COMBINATORIAL PROBLEMS
Dorais, Francois G.
Dzhafarov, Damir D.
Hirst, Jeffry L.
Mileti, Joseph R.
Shafer, Paul
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2016, 368 (02) : 1321 - 1359
[9] Classical Consequences of Continuous Choice Principles from Intuitionistic Analysis
Dorais, Francois G.
[J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2014, 55 (01) : 25 - 39
[10] Feferman S., 1977, Handbook of Mathematical Logic, P913, DOI [10.1016/S0049-237X(08)71126-1, DOI 10.1016/S0049-237X(08)71126-1]

← 1 2 →