Conservativity of ultrafilters over subsystems of second order arithmetic
DOI10.1017/JSL.2017.76OpenAlexW2887699351WikidataQ129478542 ScholiaQ129478542MaRDI QIDQ4579817FDOQ4579817
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
Recommendations
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)
Cites Work
- Subsystems of second order arithmetic
- Ultrafilters and types on models of arithmetic
- Title not available (Why is that?)
- ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS
- Hindman's theorem, ultrafilters, and reverse mathematics
- Algebra in the Stone-Čech compactification. Theory and applications
- Slicing the Truth
- Introduction to Ramsey space
- A combinatorial proof of the dense Hindman's theorem
- Hindman's theorem: an ultrafilter argument in second order arithmetic
- Algebra in the Stone-Čech compactification and its applications to Ramsey theory
- The Existence of Certain Ultrafilters on N and a Conjecture of Graham and Rothschild
- Ultrafilters in reverse mathematics
- Additive and Multiplicative Ramsey Theorems in ℕ – Some Elementary Results
- Ultrafilters and multidimensional Ramsey theorems
- An effective proof that open sets are Ramsey
- Title not available (Why is that?)
- From bounded arithmetic to second order arithmetic via automorphisms
- Non-principal ultrafilters, program extraction and higher-order reverse mathematics
- Title not available (Why is that?)
Cited In (4)
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)
