Skip to content

Has closed discrete subset of size 𝔠 (part 3) #1597

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
prabau merged 4 commits into from
Jan 20, 2026
Merged

Has closed discrete subset of size 𝔠 (part 3) #1597

Show file tree
Hide file tree
Changes from 2 commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
b10b4fc
Has closed discrete subset of size 𝔠 (part 3)
yhx-12243 Jan 16, 2026
0d2bae6
T309 -> T838
prabau Jan 16, 2026
0b077a2
Update theorems/T000838.md
yhx-12243 Jan 20, 2026
5cc4c9d
Update T000838.md
yhx-12243 Jan 20, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 0 additions & 16 deletions spaces/S000060/properties/P000032.md
View file
Open in desktop

This file was deleted.

10 changes: 0 additions & 10 deletions spaces/S000070/properties/P000032.md
View file
Open in desktop

This file was deleted.

10 changes: 0 additions & 10 deletions spaces/S000074/properties/P000032.md
View file
Open in desktop

This file was deleted.

18 changes: 18 additions & 0 deletions theorems/T000838.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
---
uid: T000838
if:
and:
- P000026: true
- P000227: true
then:
P000032: false
refs:
- zb: "0684.54001"
name: General Topology (Engelking, 1989)
- zb: "1116.54006"
name: Normality and countable paracompactness of hyperspaces of ordinals. (Kemoto, Nobuyuki)
Copy link
Copy Markdown
Collaborator

@Moniker1998 Moniker1998 Jan 16, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Isn't this just one author?

Copy link
Copy Markdown
Collaborator

@prabau prabau Jan 17, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I agree. You can use (N. Kemoto) for the author.

---

See Exercise 5.2.C(b) in {{zb:0684.54001}}.

See also Claim in {{zb:1116.54006}}.
Comment thread
yhx-12243 marked this conversation as resolved.
Outdated