Hindman's theorem, ultrafilters, and reverse mathematics
From MaRDI portal
(Redirected from Publication:5313381)
Recommendations
- Ultrafilters in reverse mathematics
- Hindman's theorem: an ultrafilter argument in second order arithmetic
- ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS
- scientific article; zbMATH DE number 4031668
- Reverse mathematics and completeness theorems for intuitionistic logic
- Mathias forcing and ultrafilters
- Ordinal inequalities, transfinite induction, and reverse mathematics
- Reverse mathematics and order theoretic fixed point theorems
- scientific article; zbMATH DE number 2247263
- More reverse mathematics of the Heine-Borel theorem
Cites work
Cited in
(16)- A combinatorial proof of the dense Hindman's theorem
- Forcing-theoretic aspects of Hindman's theorem
- Ramsey algebras and the existence of idempotent ultrafilters
- Ultrafilters in reverse mathematics
- Non-principal ultrafilters, program extraction and higher-order reverse mathematics
- Hindman's theorem: an ultrafilter argument in second order arithmetic
- Open questions in reverse mathematics
- Reverse mathematics and marriage problems with finitely many solutions
- scientific article; zbMATH DE number 4063093 (Why is no real title available?)
- On the set-theoretic strength of Ellis' theorem and the existence of free idempotent ultrafilters on \(\omega\)
- Conservativity of ultrafilters over subsystems of second order arithmetic
- A combinatorial proof of a stronger dense Hindman theorem
- The reverse mathematics of Hindman's theorem for sums of exactly two elements
- ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS
- scientific article; zbMATH DE number 2236630 (Why is no real title available?)
- Arrow's theorem, ultrafilters, and reverse mathematics
This page was built for publication: Hindman's theorem, ultrafilters, and reverse mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5313381)
