Weak Baumgartner axioms and universal spaces
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913726899159040 |
|---|---|
| author | Switzer, Corey Bacal |
| author_facet | Switzer, Corey Bacal |
| contents | If $X$ is a topological space and $κ$ is a cardinal then $\mathsf{BA}_κ(X)$ is the statement that for each pair $A, B \subseteq X$ of $κ$-dense subsets there is an autohomeomorphism $h:X \to X$ mapping $A$ to $B$. In particular $\mathsf{BA}_{\aleph_1} (\mathbb R)$ is equivalent the celebrated Baumgartner axiom on isomorphism types of $\aleph_1$-dense linear orders. In this paper we consider two natural weakenings of $\mathsf{BA}_κ(X)$ which we call $\mathsf{BA}^-_κ(X)$ and $\mathsf{U}_κ(X)$ for arbitrary perfect Polish spaces $X$. We show that the first of these, though properly weaker, entails many of the more striking consequences of $\mathsf{BA}_κ(X)$ while the second does not. Nevertheless the second is still independent of $\mathsf{ZFC}$ and we show in particular that it fails in the Cohen and random models. This motivates several new classes of pairs of spaces which are ``very far from being homeomorphic" which we call ``avoiding", ``strongly avoiding", and ``totally avoiding". The paper concludes by studying these classes, particularly in the context of forcing theory, in an attempt to gauge how different weak Baumgartner axioms may be separated. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_10029 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Weak Baumgartner axioms and universal spaces Switzer, Corey Bacal Logic General Topology If $X$ is a topological space and $κ$ is a cardinal then $\mathsf{BA}_κ(X)$ is the statement that for each pair $A, B \subseteq X$ of $κ$-dense subsets there is an autohomeomorphism $h:X \to X$ mapping $A$ to $B$. In particular $\mathsf{BA}_{\aleph_1} (\mathbb R)$ is equivalent the celebrated Baumgartner axiom on isomorphism types of $\aleph_1$-dense linear orders. In this paper we consider two natural weakenings of $\mathsf{BA}_κ(X)$ which we call $\mathsf{BA}^-_κ(X)$ and $\mathsf{U}_κ(X)$ for arbitrary perfect Polish spaces $X$. We show that the first of these, though properly weaker, entails many of the more striking consequences of $\mathsf{BA}_κ(X)$ while the second does not. Nevertheless the second is still independent of $\mathsf{ZFC}$ and we show in particular that it fails in the Cohen and random models. This motivates several new classes of pairs of spaces which are ``very far from being homeomorphic" which we call ``avoiding", ``strongly avoiding", and ``totally avoiding". The paper concludes by studying these classes, particularly in the context of forcing theory, in an attempt to gauge how different weak Baumgartner axioms may be separated. |
| title | Weak Baumgartner axioms and universal spaces |
| topic | Logic General Topology |
| url | https://arxiv.org/abs/2502.10029 |