Hindman's theorem, ultrafilters, and reverse mathematics
From MaRDI portal
Publication:5313381
DOI10.2178/jsl/1080938825zbMath1070.03039OpenAlexW2111968118MaRDI QIDQ5313381
Publication date: 29 August 2005
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1080938825
Ramsey theory (05D10) Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35)
Related Items (6)
Ramsey algebras and the existence of idempotent ultrafilters ⋮ Open Questions in Reverse Mathematics ⋮ NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS ⋮ CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC ⋮ A combinatorial proof of the dense Hindman's theorem ⋮ Ultrafilters in reverse mathematics
Cites Work
This page was built for publication: Hindman's theorem, ultrafilters, and reverse mathematics
