---
title: Pre-Tukey Reducibility in Directed Sets
url: https://www.emergentmind.com/topics/pre-tukey-reducibility
type: topic
---

# Pre-Tukey Reducibility in Directed Sets

Searching arXiv for the most relevant papers on pre-Tukey reducibility and adjacent Tukey frameworks.
Pre-Tukey reducibility is a generalization of Tukey reducibility between directed sets defined by passing from a directed set \(E\) to its completion \(E^*\) of non-empty upward-closed subsets ordered by reverse inclusion. It was introduced as a choice-free extension of Tukey reducibility that works well in \(\mathsf{ZF}\), and it is designed to retain the cofinal-type perspective of classical Tukey theory while avoiding the need to select single witnesses from nonempty families [2507.07309].

## 1. Definition and basic formalism

The underlying setting is the order theory of directed sets. A directed set is a poset in which every finite set has an upper bound, and a \(\sigma\)-directed set is a poset in which every countable set has an upper bound. For directed sets \((D,\le_D)\) and \((E,\le_E)\), classical Tukey theory uses either Tukey maps \(f:D\to E\), which send unbounded sets to unbounded sets, or convergent maps \(f:D\to E\), which send cofinal sets to cofinal sets [2507.07309].

The new ingredient is the completion
\[
(D,\le_D)^*,
\]
defined as the directed set of all non-empty \(\le_D\)-upward closed subsets of \(D\), ordered by reverse inclusion. This completion carries a canonical cofinal embedding of \(D\) into \(D^*\) by
\[
d\longmapsto \{d'\in D\mid d'\ge_D d\}.
\]
Pre-Tukey reducibility is then defined by
\[
(D,\le_D)\preceq_{pT}(E,\le_E)\iff (D,\le_D)\preceq_T(E,\le_E)^*.
\]
The associated equivalence relation is denoted \(\equiv_{pT}\) [2507.07309].

A direct reformulation uses set-valued witnesses. A pre-Tukey map from \((D,\le_D)\) to \((E,\le_E)\) is a map \(\pi:D\to P(E)\) such that \(\pi(d)\neq\emptyset\) for all \(d\in D\), and
\[
\forall e\in E\ \exists d\in D\ \forall d'\in D\ 
\bigl(\pi(d')\cap e\downarrow_E\neq\emptyset \Rightarrow d'\le_D d\bigr).
\]
Dually, a pre-convergent map from \((D,\le_D)\) to \((E,\le_E)\) is a map \(\sigma:D\to P(E)\) such that \(\sigma(d)\neq\emptyset\) for all \(d\in D\), and
\[
\forall e\in E\ \exists d\in D\ \forall d'\in D\
\bigl(d\le_D d' \Rightarrow \sigma(d')\subseteq e\uparrow_E\bigr).
\]
These formulations are equivalent to \(\preceq_{pT}\) [2507.07309].

## 2. Relation to ordinary Tukey reducibility and the role of choice

Pre-Tukey reducibility extends ordinary Tukey reducibility. If \(f:D\to E\) is a Tukey map, then
\[
\pi_f(d)=f(d)\uparrow_{\le_E}
\]
is a pre-Tukey map. Likewise, an ordinary convergent map yields a pre-convergent map by passing to upward closures [2507.07309].

The distinction appears when witnesses are multivalued. If \(\pi:D\to P(E)\) is a pre-Tukey map and one can choose a point \(f(d)\in\pi(d)\) for every \(d\in D\), then the chosen map \(f:D\to E\) is an ordinary Tukey map. The same selection principle converts a pre-convergent map into an ordinary convergent map. Consequently, under \(AC\), pre-Tukey reducibility and classical Tukey reducibility coincide [2507.07309].

The motivation for the new notion is precisely that such selections need not exist in \(\mathsf{ZF}\). Pre-Tukey reducibility replaces single witnesses by non-empty sets of possible witnesses, thereby preserving the basic comparison framework without assuming global choice. The paper introducing the notion explicitly asks whether the coincidence of the Tukey relation and the pre-Tukey relation implies \(AC\) [2507.07309].

## 3. Structural properties and cofinal similarity

Pre-Tukey reducibility is a preorder, and \(\equiv_{pT}\) is an equivalence relation. Its main structural theorem is a choice-free analogue of Tukey’s cofinal-similarity theorem: two directed sets are pre-Tukey equivalent if and only if they are both cofinally embeddable into a common directed set [2507.07309].

This result is significant because it shows that the new relation does not merely weaken Tukey reducibility. It still captures cofinal type in the sense that \(\equiv_{pT}\) is exactly the equivalence relation of common cofinal embeddability, now proved without appealing to \(AC\) [2507.07309].

A canonical example separates pre-Tukey reducibility from ordinary Tukey reducibility in \(\mathsf{ZF}\). Let \(\mathrm{WO}\subseteq\omega^\omega\) be the reals coding well-orderings of \(\omega\), ordered by \(\trianglelefteq\) via order type and then lexicographic refinement. If there is no injection from \(\omega_1\) into \(\omega^\omega\), then there is no Tukey map from \((\omega_1,\le)\) to \((\mathrm{WO},\trianglelefteq)\). Nevertheless,
\[
\pi(\xi)=\{x\in \mathrm{WO}\mid o(x)=\xi\}
\]
is a pre-Tukey map, and hence
\[
(\omega_1,\le)\equiv_{pT}(\mathrm{WO},\trianglelefteq).
\]
The example isolates the exact role of multivalued witnesses: pre-Tukey reducibility can compare structures whose classical Tukey comparison would require choosing one code for each countable ordinal [2507.07309].

## 4. Comparison theorems for \(\sigma\)-directed orders

The principal applications concern the \(\sigma\)-directed orders
\[
(\omega^\omega,\leq^*),\quad (M,\subseteq),\quad (N,\subseteq),\quad (\omega_1,\leq),\quad ([\omega^\omega]^\omega,\subseteq),
\]
where \(M\) is the meager ideal on \(2^\omega\) and \(N\) is the null ideal on \(2^\omega\). The ambient hypothesis is
\[
(\star)\colon\ \omega_1 \text{ is inaccessible in }L[S]\text{ for any set }S\text{ of ordinals, and every subset of }\omega^\omega\text{ is }\infty\text{-Borel},
\]
a condition that holds in the Solovay model obtained from an inaccessible cardinal and in \(L(\mathbb R)\) satisfying \(\mathsf{AD}\) [2507.07309].

Under \(ZF+DC+(\star)\), the paper establishes the strict pattern
\[
(\omega^\omega,\leq^*) \preceq_{pT} (M,\subseteq) \preceq_{pT} (N,\subseteq) \preceq_{pT} ([\omega^\omega]^\omega,\subseteq),
\]
together with
\[
(\omega_1,\leq)\preceq_{pT}([\omega^\omega]^\omega,\subseteq).
\]
The reverse arrows fail in the places indicated by the comparison diagram: in particular,
\[
(M,\subseteq)\npreceq_{pT}(\omega^\omega,\leq^*),\qquad
(N,\subseteq)\npreceq_{pT}(M,\subseteq),
\]
and \((\omega_1,\leq)\) is incomparable with each of \((\omega^\omega,\leq^*)\), \((M,\subseteq)\), and \((N,\subseteq)\) [2507.07309].

A characteristic proof is the reduction
\[
(M,\subseteq)\preceq_{pT}(N,\subseteq).
\]
In \(\mathsf{ZFC}\), such comparisons are often proved by choosing a particular code or decomposition of each meager set. The pre-Tukey proof avoids this by taking, for each meager set, the non-empty set of all compatible decompositions and using that family as the image of a pre-Tukey map. This is the paradigmatic use of the new notion: it replaces a non-canonical choice by a multivalued witness while preserving the desired cofinal comparison [2507.07309].

The same paper also proves a general lemma for \(\sigma\)-directed orders on \(\omega^\omega\): if \((\omega^\omega,\sqsubseteq)\) is \(\sigma\)-directed, then
\[
(\omega^\omega,\sqsubseteq)\preceq_{pT}([\omega^\omega]^\omega,\subseteq),
\]
via the map sending a countable set \(X\) to the set of all common upper bounds of \(X\) [2507.07309].

## 5. Place within the broader Tukey literature

The term “pre-Tukey reducibility” is highly specific. Most adjacent literatures do not use it, even when they introduce Tukey-like generalizations or refinements. In categorical Ramsey theory, the analogue is the notion of pre-adjunction, and a category \(B\) is declared Tukey reducible to a category \(C\) when there is a pre-adjunction from \(B\) to \(C\). On essentially countable directed preorders viewed as thin categories, this reproduces classical Tukey reducibility exactly [2307.09100].

In the theory of analytic directed orders, a different weakening appears: the relation \(D\leq^{\omega}E\), defined by requiring preimages of \(\sigma\)-bounded sets to be \(\sigma\)-bounded. It is explicitly weaker than \(D\le_T E\) and preserves corresponding cardinal-invariant inequalities, but it is not the same notion as pre-Tukey reducibility [1502.04426].

A different refinement occurs in the Vojtáš framework of relational systems. There the model-relative relation
\[
R\preceq_{N_0,N}^{M_0,M}R'
\]
adds model-membership constraints to ordinary Tukey-style morphisms and is used to transfer statements of the form \(d(R')_N^M\Rightarrow d(R)_{N_0}^{M_0}\) and \(b(R)_{N_0}^{M_0}\Rightarrow b(R')_N^M\) [2109.00736].

Ultrafilter theory provides another nearby landscape. Several papers in that area explicitly note that they do not introduce a notion called pre-Tukey reducibility; instead they compare ordinary Tukey reducibility with stronger orders such as Rudin–Keisler and Rudin–Blass reducibility. In particular, \(\le_{RK}\) is stronger than \(\le_T\), and on P-points the Rudin–Keisler and Rudin–Blass orders coincide [1411.0084; 1401.8108]. These are precursor orders in a different sense: they are finer than Tukey reducibility, whereas pre-Tukey reducibility is a choice-free generalization of it.

## 6. Significance, strengthening phenomena, and open directions

Pre-Tukey reducibility is significant because it preserves the cofinal-type viewpoint of Tukey theory while removing the dependence on single-valued witnesses. It is therefore a generalization of Tukey reducibility that works well in \(\mathsf{ZF}\), yet under \(AC\) it collapses back to the classical relation [2507.07309].

The principal open problem attached directly to the notion is whether the converse to that collapse holds: does the coincidence of pre-Tukey and ordinary Tukey reducibility imply \(AC\)? This question isolates the set-theoretic strength of the multivalued completion principle built into \(E^*\) [2507.07309].

Recent work in adjacent directions has also isolated stronger witness notions inside ordinary Tukey theory. In particular, the “strong part of the Tukey spectrum” \(spec^*(A)\) for a set \(A\) of regular cardinals consists of those regular \(\kappa\) for which there is a witness \(\mathcal F\subseteq\prod A\) of size \(\kappa\) such that every \(\kappa\)-sized subfamily has unboundedly many unbounded coordinates. This is not a reducibility relation, but it strengthens ordinary spectrum membership and can be used in place of PCF-theoretic scales to lift the existence of Jónsson algebras from below a singular cardinal to its successor [2211.13361]. This suggests a broader pattern: current research develops Tukey theory in two complementary ways, by weakening it to a choice-free relation such as \(\preceq_{pT}\), and by strengthening its witnesses in settings where additional structure is needed.

Source: https://www.emergentmind.com/topics/pre-tukey-reducibility