diff --git a/spaces/S000147/README.md b/spaces/S000147/README.md
deleted file mode 100644
index e17168283b..0000000000
--- a/spaces/S000147/README.md
+++ /dev/null
@@ -1,23 +0,0 @@
----
-uid: S000147
-name: (CH) A Luzin subset of the reals (The special Lusin set $L$)
-aliases:
-  - Lusin set
-ambiguous_construction: true
-# additional_axioms: CH
-refs:
-  - zb: 0389.54004
-    name: Luzin spaces (K. Kunen)
-  - doi: 10.1016/S0166-8641(96)00075-2
-    name: The combinatorics of open covers II (Just et al)
----
-
-An uncountable subset of the reals such that its intersection with
-every nowhere dense subset of the reals (equivalently,
-every meager subset of the reals) is countable.
-For background information, see the article {{zb:0389.54004}}, available at the [Topology Proceedings webpage](https://topology.nipissingu.ca/tp/reprints/v01/tp01021s.pdf).
-
-Note that the construction of such a set requires additional axioms beyond $ZFC$.
-
-Here we use the $CH$ construction from Lemma 2.6 of {{doi:10.1016/S0166-8641(96)00075-2}}
-in order to guarantee the failure of {P150}.
\ No newline at end of file
diff --git a/spaces/S000147/properties/P000017.md b/spaces/S000147/properties/P000017.md
deleted file mode 100644
index 0da10600ba..0000000000
--- a/spaces/S000147/properties/P000017.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-space: S000147
-property: P000017
-value: false
-refs:
-- mathse: 4744210
-  name: Why can't a Lusin set be sigma-compact?
----
-
-Shown in {{mathse:4744210}}.
diff --git a/spaces/S000147/properties/P000046.md b/spaces/S000147/properties/P000046.md
deleted file mode 100644
index 59af2bdb2f..0000000000
--- a/spaces/S000147/properties/P000046.md
+++ /dev/null
@@ -1,9 +0,0 @@
----
-space: S000147
-property: P000046
-value: true
----
-
-Assume there are $a,b\in X$ with $a<b$ such that there is a path from $a$ to $b$. By the intermediate value theorem, $(a,b)\subseteq X$.
-Take a copy $B$ of the Cantor set contained within the interval $(a,b)$. 
-Then $B$ is a nowhere dense subset of $\mathbb{R}$, but $B\cap X=B$ is uncountable, which contradicts $X$ being a Luzin set.
diff --git a/spaces/S000147/properties/P000056.md b/spaces/S000147/properties/P000056.md
deleted file mode 100644
index a4dafca86e..0000000000
--- a/spaces/S000147/properties/P000056.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000147
-property: P000056
-value: false
----
-
-Assume $X = \bigcup_{n\in \omega}U_n$, where $U_n$ is a nowhere dense subset of $X$ for all $n \in \omega$. Due to $X$ being a subspace of $\mathbb{R}$, the $U_n$'s are also nowhere dense in $\mathbb{R}$. As $X$ is uncountable, there is an $m \in \omega$, such that $U_m \cap X=U_m$ is uncountable, which contradicts $X$ being a Luzin set.
diff --git a/spaces/S000147/properties/P000065.md b/spaces/S000147/properties/P000065.md
deleted file mode 100644
index ff8ac5f706..0000000000
--- a/spaces/S000147/properties/P000065.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000147
-property: P000065
-value: true
----
-
-The space is an uncountable subset of $\mathbb R$.  Assuming CH, it necessarily has cardinality $\mathfrak c = \aleph_1$.
diff --git a/spaces/S000147/properties/P000068.md b/spaces/S000147/properties/P000068.md
deleted file mode 100644
index 660aa0f7a7..0000000000
--- a/spaces/S000147/properties/P000068.md
+++ /dev/null
@@ -1,13 +0,0 @@
----
-space: S000147
-property: P000068
-value: true
-refs:
-- mr: 1271477
-  name: Every Lusin set is undetermined in the point-open game.
----
-
-The point-open game is shown to be undetermined in {{mr:1271477}}
-for every Lusin subset of the reals.
-In particular, this game is dual to the Rothberger game, so the first
-player lacks a winning strategy.
diff --git a/spaces/S000147/properties/P000097.md b/spaces/S000147/properties/P000097.md
deleted file mode 100644
index 37fb68408b..0000000000
--- a/spaces/S000147/properties/P000097.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000147
-property: P000097
-value: true
----
-
-By construction.
diff --git a/spaces/S000147/properties/P000114.md b/spaces/S000147/properties/P000114.md
deleted file mode 100644
index 4824d533e3..0000000000
--- a/spaces/S000147/properties/P000114.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000147
-property: P000114
-value: true
----
-
-The space is an uncountable subset of $\mathbb R$.  Assuming CH, it necessarily has cardinality $\mathfrak c = \aleph_1$.
diff --git a/spaces/S000147/properties/P000150.md b/spaces/S000147/properties/P000150.md
deleted file mode 100644
index 1f578744ba..0000000000
--- a/spaces/S000147/properties/P000150.md
+++ /dev/null
@@ -1,11 +0,0 @@
----
-space: S000147
-property: P000150
-value: false
-refs:
-  - doi: 10.1016/S0166-8641(96)00075-2
-    name: The combinatorics of open covers II (Just et al)
----
-
-See Theorem 2.8 and the implication $\mathsf S_1(\Omega,\Omega) \implies \mathsf U_{\mathrm{fin}}(\Gamma,\Omega)$
-from Figure 3, both from {{doi:10.1016/S0166-8641(96)00075-2}}.
\ No newline at end of file
diff --git a/spaces/S000148/README.md b/spaces/S000148/README.md
deleted file mode 100644
index 8efb85c7a6..0000000000
--- a/spaces/S000148/README.md
+++ /dev/null
@@ -1,23 +0,0 @@
----
-uid: S000148
-name: (CH) A Luzin subset of the reals (The generic Lusin set $H$)
-aliases:
-  - Lusin subset of the reals
-ambiguous_construction: true
-# additional_axioms: CH
-refs:
-  - zb: 0389.54004
-    name: Luzin spaces (K. Kunen)
-  - doi: 10.1016/S0166-8641(96)00075-2
-    name: The combinatorics of open covers II (Just et al)
----
-
-An uncountable subset of the reals such that its intersection with
-every nowhere dense subset of the reals (equivalently,
-every meager subset of the reals) is countable.
-For background information, see the article {{zb:0389.54004}}, available at the [Topology Proceedings webpage](https://topology.nipissingu.ca/tp/reprints/v01/tp01021s.pdf).
-
-Note that the construction of such a set requires additional axioms beyond $ZFC$.
-
-Here we use the $CH$ construction from Theorem 2.13 of {{doi:10.1016/S0166-8641(96)00075-2}}
-in order to guarantee {P150}.
diff --git a/spaces/S000148/properties/P000017.md b/spaces/S000148/properties/P000017.md
deleted file mode 100644
index dd4b991504..0000000000
--- a/spaces/S000148/properties/P000017.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-space: S000148
-property: P000017
-value: false
-refs:
-- mathse: 4744210
-  name: Why can't a Lusin set be sigma-compact?
----
-
-Shown in {{mathse:4744210}}.
diff --git a/spaces/S000148/properties/P000046.md b/spaces/S000148/properties/P000046.md
deleted file mode 100644
index ffd47e2af0..0000000000
--- a/spaces/S000148/properties/P000046.md
+++ /dev/null
@@ -1,9 +0,0 @@
----
-space: S000148
-property: P000046
-value: true
----
-
-Assume there are $a,b\in X$ with $a<b$ such that there is a path from $a$ to $b$. By the intermediate value theorem, $(a,b)\subseteq X$.
-Take a copy $B$ of the Cantor set contained within the interval $(a,b)$. 
-Then $B$ is a nowhere dense subset of $\mathbb{R}$, but $B\cap X=B$ is uncountable, which contradicts $X$ being a Luzin set.
diff --git a/spaces/S000148/properties/P000056.md b/spaces/S000148/properties/P000056.md
deleted file mode 100644
index 968cb1595c..0000000000
--- a/spaces/S000148/properties/P000056.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000148
-property: P000056
-value: false
----
-
-Assume $X = \bigcup_{n\in \omega}U_n$, where $U_n$ is a nowhere dense subset of $X$ for all $n \in \omega$. Due to $X$ being a subspace of $\mathbb{R}$, the $U_n$'s are also nowhere dense in $\mathbb{R}$. As $X$ is uncountable, there is an $m \in \omega$, such that $U_m \cap X=U_m$ is uncountable, which contradicts $X$ being a Luzin set.
diff --git a/spaces/S000148/properties/P000065.md b/spaces/S000148/properties/P000065.md
deleted file mode 100644
index 4179fbc8ee..0000000000
--- a/spaces/S000148/properties/P000065.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000148
-property: P000065
-value: true
----
-
-The space is an uncountable subset of $\mathbb R$.  Assuming CH, it necessarily has cardinality $\mathfrak c = \aleph_1$.
diff --git a/spaces/S000148/properties/P000097.md b/spaces/S000148/properties/P000097.md
deleted file mode 100644
index 3d43ab120f..0000000000
--- a/spaces/S000148/properties/P000097.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000148
-property: P000097
-value: true
----
-
-By construction.
diff --git a/spaces/S000148/properties/P000114.md b/spaces/S000148/properties/P000114.md
deleted file mode 100644
index b79c97893d..0000000000
--- a/spaces/S000148/properties/P000114.md
+++ /dev/null
@@ -1,7 +0,0 @@
----
-space: S000148
-property: P000114
-value: true
----
-
-The space is an uncountable subset of $\mathbb R$.  Assuming CH, it necessarily has cardinality $\mathfrak c = \aleph_1$.
diff --git a/spaces/S000148/properties/P000150.md b/spaces/S000148/properties/P000150.md
deleted file mode 100644
index 53784ca025..0000000000
--- a/spaces/S000148/properties/P000150.md
+++ /dev/null
@@ -1,11 +0,0 @@
----
-space: S000148
-property: P000150
-value: true
-refs:
-- doi: 10.1016/S0166-8641(96)00075-2
-  name: The combinatorics of open covers II (Just et al)
----
-
-Guaranteed from the construction in Theorem 2.13 of
-{{doi:10.1016/S0166-8641(96)00075-2}}.