Iterative forcing and hyperimmunity in reverse mathematics
Résumé
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 Tows-ner 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 hyperim-munity 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.
Domaines
Logique [math.LO]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...