add ccc to S1103 (#483)

pi-base · Dec 9, 2023 · 1e346bf · 1e346bf
1 parent eee496b
commit 1e346bf
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/spaces/S001103/properties/P000029.md b/spaces/S001103/properties/P000029.md
@@ -0,0 +1,16 @@
+---
+space: S001103
+property: P000029
+value: true
+refs:
+- doi: 10.1007/978-1-4612-6290-9
+  name: Counterexamples in Topology
+- mo: 459262
+  name: Countable chain condition in topology
+- mr: 1039321
+  name: General Topology (Engelking, 1989)
+---
+
+Asserted in the General Reference Chart for space #103
+in {{doi:10.1007\/978-1-4612-6290-9_6}}. See also Corollary 2.3.18 of
+{{mr:1039321}} and the discussion at {{mo:459262}}.