Iterative forcing and hyperimmunity in reverse mathematics

Article type: Research Article

Authors: Patey, Ludovic

Affiliations: Laboratoire PPS, Université Paris Diderot, Paris, France. ludovic.patey@computability.fr. http://ludovicpatey.com

Abstract: The separation between two theorems in reverse mathematics is usually done by constructing a Turing ideal satisfying a theorem P and avoiding the solutions to a fixed instance of a theorem Q. Lerman, Solomon and Towsner introduced a forcing technique for iterating a computable non-reducibility in order to separate theorems over omega-models. In this paper, we present a modularized version of their framework in terms of preservation of hyperimmunity and show that it is powerful enough to obtain the same separations results as Wang did with his notion of preservation of definitions. More than the actual separations, we provide a systematic method to design a computability-theoretic property which enables one to distinguish two statements, based on an analysis of their combinatorics.

Keywords: Iterative forcing, hyperimmunity, reverse mathematics

DOI: 10.3233/COM-160062

Journal: Computability, vol. 6, no. 3, pp. 209-221, 2017