From e9b789b7adbc8b143e4374b43bf55cbf83050e82 Mon Sep 17 00:00:00 2001
From: Steven Clontz <steven.clontz@gmail.com>
Date: Wed, 13 Aug 2025 19:29:31 -0500
Subject: [PATCH 1/6] Add P217 Toronto

---
 properties/P000217.md | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 properties/P000217.md

diff --git a/properties/P000217.md b/properties/P000217.md
new file mode 100644
index 0000000000..95810ea238
--- /dev/null
+++ b/properties/P000217.md
@@ -0,0 +1,15 @@
+---
+uid: P000217
+name: Toronto
+refs:
+- mo: 24144
+  name: Is there an uncountable, non-discrete, Hausdorff Toronto space?
+---
+
+Any subspace $Y \subseteq X$ with $|Y|=|X|$ is homeomorphic to $X$. 
+
+----
+#### Meta-properties
+
+- This property is only studied by mathematicians in social situations where
+  good food and drink is available.

From 0e95cccba1b638a8555950933a70dcd5636e60ea Mon Sep 17 00:00:00 2001
From: Steven Clontz <steven.clontz@gmail.com>
Date: Wed, 13 Aug 2025 19:32:05 -0500
Subject: [PATCH 2/6] modify meta-property

---
 properties/P000217.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/properties/P000217.md b/properties/P000217.md
index 95810ea238..3db4eca812 100644
--- a/properties/P000217.md
+++ b/properties/P000217.md
@@ -11,5 +11,6 @@ Any subspace $Y \subseteq X$ with $|Y|=|X|$ is homeomorphic to $X$.
 ----
 #### Meta-properties
 
-- This property is only studied by mathematicians in social situations where
-  good food and drink is available.
+- According to [Alan Dow](https://math.charlotte.edu/directory/alan-dow/),
+  this property may only be discussed by mathematicians when enjoying
+  a sufficient amount of alcohol.

From bafacc70e58e4a5bdf562cd800dfbd5162548989 Mon Sep 17 00:00:00 2001
From: Steven Clontz <steven.clontz@gmail.com>
Date: Sun, 17 Aug 2025 16:19:03 -0500
Subject: [PATCH 3/6] Update P000217.md

---
 properties/P000217.md | 19 +++++++++++++------
 1 file changed, 13 insertions(+), 6 deletions(-)

diff --git a/properties/P000217.md b/properties/P000217.md
index 3db4eca812..b26b618d98 100644
--- a/properties/P000217.md
+++ b/properties/P000217.md
@@ -4,13 +4,20 @@ name: Toronto
 refs:
 - mo: 24144
   name: Is there an uncountable, non-discrete, Hausdorff Toronto space?
+- zb: "0718.54001"
+  name: Open Problems in Topology (van Mill, Reed)
+- zb: "0755.54002"
+  name: Partitioning topological spaces (Weiss)
 ---
 
-Any subspace $Y \subseteq X$ with $|Y|=|X|$ is homeomorphic to $X$. 
+Any subspace $Y \subseteq X$ with $|Y|=|X|$ is homeomorphic to $X$.
 
-----
-#### Meta-properties
+In {{zb:0755.54002}}, William Weiss notes (as quoted by Andrés E. Caicedo
+in {{mo:24144}}):
 
-- According to [Alan Dow](https://math.charlotte.edu/directory/alan-dow/),
-  this property may only be discussed by mathematicians when enjoying
-  a sufficient amount of alcohol.
+> [This] is of course related to the Toronto seminar problem of whether there is
+> an uncountable non-discrete space which is homeomorphic to each of its uncountable subspaces.
+> There are rules for working on this latter problem. The problem can be worked upon only in
+> groups of three or more mathematicians, and it is required that alcohol, preferably beer,
+> be present during this time. Contact anyone in the Toronto Set Theory Seminar for the current
+> status of the problem. It may never be solved."

From ec0c3c3778a158a74edbe374b43d1a065006c691 Mon Sep 17 00:00:00 2001
From: Steven Clontz <steven.clontz@gmail.com>
Date: Sun, 17 Aug 2025 16:23:23 -0500
Subject: [PATCH 4/6] Update P000217.md

---
 properties/P000217.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/properties/P000217.md b/properties/P000217.md
index b26b618d98..15f9026f8c 100644
--- a/properties/P000217.md
+++ b/properties/P000217.md
@@ -8,6 +8,8 @@ refs:
   name: Open Problems in Topology (van Mill, Reed)
 - zb: "0755.54002"
   name: Partitioning topological spaces (Weiss)
+- wikipedia: Toronto_space
+  name: Toronto space
 ---
 
 Any subspace $Y \subseteq X$ with $|Y|=|X|$ is homeomorphic to $X$.

From 8b5c8a6f03cf89859e1b244c491d46d1c71b4ce5 Mon Sep 17 00:00:00 2001
From: Moniker1998 <88507423+Moniker1998@users.noreply.github.com>
Date: Fri, 29 Aug 2025 21:13:11 +0200
Subject: [PATCH 5/6] Update P000217.md

---
 properties/P000217.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/properties/P000217.md b/properties/P000217.md
index 15f9026f8c..e740f9a187 100644
--- a/properties/P000217.md
+++ b/properties/P000217.md
@@ -1,5 +1,5 @@
 ---
-uid: P000217
+uid: P000219
 name: Toronto
 refs:
 - mo: 24144

From 33254734cf6b426933f45440c7b374ebf595bc02 Mon Sep 17 00:00:00 2001
From: Moniker1998 <88507423+Moniker1998@users.noreply.github.com>
Date: Fri, 29 Aug 2025 21:13:24 +0200
Subject: [PATCH 6/6] Rename P000217.md to P000219.md

---
 properties/{P000217.md => P000219.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename properties/{P000217.md => P000219.md} (100%)

diff --git a/properties/P000217.md b/properties/P000219.md
similarity index 100%
rename from properties/P000217.md
rename to properties/P000219.md