Topic: Proof Strategies in Topology

Designing Open Covers to Disprove Compactness

Deriving Uniform Control From Compactness

Constructing Witness Sequences From Countable Neighborhood Bases

Choosing Between Bases, Nets, and Covers

Basis Refinement Tests for Comparing Topologies

Auditing Topological Proofs for Missing Hypotheses

Applying Sequential Criteria in First-Countable Spaces