From 8cfaa984d329b94ca75a25a599524548ce61a679 Mon Sep 17 00:00:00 2001
From: Steven Clontz <steven.clontz@gmail.com>
Date: Sat, 21 Sep 2024 12:42:54 -0500
Subject: [PATCH 1/5] box product of reals

---
 spaces/S000107/properties/P000028.md | 10 ----------
 spaces/S000107/properties/P000187.md | 21 +++++++++++++++++++++
 spaces/S000107/properties/P000191.md | 14 ++++++++++++++
 3 files changed, 35 insertions(+), 10 deletions(-)
 delete mode 100644 spaces/S000107/properties/P000028.md
 create mode 100644 spaces/S000107/properties/P000187.md
 create mode 100644 spaces/S000107/properties/P000191.md

diff --git a/spaces/S000107/properties/P000028.md b/spaces/S000107/properties/P000028.md
deleted file mode 100644
index 74ce8cccaa..0000000000
--- a/spaces/S000107/properties/P000028.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-space: S000107
-property: P000028
-value: false
-refs:
-- doi: 10.1007/978-1-4612-6290-9_6
-  name: Counterexamples in Topology
----
-
-See item #6 for space #109 in {{doi:10.1007/978-1-4612-6290-9_6}}.
diff --git a/spaces/S000107/properties/P000187.md b/spaces/S000107/properties/P000187.md
new file mode 100644
index 0000000000..668caa44b5
--- /dev/null
+++ b/spaces/S000107/properties/P000187.md
@@ -0,0 +1,21 @@
+---
+space: S000107
+property: P000187
+value: false
+refs:
+- mathse: 4973385
+  name: Answer to "Are W-spaces with countable pseudocharacter first countable?"
+---
+
+Note that the {P187} property is hereditary.
+
+Let $f_{m,n}:\omega\to\mathbb R$ be defined by
+$f_{m,n}(m)=\frac{1}{m+2}$ and $f_{m,n}(k)=0$ otherwise.
+
+So the result follows as the subspace
+$\{\vec 0\}\cup\{f_{m,n}:m,n<\omega\}$ is a copy of
+is homeomorphic to
+{S131}
+and {S131|P187}.
+
+See {{mathse:4973385}}.
diff --git a/spaces/S000107/properties/P000191.md b/spaces/S000107/properties/P000191.md
new file mode 100644
index 0000000000..45786e21e8
--- /dev/null
+++ b/spaces/S000107/properties/P000191.md
@@ -0,0 +1,14 @@
+---
+space: S000107
+property: P000191
+value: true
+refs:
+- mathse: 1644041
+  name: Answer to "Familiar spaces in which every one point set is Gδ
+ but space is not first countable"
+---
+
+Each $f:\omega\to\mathbb R$ is the countable intersection of
+$\bigcap_{m<\omega}\prod_{n<\omega}(f-\frac{1}{m+1},f+\frac{1}{m+1})$.
+
+See {{mathse:1644041}}.

From b7c234016b02744f1f61a12ae1f3ad2adb852068 Mon Sep 17 00:00:00 2001
From: Steven Clontz <steven.clontz@gmail.com>
Date: Sat, 21 Sep 2024 12:44:56 -0500
Subject: [PATCH 2/5] fix intentation

---
 spaces/S000107/properties/P000187.md | 3 ++-
 spaces/S000107/properties/P000191.md | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/spaces/S000107/properties/P000187.md b/spaces/S000107/properties/P000187.md
index 668caa44b5..c36211714e 100644
--- a/spaces/S000107/properties/P000187.md
+++ b/spaces/S000107/properties/P000187.md
@@ -4,7 +4,8 @@ property: P000187
 value: false
 refs:
 - mathse: 4973385
-  name: Answer to "Are W-spaces with countable pseudocharacter first countable?"
+  name: Answer to "Are W-spaces with countable pseudocharacter first 
+    countable?"
 ---
 
 Note that the {P187} property is hereditary.
diff --git a/spaces/S000107/properties/P000191.md b/spaces/S000107/properties/P000191.md
index 45786e21e8..9871a6c37a 100644
--- a/spaces/S000107/properties/P000191.md
+++ b/spaces/S000107/properties/P000191.md
@@ -5,7 +5,7 @@ value: true
 refs:
 - mathse: 1644041
   name: Answer to "Familiar spaces in which every one point set is Gδ
- but space is not first countable"
+    but space is not first countable"
 ---
 
 Each $f:\omega\to\mathbb R$ is the countable intersection of

From b38f026023a064a625df760c1269d3ba616aa580 Mon Sep 17 00:00:00 2001
From: Steven Clontz <steven.clontz@gmail.com>
Date: Sat, 21 Sep 2024 12:47:04 -0500
Subject: [PATCH 3/5] remove redundant P26

---
 spaces/S000107/properties/P000026.md | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 spaces/S000107/properties/P000026.md

diff --git a/spaces/S000107/properties/P000026.md b/spaces/S000107/properties/P000026.md
deleted file mode 100644
index 24fc626073..0000000000
--- a/spaces/S000107/properties/P000026.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-space: S000107
-property: P000026
-value: false
-refs:
-- doi: 10.1007/978-1-4612-6290-9_6
-  name: Counterexamples in Topology
----
-
-See item #7 for space #109 in {{doi:10.1007/978-1-4612-6290-9_6}}.

From 406e0a46e51b78db419b78d649033db2b4d681ce Mon Sep 17 00:00:00 2001
From: Steven Clontz <steven.clontz@gmail.com>
Date: Sat, 21 Sep 2024 12:50:30 -0500
Subject: [PATCH 4/5] remove redundant P129

---
 spaces/S000107/properties/P000129.md | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 spaces/S000107/properties/P000129.md

diff --git a/spaces/S000107/properties/P000129.md b/spaces/S000107/properties/P000129.md
deleted file mode 100644
index 0cfa704ad4..0000000000
--- a/spaces/S000107/properties/P000129.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000107
-property: P000129
-value: false
----
-
-The space is non-trivial by definition.

From c755ea7e3ff91c28bba25ee339f35113b9567b5a Mon Sep 17 00:00:00 2001
From: Alman <149833592+Almanzoris@users.noreply.github.com>
Date: Sun, 22 Sep 2024 01:40:35 +0200
Subject: [PATCH 5/5] Small fixes.

---
 spaces/S000107/properties/P000187.md | 5 ++---
 spaces/S000107/properties/P000191.md | 2 +-
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/spaces/S000107/properties/P000187.md b/spaces/S000107/properties/P000187.md
index c36211714e..f74495beb9 100644
--- a/spaces/S000107/properties/P000187.md
+++ b/spaces/S000107/properties/P000187.md
@@ -13,9 +13,8 @@ Note that the {P187} property is hereditary.
 Let $f_{m,n}:\omega\to\mathbb R$ be defined by
 $f_{m,n}(m)=\frac{1}{m+2}$ and $f_{m,n}(k)=0$ otherwise.
 
-So the result follows as the subspace
-$\{\vec 0\}\cup\{f_{m,n}:m,n<\omega\}$ is a copy of
-is homeomorphic to
+The result follows as the subspace
+$\{\vec 0\}\cup\{f_{m,n}:m,n<\omega\}$ is homeomorphic to
 {S131}
 and {S131|P187}.
 
diff --git a/spaces/S000107/properties/P000191.md b/spaces/S000107/properties/P000191.md
index 9871a6c37a..398d4a5bad 100644
--- a/spaces/S000107/properties/P000191.md
+++ b/spaces/S000107/properties/P000191.md
@@ -9,6 +9,6 @@ refs:
 ---
 
 Each $f:\omega\to\mathbb R$ is the countable intersection of
-$\bigcap_{m<\omega}\prod_{n<\omega}(f-\frac{1}{m+1},f+\frac{1}{m+1})$.
+$\bigcap_{m<\omega}\prod_{n<\omega}(f(n)-\frac{1}{m+1},f(n)+\frac{1}{m+1})$.
 
 See {{mathse:1644041}}.