S155 LOTS

pi-base · Jan 30, 2025 · 982fece · 982fece
1 parent 73ef7c2
commit 982fece
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/spaces/S000155/properties/P000133.md b/spaces/S000155/properties/P000133.md
@@ -0,0 +1,10 @@
+---
+space: S000155
+property: P000133
+value: true
+refs:
+- mathse: 4833761
+  name: LOTS and radial properties for generalized Fort/Fortissimo spaces
+---
+
+See Proposition 2 in {{mathse:4833761}}, where this space is denoted by $F_{\omega_1,\omega_1}$.