Ultrafilters in reverse mathematics

被引：4
|
作者：
Towsner, Henry [1 ]
机构：
[1] Univ Penn, Dept Math, Philadelphia, PA 19104 USA
来源：
JOURNAL OF MATHEMATICAL LOGIC | 2014年 / 14卷 / 01期
基金：
美国国家科学基金会;
关键词：
Reverse mathematics; ultrafilters; forcing; conservative; HINDMANS THEOREM; PROOF;
D O I：
10.1142/S0219061314500019
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We extend theories of reverse mathematics by a non-principal ultrafilter, and show that these are conservative extensions of the usual theories ACA(0), ATR(0), and Pi(1)(1)-CA(0).
引用
收藏
页数：11
相关论文
共 50 条
  • [31] Coloring trees in reverse mathematics
    Dzhafarov, Damir D.
    Patey, Ludovic
    [J]. ADVANCES IN MATHEMATICS, 2017, 318 : 497 - 514
  • [32] REVERSE MATHEMATICS: THE PLAYGROUND OF LOGIC
    Shore, Richard A.
    [J]. BULLETIN OF SYMBOLIC LOGIC, 2010, 16 (03) : 378 - 402
  • [33] A NOTE ON THE REVERSE MATHEMATICS OF THE SORITES
    Dzhafarov, Damir D.
    [J]. REVIEW OF SYMBOLIC LOGIC, 2019, 12 (01): : 30 - 36
  • [34] Reverse mathematics, trichotomy, and dichotomy
    Dorais, Francois G.
    Hirst, Jeffry L.
    Shafer, Paul
    [J]. JOURNAL OF LOGIC AND ANALYSIS, 2012, 4
  • [35] The modal logic of Reverse Mathematics
    Carl Mummert
    Alaeddine Saadaoui
    Sean Sovine
    [J]. Archive for Mathematical Logic, 2015, 54 : 425 - 437
  • [36] Questioning Constructive Reverse Mathematics
    Loeb, Iris
    [J]. CONSTRUCTIVIST FOUNDATIONS, 2012, 7 (02): : 131 - 140
  • [37] Reverse mathematics and local rings
    Huishan Wu
    [J]. Science China(Mathematics)., 2024, 67 (12) - 2680
  • [38] Reverse mathematics and initial intervals
    Frittaion, Emanuele
    Marcone, Alberto
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (03) : 858 - 879
  • [39] Splittings and Disjunctions in Reverse Mathematics
    Sanders, Sam
    [J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2020, 61 (01) : 51 - 74
  • [40] RANDOMNESS NOTIONS AND REVERSE MATHEMATICS
    Nies, Andre
    Shafer, Paul
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2020, 85 (01) : 271 - 299
12345