Abstract:A cohesive power of a computable structure is an effective ultrapower where a cohesive set acts as an ultrafilter. Let $\omega$, $\zeta$, and $\eta$ denote the respective order-types of the natural numbers, the integers, and the rationals. We study cohesive powers of computable copies of $\omega$ over $\Delta_2$ cohesive sets. We show that there is a computable copy $\mathcal{L}$ of $\omega$ such that, for every $\Delta_2$ cohesive set $C$, the cohesive power of $\mathcal{L}$ over $C$ has order-type $\omega + \eta$. This improves an earlier result of Dimitrov, Harizanov, Morozov, Shafer, A. Soskova, and Vatev by generalizing from $\Sigma_1$ cohesive sets to $\Delta_2$ cohesive sets and by computing a single copy of $\omega$ that has the desired cohesive power over all $\Delta_2$ cohesive sets. Furthermore, our result is optimal in the sense that $\Delta_2$ cannot be replaced by $\Pi_2$. More generally, we show that if $X \subseteq \mathbb{N} \setminus \{0\}$ is a Boolean combination of $\Sigma_2$ sets, thought of as a set of finite order-types, then there is a computable copy $\mathcal{L}$ of $\omega$ where the cohesive power of $\mathcal{L}$ over any $\Delta_2$ cohesive set has order-type $\omega + \sigma(X \cup \{\omega + \zeta\eta + \omega^*\})$. If $X$ is finite and non-empty, then there is also a computable copy $\mathcal{L}$ of $\omega$ where the cohesive power of $\mathcal{L}$ over any $\Delta_2$ cohesive set has order-type $\omega + \sigma(X)$. An unexpected byproduct of our work is a new method for constructing infinite $\Pi_1$ sets that do not have $\Delta_2$ cohesive subsets. In fact, we construct an infinite $\Pi_1$ set that does not have a $\Delta_2$ p-cohesive subset. Infinite $\Pi_1$ sets without $\Delta_2$ r-cohesive subsets generalize D. Martin's classic co-infinite c.e. set with no maximal superset and have appeared in the work of Lerman, Shore, and Soare.

Constructing Ultrapowers from Elementary Extensions of Full Clones

A simple algebraic characterization of nonstandard extensions

Ultrafilter extensions of bounded graphs are elementary

Universal Clone Algebra

Almost refinement, reaping, and ultrafilter numbers

Effective powers of $ω$ over $Δ_2$ cohesive sets and infinite $Π_1$ sets without $Δ_2$ cohesive subsets

Exponentiations of ultrafilters

Ultraproducts in abstract categorical logic

Ultrafilters in Reverse Mathematics

Assembly of Constructible Factorization Algebras

Exploring New Topologies for the Theory of Clones

End extending models of set theory via power admissible covers

Clonoids between modules

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle

Model theory and Ultrapower Embedding Problems in Operator Algebras

Constructing the Constructible Universe Constructively

Convergent sequences in iterated ultrapowers as p -compact groups

A note on Łoś's Theorem without the Axiom of Choice

On Congruences on Ultraproducts of Algebraic Structures

$\widetilde{\mid}\hspace{1mm}$-divisibility of ultrafilters II: The big picture

Clarifying ordinals