Assertion: analytic set | /r/HasProperty | determined
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.