Hindman's theorem: an ultrafilter argument in second order arithmetic
From MaRDI portal
Publication:3083144
DOI10.2178/jsl/1294171005zbMath1214.03046arXiv0906.3882MaRDI QIDQ3083144
Publication date: 18 March 2011
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0906.3882
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments
Related Items
CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC, A simple proof and some difficult examples for Hindman's theorem, A combinatorial proof of the dense Hindman's theorem, Ultrafilters in reverse mathematics, NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS
Cites Work