isNowhereLocallyCompact
P161880
predicate
Indicates that the space has no point with a neighborhood that is locally compact, i.e., it is not locally compact at any location.
Observed surface forms (1)
- isNonLocallyCompact ×1
Sample triples (2)
| Subject | Object |
|---|---|
| Baire space | true ⓘ |
| Baire space ω^ω | true via predicate surface "isNonLocallyCompact" ⓘ |