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 条
  • [21] DERIVED SEQUENCES AND REVERSE MATHEMATICS
    HIRST, JL
    [J]. MATHEMATICAL LOGIC QUARTERLY, 1993, 39 (04) : 447 - 453
  • [22] Reverse Mathematics of the Uncountability of R
    Sanders, Sam
    [J]. REVOLUTIONS AND REVELATIONS IN COMPUTABILITY, CIE 2022, 2022, 13359 : 272 - 286
  • [23] Computable Reductions and Reverse Mathematics
    Solomon, Reed
    [J]. Pursuit of the Universal, 2016, 9709 : 182 - 191
  • [24] The Biggest Five of Reverse Mathematics
    Normann, Dag
    Sanders, Sam
    [J]. JOURNAL OF MATHEMATICAL LOGIC, 2023,
  • [25] Located sets and reverse mathematics
    Giusto, M
    Simpson, SG
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (03) : 1451 - 1480
  • [26] Reverse mathematics and colorings of hypergraphs
    Davis, Caleb
    Hirst, Jeffry
    Pardo, Jake
    Ransom, Tim
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2019, 58 (5-6) : 575 - 585
  • [27] Primitive recursive reverse mathematics
    Bazhenov, Nikolay
    Fiori-Carones, Marta
    Liu, Lu
    Melnikov, Alexander
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2024, 175 (01)
  • [28] Topology, analysis and reverse mathematics
    Giusto, M
    [J]. BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1999, 2A : 37 - 40
  • [29] REVERSE MATHEMATICS AND ORDINAL EXPONENTIATION
    HIRST, JL
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1994, 66 (01) : 1 - 18
  • [30] The modal logic of Reverse Mathematics
    Mummert, Carl
    Saadaoui, Alaeddine
    Sovine, Sean
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2015, 54 (3-4) : 425 - 437
12345