Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with realcompact-spaces
Search options not deleted
user 61785
3
votes
Reference: If $X$ is metrizable, then $X$ is realcompact iff $|X|$ is non-measurable
Here is some information on the history of the result, which was actually proven before Shirota's 1952 theorem. It was proved in 1948 by Marczewski and Sikorski as Theorem VI in:
Marczewski, E.; Sikor …
- 3,768