Reflections on dyadic compacta.

DOI10.1016/S0166-8641(03)00214-1MaRDI QIDQ1426522zbMATH OpenFDO

Publication date 14 March 2004

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0166-8641(03)00214-1

dyadic compacta elementary submodel reflection

Large cardinals (03E55) Applications of set theory (03E75) Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Compactness (54D30) Topological groups (topological aspects) (54H11)

Review text

Let \(M\) be an elementary submodel of~\(H(\theta)\) for ``sufficiently large regular cardinal~\(\theta\). For a~topological space \(\langle X,\mathcal T\rangle\in M\) let \(X_M\) be \(X\cap M\) with topology generated by \(\{U\cap M:U\in\mathcal T\cap M\}\). The paper is a~contribution to the study of when \(X_M\)~characterizes~\(X\). Let \(D\) be the two-point discrete space. A~space is said to be a~dyadic compactum if it is a~continuous image of~\(D^\kappa\) for some~\(\kappa\). The theorem proved in the paper: Suppose \(X_M\)~is an uncountable dyadic compactum and the least cardinal~\(\kappa\) of a~basis for~\(X_M\) is a~member of~\(M\). If \(0^\sharp\) does not exist or \(\kappa\)~is less than the first inaccessible cardinal, then \(X_M=X\). This theorem can be applied to compact topological groups as they are uncountable dyadic compacta.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Reflections on dyadic compacta.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1426522)