Super Black Boxes Revisited
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866915788369166336 |
|---|---|
| author | Shelah, Saharon |
| author_facet | Shelah, Saharon |
| contents | Let $ κ, θ< λ$ be cardinals, with $λ$ and $κ$ regular. Concentrating on a simple case, we say that the triple $(λ,κ,θ)$ has a Super Black Box when the following holds.
For some stationary $S \subseteq \{δ< λ: cf(δ) = κ\}$ and $\overline C = \langle C_δ: δ\in S \rangle$, where $C_δ$ is a club of $δ$ of order type $κ$, for every coloring $\overline F = \langle F_δ: δ\in S \rangle$ with $F_δ: {}^{C_δ}λ\to θ$, there exists $\langle c_δ: δ\in S\rangle \in {}^S\!θ$ such that for every $f : λ\to θ$, for stationarily many $δ\in S$, we have $F_δ(f \upharpoonright C_δ) = c_δ$.
In an earlier work, it was proved (along with much more) that for a class of cardinals $λ$ this holds for many pairs $(κ,θ)$. E.g.~$κ< \aleph_ω$ is large enough, and $\beth_ω(θ) < λ$. However, the most interesting cases (at least with regards to Abelian groups) are $κ= \aleph_0,\aleph_1$ (which have not been covered yet).
Here we restrict ourselves to the case where $\overline F$ is a {so-called} \emph{continuous coloring}, which includes the case where $F_δ$ is computed from some $$ \big\langle F_{δ,β}'(f \upharpoonright (C_δ\cap β)) : β\in C_δ\big\rangle. $$
This covers the cases we have in mind. We mainly prove results without any other caveats: e.g.
For every regular $κ$ and $θ$ there exists such a $λ$.
We also deal with having multiple {$\bar C$-s}, and the existence of quite free subsets of ${}^κμ$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_09592 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Super Black Boxes Revisited Shelah, Saharon Logic Let $ κ, θ< λ$ be cardinals, with $λ$ and $κ$ regular. Concentrating on a simple case, we say that the triple $(λ,κ,θ)$ has a Super Black Box when the following holds. For some stationary $S \subseteq \{δ< λ: cf(δ) = κ\}$ and $\overline C = \langle C_δ: δ\in S \rangle$, where $C_δ$ is a club of $δ$ of order type $κ$, for every coloring $\overline F = \langle F_δ: δ\in S \rangle$ with $F_δ: {}^{C_δ}λ\to θ$, there exists $\langle c_δ: δ\in S\rangle \in {}^S\!θ$ such that for every $f : λ\to θ$, for stationarily many $δ\in S$, we have $F_δ(f \upharpoonright C_δ) = c_δ$. In an earlier work, it was proved (along with much more) that for a class of cardinals $λ$ this holds for many pairs $(κ,θ)$. E.g.~$κ< \aleph_ω$ is large enough, and $\beth_ω(θ) < λ$. However, the most interesting cases (at least with regards to Abelian groups) are $κ= \aleph_0,\aleph_1$ (which have not been covered yet). Here we restrict ourselves to the case where $\overline F$ is a {so-called} \emph{continuous coloring}, which includes the case where $F_δ$ is computed from some $$ \big\langle F_{δ,β}'(f \upharpoonright (C_δ\cap β)) : β\in C_δ\big\rangle. $$ This covers the cases we have in mind. We mainly prove results without any other caveats: e.g. For every regular $κ$ and $θ$ there exists such a $λ$. We also deal with having multiple {$\bar C$-s}, and the existence of quite free subsets of ${}^κμ$. |
| title | Super Black Boxes Revisited |
| topic | Logic |
| url | https://arxiv.org/abs/2602.09592 |