We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

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

Authors: Matteo Viale
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$.
Comments: This paper systematizes and improves the results appearing in arxiv submissions arXiv:2101.07573, arXiv:2003.07114, arXiv:2003.07120
Subjects: Logic (math.LO)
MSC classes: 03C10, 03E57
Cite as: arXiv:2109.02285 [math.LO]
  (or arXiv:2109.02285v4 [math.LO] for this version)

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.