Assertion: hypothesis | /r/CapableOf | imply ch
Facets:
Source sentences:
text: L + A→ is Ω-complete for all of third-order arithmetic and all such theories are Ω-equivalent and imply CH.
text: L + A→ is Ω-complete for the entire theory of V λ and, moreover, that such theories are Ω-equivalent and imply CH.
text: L + B → is Ω-complete for Th(V λ ) and the first theory Ω-implies CH if and only if the second theory Ω-implies ¬CH.
text: This theory would imply CH and settle the remaining undecided statements.