Form equivalence class Howard-Rubin Number: 106
Statement:
\(DMC\): Dependent Multiple Choice: Every tree in which every element has at least one immediate successor has a subtree whose levels are finite and in which every element has at least one immediate successor.
Howard-Rubin number: 106 A
Citations (articles):
Blass [1979]
Injectivity, projectivity and the axiom of choice
Brunner [1983c]
Kategoriesatze und multiples Auswahlaxiom
Fossy/Morillon [1998]
The Baire category property and some notions of compactness
Connections (notes):
Note [21]
Definitions for forms [10 F], [14 M],
[14 N], [43 H],
[106 A], Form 216, and
Form 249.
References (books):
Back