Conservativity of ultrafilters over subsystems of second order arithmetic

DOI10.1017/JSL.2017.76MaRDI QIDQ4579817zbMATH OpenOpenAlexWikidataFDO

Authors Antonio Montalbán, Richard A. Shore

Publication date 10 August 2018

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

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

zbMATH Keywords

Hindman's theoremreverse mathematicsidempotent 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)

Recommendations

• Hindman's theorem: an ultrafilter argument in second order arithmetic
• Ultrafilters in reverse mathematics
• ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS
• Ultrafilters and multidimensional Ramsey theorems
• Ultrafilters and types on models of arithmetic

Cites work

• scientific article; zbMATH DE number 3946114 (Why is no real title available?)
• scientific article; zbMATH DE number 4063093 (Why is no real title available?)
• scientific article; zbMATH DE number 873158 (Why is no real title available?)
• A combinatorial proof of the dense Hindman's theorem
• Additive and Multiplicative Ramsey Theorems in ℕ – Some Elementary Results
• Algebra in the Stone-Čech compactification and its applications to Ramsey theory
• Algebra in the Stone-Čech compactification. Theory and applications
• An effective proof that open sets are Ramsey
• From bounded arithmetic to second order arithmetic via automorphisms
• Hindman's theorem, ultrafilters, and reverse mathematics
• Hindman's theorem: an ultrafilter argument in second order arithmetic
• Introduction to Ramsey space
• Non-principal ultrafilters, program extraction and higher-order reverse mathematics
• ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS
• Slicing the truth. On the computable and reverse mathematics of combinatorial principles
• Subsystems of second order arithmetic
• The Existence of Certain Ultrafilters on N and a Conjecture of Graham and Rothschild
• Ultrafilters and multidimensional Ramsey theorems
• Ultrafilters and types on models of arithmetic
• Ultrafilters in reverse mathematics

Cited in

(5)

• Borel quasi-orderings in subsystems of second-order arithmetic
• Non-principal ultrafilters, program extraction and higher-order reverse mathematics
• Reduction games, provability and compactness
• Hindman's theorem: an ultrafilter argument in second order arithmetic
• Ultrafilters in reverse mathematics

This page was built for publication: Conservativity of ultrafilters over subsystems of second order arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4579817)