add corson compact characterization

pi-base · Apr 3, 2024 · 17a9929 · 17a9929
1 parent 7587b4a
commit 17a9929
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/theorems/T000476.md b/theorems/T000476.md
@@ -0,0 +1,16 @@
+---
+uid: T000476
+if:
+  and:
+  - P000003: true
+  - P000016: true
+  - P000186: true
+  - P000187: true
+then:
+  P000077: true 
+refs:
+  - doi: 10.1016/j.jmaa.2023.127992
+    name: A compact space K is Corson compact if and only if Cp(K) has a dense lc-scattered subspace (Tkachuk)
+---
+
+Shown in Theorem 3.11 of {{10.1016/10.1016/j.jmaa.2023.127992}}.