Form equivalence class Howard-Rubin Number: 0
Statement:
Every super second countable subspace of \(\mathbb R\)is separable.
Howard-Rubin number: 0 AV
Citations (articles):
Gutierres [2004]
On first and second countable spaces and the axiom of choice
Connections (notes): Note [159]
Definitions for forms [0 AV], [8 AP] through [8 AS], [94 X], and Form 424 from Gutierres [2004].
References (books):
Back