Assertion: complete theory | /r/CapableOf | see koellner
Facets:
value: for more
type: MANNER
Source sentences:
text: For more on incompatible Ω-complete theories see Koellner & Woodin (2009).