A note on closed discrete subsets of separable (a)-spaces
Charles J. Morgan
Abstract
Charles J. Morgan
Abstract
We show that the existence of a T1 separable space with an uncountable closed discrete subset which satisfies relative versions of property (a) and local compactness implies the existence of small dominating families in the family of functions of ?1 into ?. Considering well-known relationships between small dominating families and large cardinals, it follows that if Y is an uncountable closed discrete subset of a T1 separable (a)-space X then there is no way to prove within ZFC that Y satisfies relative local compactness.
OpenAlex reports 2 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
We show that the existence of a T1 separable space with an uncountable closed discrete subset which satisfies relative versions of property (a) and local compactness implies the existence of small dominating families in the family of functions of ?1 into ?. Considering well-known relationships between small dominating families and large cardinals, it follows that if Y is an uncountable closed discrete subset of a T1 separable (a)-space X then there is no way to prove within ZFC that Y satisfies relative local compactness.
Key concepts: Uncountable set, Mathematics, Separable space, Compact space, Discrete space, Space (punctuation), Property (philosophy), Discrete mathematics