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: The model-companionship spectrum of set theory, generic absoluteness, and the Continuum problem

Authors: Matteo Viale
Abstract: We show that for $\Pi_2$-properties of second or third order arithmetic as formalized in appropriate natural signatures the apparently weaker notion of forcibility overlaps with the standard notion of consistency (assuming large cardinal axioms).
Among such $\Pi_2$-properties we mention: the negation of the Continuum hypothesis, Souslin Hypothesis, the negation of Whitehead's conjecture on free groups, the non-existence of outer automorphisms for the Calkin algebra, etc... In particular this gives an a posteriori explanation of the success forcing (and forcing axioms) met in producing models of such properties.
Our main results relate generic absoluteness theorems for second order arithmetic, Woodin's axiom $(*)$ and forcing axioms to Robinson's notion of model companionship (as applied to set theory). We also briefly outline in which ways these results provide an argument to refute the Continuum hypothesis.
Comments: expands and systematizes arXiv:2003.07114 and arXiv:2003.07120
Subjects: Logic (math.LO)
MSC classes: 03C10, 03E57
Cite as: arXiv:2101.07573 [math.LO]
  (or arXiv:2101.07573v1 [math.LO] for this version)

Submission history

From: Matteo Viale [view email]
[v1] Tue, 19 Jan 2021 11:33:34 GMT (78kb)

Link back to: arXiv, form interface, contact.