Assertion: model theory | /r/CapableOf | aim to produce l-likemodels
Facets:
Source sentences:
text: Inner model theory aims to produce “L-like” models that contain large cardinal axioms.