Tukey-order with models on Pawlikowski's theorems

TL;DR

This paper introduces the concept of Tukey-order with models to analyze relationships between cardinal characteristics of the continuum, extending Vojtáš's Tukey-order to prove implications involving models of ZFC.

Contribution

It extends the Tukey-order framework to models, enabling proofs of implications between model-specific cardinal characteristics.

Findings

Introduces Tukey-order with models for continuum characteristics.

Proves key implications using the new Tukey-order framework.

Extends Vojtáš's Tukey-order to model-based contexts.

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.