Assertion: structure theory | /r/CapableOf | parallel that of l(ℝ
Facets:
value: under adl(ℝ
type: OTHER
value: fully
type: DEGREE
Source sentences:
text: In contrast, the embedding axiom on its own is not sufficient to imply that L(V λ+1 ) has a structure theory that fully parallels that of L(ℝ) under ADL(ℝ).