### References & Citations

# Mathematics > Logic

# Title: Absolute model companionship, forcibility, and the continuum problem

(Submitted on 6 Sep 2021 (v1), last revised 16 Jan 2022 (this version, v4))

Abstract: Absolute model companionship (AMC) is a strict strengthening of model companionship defined as follows: For a theory $T$, $T_{\exists\vee\forall}$ denotes the logical consequences of $T$ which are boolean combinations of universal sentences. $T^*$ is the AMC of $T$ if it is model complete and $T_{\exists\vee\forall}=T^*_{\exists\vee\forall}$. The $\{+,\cdot,0,1\}$-theory $\mathsf{ACF}$ of algebraically closed field is the model companion of the theory of $\mathsf{Fields}$ but not its AMC as $\exists x(x^2+1=0)$ is in $\mathsf{ACF}_{\exists\vee\forall}\setminus \mathsf{Fields}_{\exists\vee\forall}$.

We use AMC to study the continuum problem and to gauge the expressive power of forcing. We show that (a definable version of) $2^{\aleph_0}=\aleph_2$ is the unique solution to the continuum problem which can be in the AMC of a "partial Morleyization" of the $\in$-theory $\mathsf{ZFC}+$"there are class many supercompact cardinals". We also show that (assuming large cardinals) forcibility overlaps with the apparently weaker notion of consistency for any mathematical problem $\psi$ expressible as a $\Pi_2$-sentence of a (very large fragment of) third order arithmetic ($\mathsf{CH}$, the Suslin hypothesis, the Whitehead conjecture for free groups are a small sample of such problems $\psi$).

Partial Morleyizations can be described as follows: let $\mathsf{Form}_{\tau}$ be the set of first order $\tau$-formulae; for $A\subseteq \mathsf{Form}_\tau$, $\tau_A$ is the expansion of $\tau$ adding atomic relation symbols $R_\phi$ for all formulae $\phi$ in $A$ and $T_{\tau,A}$ is the $\tau_A$-theory asserting that each $\tau$-formula $\phi(\vec{x})\in A$ is logically equivalent to the corresponding atomic formula $R_\phi(\vec{x})$. For a $\tau$-theory $T$ $T+T_{\tau,A}$ is the partial Morleyization of $T$ induced by $A\subseteq \mathsf{Form}_\tau$.

## Submission history

From: Matteo Viale [view email]**[v1]**Mon, 6 Sep 2021 08:32:07 GMT (94kb)

**[v2]**Mon, 27 Sep 2021 11:19:59 GMT (100kb)

**[v3]**Thu, 13 Jan 2022 08:10:12 GMT (101kb)

**[v4]**Sun, 16 Jan 2022 10:19:14 GMT (102kb)

Link back to: arXiv, form interface, contact.