Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8904319 | Annals of Pure and Applied Logic | 2018 | 33 Pages |
Abstract
In this paper we develop a technique for proving determinacy of classes of the form Ï2-Î 11+Î (a refinement of the difference hierarchy on Î 11 lying between Ï2-Î 11 and (Ï2+1)-Î 11) from weak principles, establishing upper bounds for the determinacy-strength of the classes Ï2-Î 11+Σα0 for all computable α and of Ï2-Î 11+Î11. This bridges the gap between previously known hypotheses implying determinacy in this region.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Chris Le Sueur,