T698: WLC + para-Lindelof + connected => Lindelof (#1215)

pi-base · Jan 28, 2025 · e37bdd4 · e37bdd4
1 parent bf0767e
commit e37bdd4
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/theorems/T000698.md b/theorems/T000698.md
@@ -0,0 +1,17 @@
+---
+uid: T000698
+if:
+  and:
+  - P000023: true
+  - P000105: true
+  - P000036: true
+then:
+  P000018: true
+refs:
+  - mathse: 5028016
+    name: Answer to "Connected, locally compact, paracompact Hausdorff space is exhaustible by compacts"
+---
+
+Call a space *weakly locally Lindelöf* if every point has a neighborhood that is Lindelöf.
+
+In {{mathse:5028016}} it is shown that a {P36} weakly locally Lindelöf {P105} space is {P18}, and {P23} implies weakly locally Lindelöf.