Controlling iterated jumps of solutions to combinatorial problems

DOI10.3233/COM-160056zbMath1420.03027arXiv1509.05340MaRDI QIDQ2964279

Ludovic Patey

Publication date: 23 February 2017

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1509.05340

zbMATH Keywords

reverse mathematics; definability; Ramsey's theorem

Mathematics Subject Classification ID

03B30: Foundations of classical theories (including reverse mathematics)

05D10: Ramsey theory

03E40: Other aspects of forcing and Boolean-valued models

03D55: Hierarchies of computability and definability