ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS

DOI10.1017/jsl.2014.58zbMath1358.03021arXiv1208.1424OpenAlexW3098859376MaRDI QIDQ5251363

Alexander P. Kreuzer

Publication date: 20 May 2015

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1208.1424

zbMATH Keywords

ACAprogram extractionconservationHindman's theoremidempotent ultrafilterfunctional interpretationhigher-order reverse mathematicsACA+

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Ramsey theory (05D10) Second- and higher-order arithmetic and fragments (03F35)

Related Items (3)

Ramsey algebras and the existence of idempotent ultrafilters ⋮ Measure theory and higher order arithmetic ⋮ CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC

Cites Work

• Unnamed Item
• Ultrafilters in reverse mathematics
• NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS
• Open Questions in Reverse Mathematics
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Additive and Multiplicative Ramsey Theorems in ℕ – Some Elementary Results
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

This page was built for publication: ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS