From fe5dd9402a2e2ff9874f43eb97df96e5b35e2032 Mon Sep 17 00:00:00 2001 From: Batixx Date: Tue, 27 Jan 2026 19:00:53 +0100 Subject: [PATCH 1/3] general refernece --- properties/P000028.md | 1 + spaces/S000054/properties/P000050.md | 11 ----------- spaces/S000076/properties/P000028.md | 8 +------- spaces/S000076/properties/P000050.md | 6 +----- spaces/S000076/properties/P000065.md | 3 +-- 5 files changed, 4 insertions(+), 25 deletions(-) delete mode 100644 spaces/S000054/properties/P000050.md diff --git a/properties/P000028.md b/properties/P000028.md index 115326524..37a181c75 100644 --- a/properties/P000028.md +++ b/properties/P000028.md @@ -17,3 +17,4 @@ Defined on page 7 of {{zb:0386.54001}}. - A space that is locally {P28} (every point has a neighborhood with the property) has the property. - $X$ satisfies this property iff its Kolmogorov quotient $\text{Kol}(X)$ does. +- This property is preserved by finite products. diff --git a/spaces/S000054/properties/P000050.md b/spaces/S000054/properties/P000050.md deleted file mode 100644 index 2ac14ad7d..000000000 --- a/spaces/S000054/properties/P000050.md +++ /dev/null @@ -1,11 +0,0 @@ ---- -space: S000054 -property: P000050 -value: false -refs: -- zb: "0386.54001" - name: Counterexamples in Topology ---- - -Asserted in the General Reference Chart for space #62 in -{{zb:0386.54001}}. diff --git a/spaces/S000076/properties/P000028.md b/spaces/S000076/properties/P000028.md index b1eba8f17..b5fcb5df2 100644 --- a/spaces/S000076/properties/P000028.md +++ b/spaces/S000076/properties/P000028.md @@ -2,12 +2,6 @@ space: S000076 property: P000028 value: true -refs: -- zb: "0386.54001" - name: Counterexamples in Topology --- -$X$ is a product of first countable spaces. - -Asserted in the General Reference Chart for space #84 in -{{zb:0386.54001}}. +$X$ is the square of {S43} and {S43|P28}. diff --git a/spaces/S000076/properties/P000050.md b/spaces/S000076/properties/P000050.md index 31845f7ac..ba345f7ea 100644 --- a/spaces/S000076/properties/P000050.md +++ b/spaces/S000076/properties/P000050.md @@ -2,10 +2,6 @@ space: S000076 property: P000050 value: true -refs: -- zb: "0386.54001" - name: Counterexamples in Topology --- -Asserted in the General Reference Chart for space #84 in -{{zb:0386.54001}}. +$X$ is the square of {S43} and {S43|P50}. diff --git a/spaces/S000076/properties/P000065.md b/spaces/S000076/properties/P000065.md index ff5820e6d..ba9a7c2d5 100644 --- a/spaces/S000076/properties/P000065.md +++ b/spaces/S000076/properties/P000065.md @@ -7,5 +7,4 @@ refs: name: Counterexamples in Topology --- -Asserted in the General Reference Chart for space #84 in -{{zb:0386.54001}}. +Since $\mathfrak{c} \cdot \mathfrak{c} = \mathfrak{c}$. From 9697242a9c34dc676a1e72f300a655f9ba940696 Mon Sep 17 00:00:00 2001 From: Batixx Date: Tue, 27 Jan 2026 19:02:40 +0100 Subject: [PATCH 2/3] remove redundant reference --- spaces/S000076/properties/P000065.md | 3 --- 1 file changed, 3 deletions(-) diff --git a/spaces/S000076/properties/P000065.md b/spaces/S000076/properties/P000065.md index ba9a7c2d5..aad39d8eb 100644 --- a/spaces/S000076/properties/P000065.md +++ b/spaces/S000076/properties/P000065.md @@ -2,9 +2,6 @@ space: S000076 property: P000065 value: true -refs: -- zb: "0386.54001" - name: Counterexamples in Topology --- Since $\mathfrak{c} \cdot \mathfrak{c} = \mathfrak{c}$. From 6d8b8d5df9c768e7497c111804a177bdbabb289c Mon Sep 17 00:00:00 2001 From: Batixx Date: Wed, 28 Jan 2026 12:47:47 +0100 Subject: [PATCH 3/3] update to countable --- properties/P000028.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/properties/P000028.md b/properties/P000028.md index 37a181c75..2e305af90 100644 --- a/properties/P000028.md +++ b/properties/P000028.md @@ -4,6 +4,8 @@ name: First countable refs: - zb: "0386.54001" name: Counterexamples in Topology + - zb: "0684.54001" + name: General Topology (Engelking, 1989) --- A space with a countable local basis at every point. @@ -17,4 +19,4 @@ Defined on page 7 of {{zb:0386.54001}}. - A space that is locally {P28} (every point has a neighborhood with the property) has the property. - $X$ satisfies this property iff its Kolmogorov quotient $\text{Kol}(X)$ does. -- This property is preserved by finite products. +- This property is preserved by countable products. (Corollary 2.3.14 in {{zb:0684.54001}})