CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC

DOI10.1017/jsl.2017.76OpenAlexW2887699351MaRDI QIDQ4579817

Richard A. Shore, Antonio Montalbán

Publication date: 10 August 2018

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

Full work available at URL: https://semanticscholar.org/paper/57d7deb4464f03144d54189bfb23b2d410276b35

zbMATH Keywords

reverse mathematicsHindman's theoremidempotent ultrafiltersconservation theorems

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Related Items

Reduction games, provability and compactness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Ultrafilters and multidimensional Ramsey theorems
• Algebra in the Stone-Čech compactification. Theory and applications
• Ultrafilters and types on models of arithmetic
• An effective proof that open sets are Ramsey
• A combinatorial proof of the dense Hindman's theorem
• Ultrafilters in reverse mathematics
• NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS
• Hindman's theorem: an ultrafilter argument in second order arithmetic
• Slicing the Truth
• Introduction to Ramsey Spaces (AM-174)
• Additive and Multiplicative Ramsey Theorems in ℕ – Some Elementary Results
• ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS
• Hindman's theorem, ultrafilters, and reverse mathematics
• The Existence of Certain Ultrafilters on N and a Conjecture of Graham and Rothschild