-
17Regressive partition relations, n-subtle cardinals, and Borel diagonalizationAnnals of Pure and Applied Logic 52 (1-2): 65-77. 1991.We consider natural strengthenings of H. Friedman's Borel diagonalization propositions and characterize their consistency strengths in terms of the n -subtle cardinals. After providing a systematic survey of regressive partition relations and their use in recent independence results, we characterize n -subtlety in terms of such relations requiring only a finite homogeneous set, and then apply this characterization to extend previous arguments to handle the new Borel diagonalization propositions
-
Boston UniversityRegular Faculty
Boston, Massachusetts, United States of America
Areas of Interest
Logic and Philosophy of Logic |
Philosophy of Mathematics |