math

(what is this?)

# Title: Tukey-order with models on Pawlikowski's theorems

Abstract: In J. Symbolic Logic,51(4): 957-968, 1986, Pawlikowski proved that, if $r$ is a random real over $\mathbf{N}$, and $c$ is Cohen real over $\mathbf{N}[r]$, then
(a) in $\mathbf{N}[r][c]$ there is a Cohen real over $\mathbf{N}[c]$, and
(b) $2^\omega\cap\mathbf{N}[c]\notin\mathcal{N}\cap\mathbf{N}[r][c]$, so in $\mathbf{N}[r][c]$ there is no random real over $\mathbf{N}[c]$.
To prove this, Pawlikowski proposes the following notion: Given two models $\mathbf{N}\subseteq \mathbf{M}$ of ZFC, we associate with a cardinal characteristic $\mathfrak{x}$ of the continuum, a sentence $\mathfrak{x}_\mathbf{N}^\mathbf{M}$ saying that in $\mathbf{M}$, the reals in $\mathbf{N}$ give an example of a family fulfilling the requirements of the cardinal. So to prove (a) and (b), it suffices to prove that
(a') $\mathrm{cov}(\mathcal{M})_{\mathbf{N}[c]}^{\mathbf{M}[c]}\Rightarrow\mathrm{cof}(\mathcal{M})_{\mathbf{N}}^{\mathbf{M}}\Rightarrow\mathrm{cov}(\mathcal{N})_{\mathbf{N}}^{\mathbf{M}}$, and
(b') $\mathrm{cov}(\mathcal{M})_\mathbf{N}^\mathbf{M}\Rightarrow\mathrm{add}(\mathcal{M})_{\mathbf{N}}^{\mathbf{M}}\Rightarrow\mathrm{non}(\mathcal{M})_{\mathbf{N}[c]}^{\mathbf{M}[c]}\Rightarrow\mathrm{cov}(\mathcal{N})_{\mathbf{N}[c]}^{\mathbf{M}[c]}$.
In this paper, we introduce the notion of Tukey-order with models, which expands the concept of Tukey-order introduced by Vojt\'{a}\v{s} (Israel Math. Conf. Proc. 6: 619-643, 1991) to prove expressions of the form $\mathfrak{x}_\mathbf{N}^\mathbf{M}\Rightarrow\mathfrak{y}_\mathbf{N}^\mathbf{M}$. In particular, we show (a') and (b') using Tukey-order with models.
 Comments: 17 pages, 4 figures. RIMS Set Theory Workshop: Reals and Topology. November 16 - 20, 2020 Subjects: Logic (math.LO) MSC classes: 03E17, 03E35, 03E40 Journal reference: Kyoto Daigaku Suurikaiseki Kenkyuusho Koukyuuroku 2020 Cite as: arXiv:2109.00736 [math.LO] (or arXiv:2109.00736v1 [math.LO] for this version)

## Submission history

From: Miguel Antonio Cardona-Montoya [view email]
[v1] Thu, 2 Sep 2021 06:28:44 GMT (56kb,D)

Link back to: arXiv, form interface, contact.