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 条

[1] ARROW'S THEOREM, ULTRAFILTERS, AND REVERSE MATHEMATICS
Eastaugh, Benedict
[J]. REVIEW OF SYMBOLIC LOGIC, 2024,
[2] Hindman's theorem, ultrafilters. and reverse mathematics
Hirst, JL
[J]. JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (01) : 65 - 72
[3] NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS
Kreuzer, Alexander P.
[J]. JOURNAL OF MATHEMATICAL LOGIC, 2012, 12 (01)
[4] REVERSE MATHEMATICS
SIMPSON, SG
[J]. PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS, 1985, 42 : 461 - 471
[5] Reverse-engineering Reverse Mathematics
Sanders, Sam
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (05) : 528 - 541
[6] Reverse Mathematics of Matroids
Hirst, Jeffry L.
Mummert, Carl
[J]. COMPUTABILITY AND COMPLEXITY: ESSAYS DEDICATED TO RODNEY G. DOWNEY ON THE OCCASION OF HIS 60TH BIRTHDAY, 2017, 10010 : 143 - 159
[7] Reverse mathematics and local rings
Wu, Huishan
[J]. SCIENCE CHINA-MATHEMATICS, 2024,
[8] PARTIAL IMPREDICATIVITY IN REVERSE MATHEMATICS
Towsner, Henry
[J]. JOURNAL OF SYMBOLIC LOGIC, 2013, 78 (02) : 459 - 488
[9] THE REVERSE MATHEMATICS OF CAC FOR TREES
Cervelle, Julien
Gaudelier, William
Patey, Ludovic
[J]. JOURNAL OF SYMBOLIC LOGIC, 2023,
[10] Reverse mathematics and ordinal multiplication
Hirst, JL
[J]. MATHEMATICAL LOGIC QUARTERLY, 1998, 44 (04) : 459 - 464

← 1 2 3 4 5 →