Iterative forcing and hyperimmunity in reverse mathematics

DOI10.3233/COM-160062zbMath1420.03028MaRDI QIDQ4593493

Ludovic Patey

Publication date: 22 November 2017

Published in: Computability (Search for Journal in Brave)

zbMATH Keywords

reverse mathematics; hyperimmunity; iterative forcing

Mathematics Subject Classification ID

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

05D10: Ramsey theory

03D25: Recursively (computably) enumerable sets and degrees

03F35: Second- and higher-order arithmetic and fragments