\(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
From MaRDI portal
Publication:436224
DOI10.1016/j.aim.2012.02.025zbMath1255.03025MaRDI QIDQ436224
Theodore A. Slaman, Yue Yang, Chi Tat Chong
Publication date: 20 July 2012
Published in: Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.aim.2012.02.025
reverse mathematics; cohesiveness; chain-antichain principle; \(\Pi^1_1\)-conservation; \Sigma^0_2\)-bounding; ascending-descending principle; combinatorial principles; Ramsey's theorem for pairs; RCA\(_0
03B30: Foundations of classical theories (including reverse mathematics)
05D10: Ramsey theory
03F35: Second- and higher-order arithmetic and fragments
03H05: Nonstandard models in mathematics