Description: Implications involving Form 43
Content:
Spector [1980] proves that Form 43 (dependent choice) implies [43 P] which implies [43 R] and [43 R] clearly implies [43 L]. Diener [1994] shows that if Form 43 and [43 S] are altered by restricting them to relations which are partial orderings, the resulting forms remain equivalent to Form 43. In addition, if [43 R] is altered by removing the restriction to partial orderings the resulting form remains equivalent to Form 43.
Howard-Rubin number: 54
Type: Summary of results
Back