Assertion: hypothesis | /r/HasProperty | ω-equivalent
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.