Assertion: structure theory | /r/HasProperty | complete
Facets:
value: for the theory of v λ+1
type: OTHER
value: effectively
type: MANNER
Source sentences:
text: Moreover, this structure theory is “effectively complete” for the theory of V λ+1 .