Assertion: analytic set | /r/CapableOf | exist large cardinal
Facets:
Source sentences:
text: Further, he showed that if there exists a large cardinal called measurable (see Section 10), then even the analytic sets are determined.