Assertion: complete theory | /r/HasProperty | forthcoming
Facets:
Source sentences:
text: Nevertheless, if one supplements large cardinal axioms then Ω-complete theories are forthcoming.