-
Universally Baire sets in $2^κ$
Authors:
Daisuke Ikegami,
Matteo Viale
Abstract:
We generalize the basic theory of universally Baire sets of $2^ω$ to a theory of universally Baire subsets of $2^κ$. We show that the fundamental characterizations of the property of being universally Baire have natural generalizations that can be formulated also for subsets of $2^κ$, in particular we provide four equivalent uniform definitions in the parameter $κ$ (for $κ$ an infinite cardinal) c…
▽ More
We generalize the basic theory of universally Baire sets of $2^ω$ to a theory of universally Baire subsets of $2^κ$. We show that the fundamental characterizations of the property of being universally Baire have natural generalizations that can be formulated also for subsets of $2^κ$, in particular we provide four equivalent uniform definitions in the parameter $κ$ (for $κ$ an infinite cardinal) characterizing for each such $κ$ the class of universally Baire subsets of $2^κ$. For $κ=ω$, these definitions bring us back to the original notion of universally Baire sets of reals given by Feng, Magidor and Woodin [2].
△ Less
Submitted 21 December, 2024;
originally announced December 2024.
-
A duality for the class of compact $T_1$-spaces
Authors:
Elena Pozzan,
Matteo Viale
Abstract:
We present a contravariant adjunction between compact $T_1$-spaces and a class of distributive lattices which recomprises key portions of Stone's duality and of Isbell's duality among its instantiations. This brings us to focus on $T_1$-spaces, rather than sober spaces, and to identify points in them with minimal prime filters on some base for a $T_1$-topology (which is what Stone's duality does o…
▽ More
We present a contravariant adjunction between compact $T_1$-spaces and a class of distributive lattices which recomprises key portions of Stone's duality and of Isbell's duality among its instantiations. This brings us to focus on $T_1$-spaces, rather than sober spaces, and to identify points in them with minimal prime filters on some base for a $T_1$-topology (which is what Stone's duality does on the base of clopen sets of compact $0$-dimensional spaces), in spite of completely prime filters on the topology (which is what Isbell's duality does on a sober space).
More precisely our contravariant adjunction produces a contravariant, faithful and full embedding of the category of compact $T_1$-spaces with arrows given by closed continuous map as a reflective subcategory of a category $\mathsf{SbfL} $ whose objects are the bounded distributive lattices isomorphic to some base of a $T_1$-topological space (e.g. subfits, when the lattices are frames) and whose arrows are given by (what we call) set-like-morphisms (a natural class of morphisms characterized by a first order expressible constraint).
Furthermore this contravariant adjunction becomes a duality when one restricts on the topological side to the category of compact $T_2$-spaces with arbitrary continuous maps, and on the lattice-theoretic side to the category of compact, complete, and normal lattices.
A nice by-product of the above results is a lattice-theoretic reformulation of the Stone-Čech compactification theorem which we have not been able to trace elsewhere in the literature.
△ Less
Submitted 11 December, 2024; v1 submitted 20 November, 2024;
originally announced November 2024.
-
Universality properties of forcing
Authors:
Francesco Parente,
Matteo Viale
Abstract:
The purpose of this paper is to investigate forcing as a tool to construct universal models. In particular, we look at theories of initial segments of the universe and show that any model of a sufficiently rich fragment of those theories can be embedded into a model constructed by forcing. Our results rely on the model-theoretic properties of good ultrafilters, for which we provide a new existence…
▽ More
The purpose of this paper is to investigate forcing as a tool to construct universal models. In particular, we look at theories of initial segments of the universe and show that any model of a sufficiently rich fragment of those theories can be embedded into a model constructed by forcing. Our results rely on the model-theoretic properties of good ultrafilters, for which we provide a new existence proof on non-necessarily complete Boolean algebras.
△ Less
Submitted 22 February, 2025; v1 submitted 17 October, 2023;
originally announced October 2023.
-
Strong forcing axioms and the continuum problem (following Asperó's and Schindler's proof that $\mathbf{MM}^{++}$ implies Woodin's Axiom $(*)$)
Authors:
Matteo Viale
Abstract:
This note addresses the continuum problem, taking advantage of the breakthrough mentioned in the subtitle, and relating it to many recent advances occurring in set theory.
This note addresses the continuum problem, taking advantage of the breakthrough mentioned in the subtitle, and relating it to many recent advances occurring in set theory.
△ Less
Submitted 17 May, 2023; v1 submitted 12 May, 2023;
originally announced May 2023.
-
What model companionship can say about the Continuum problem
Authors:
Giorgio Venturi,
Matteo Viale
Abstract:
We present recent results on the model companions of set theory, placing them in the context of the current debate in the philosophy of mathematics. We start by describing the dependence of the notion of model companionship on the signature, and then we analyze this dependence in the specific case of set theory. We argue that the most natural model companions of set theory describe (as the signatu…
▽ More
We present recent results on the model companions of set theory, placing them in the context of the current debate in the philosophy of mathematics. We start by describing the dependence of the notion of model companionship on the signature, and then we analyze this dependence in the specific case of set theory. We argue that the most natural model companions of set theory describe (as the signature in which we axiomatize set theory varies) theories of $H_{κ^+}$, as $κ$ ranges among the infinite cardinals. We also single out $2^{\aleph_0}=\aleph_2$ as the unique solution of the Continuum problem which can (and does) belong to some model companion of set theory (enriched with large cardinal axioms). Finally this model-theoretic approach to set-theoretic validities is explained and justified in terms of a form of maximality inspired by Hilbert's axiom of completeness.
△ Less
Submitted 12 May, 2023; v1 submitted 28 April, 2022;
originally announced April 2022.
-
Boolean valued semantics for infinitary logics
Authors:
Juan M. Santiago,
Matteo Viale
Abstract:
It is well known that the completeness theorem for $\mathrm{L}_{ω_1ω}$ fails with respect to Tarski semantics. Mansfield showed that it holds for $\mathrm{L}_{\infty\infty}$ if one replaces Tarski semantics with boolean valued semantics. We use forcing to improve his result in order to obtain a stronger form of boolean completeness (but only for $\mathrm{L}_{\inftyω}$). Leveraging on our completen…
▽ More
It is well known that the completeness theorem for $\mathrm{L}_{ω_1ω}$ fails with respect to Tarski semantics. Mansfield showed that it holds for $\mathrm{L}_{\infty\infty}$ if one replaces Tarski semantics with boolean valued semantics. We use forcing to improve his result in order to obtain a stronger form of boolean completeness (but only for $\mathrm{L}_{\inftyω}$). Leveraging on our completeness result, we establish the Craig interpolation property and a strong version of the omitting types theorem for $\mathrm{L}_{\inftyω}$ with respect to boolean valued semantics. We also show that a weak version of these results holds for $\mathrm{L}_{\infty\infty}$ (if one leverages instead on Mansfield's completeness theorem). Furthermore we bring to light (or in some cases just revive) several connections between the infinitary logic $\mathrm{L}_{\inftyω}$ and the forcing method in set theory.
△ Less
Submitted 12 May, 2023; v1 submitted 17 December, 2021;
originally announced December 2021.
-
Another proof that $\mathsf{MM}^{++}$ implies Woodin's axiom $(*)$
Authors:
Matteo Viale
Abstract:
Let $\mathsf{MM}^{++}(κ)$ state that the forcing axiom $\mathsf{MM}^{++}$ can be instantiated only for stationary set preserving posets of size at most $κ$. We give a detailed account of Asperò and Schindler's proof that $\mathsf{MM}^{++}(κ)+$there are class many Woodin cardinals implies Woodin's axiom $(*)$ if $\Diamond_κ$ holds and $κ>\aleph_2$. Our presentation takes advantage of the notion of…
▽ More
Let $\mathsf{MM}^{++}(κ)$ state that the forcing axiom $\mathsf{MM}^{++}$ can be instantiated only for stationary set preserving posets of size at most $κ$. We give a detailed account of Asperò and Schindler's proof that $\mathsf{MM}^{++}(κ)+$there are class many Woodin cardinals implies Woodin's axiom $(*)$ if $\Diamond_κ$ holds and $κ>\aleph_2$. Our presentation takes advantage of the notion of consistency property: specifically we rephrase Asperò and Schindler's forcing as a specific instantiation of the notion of ``consistency property'' used by Makkai, Keisler, Mansfield and others in the study of infinitary logics. We also reorganize the order of presentation of the various parts of the proof. Taken aside these variations, our account is quite close to the original proof of Asperò and Schindler.
△ Less
Submitted 6 November, 2021;
originally announced November 2021.
-
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}$.
We use AMC to study the continuum problem and to gaug…
▽ More
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}$.
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 $ψ$ expressible as a $Π_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 $ψ$).
Partial Morleyizations can be described as follows: let $\mathsf{Form}_τ$ be the set of first order $τ$-formulae; for $A\subseteq \mathsf{Form}_τ$, $τ_A$ is the expansion of $τ$ adding atomic relation symbols $R_φ$ for all formulae $φ$ in $A$ and $T_{τ,A}$ is the $τ_A$-theory asserting that each $τ$-formula $φ(\vec{x})\in A$ is logically equivalent to the corresponding atomic formula $R_φ(\vec{x})$. For a $τ$-theory $T$ $T+T_{τ,A}$ is the partial Morleyization of $T$ induced by $A\subseteq \mathsf{Form}_τ$.
Finally we characterize a strong form of Woodin's axiom $(*)$ as the assertion that the first order theory of $H_{\aleph_2}$ as formalized in a certain natural signature is model complete.
△ Less
Submitted 4 December, 2022; v1 submitted 6 September, 2021;
originally announced September 2021.
-
The model-companionship spectrum of set theory, generic absoluteness, and the Continuum problem
Authors:
Matteo Viale
Abstract:
We show that for $Π_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 $Π_2$-properties we mention: the negation of the Continuum hypothesis, Souslin Hypothesis, the negation of Whitehead's conjecture on free grou…
▽ More
We show that for $Π_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 $Π_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.
△ Less
Submitted 19 January, 2021;
originally announced January 2021.
-
Incompatible bounded category forcing axioms
Authors:
David Aspero,
Matteo Viale
Abstract:
We introduce bounded category forcing axioms for well-behaved classes $Γ$. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe $H_{λ_Γ^+}$ modulo forcing in $Γ$, for some cardinal $λ_Γ$ naturally associated to $Γ$. These axioms naturally extend projective absoluteness for arbitrary set-forcing--in this situation $λ_Γ=ω$--to cl…
▽ More
We introduce bounded category forcing axioms for well-behaved classes $Γ$. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe $H_{λ_Γ^+}$ modulo forcing in $Γ$, for some cardinal $λ_Γ$ naturally associated to $Γ$. These axioms naturally extend projective absoluteness for arbitrary set-forcing--in this situation $λ_Γ=ω$--to classes $Γ$ with $λ_Γ>ω$. Unlike projective absoluteness, these higher bounded category forcing axioms do not follow from large cardinal axioms, but can be forced under mild large cardinal assumptions on $V$. We also show the existence of many classes $Γ$ with $λ_Γ=ω_1$, and giving rise to pairwise incompatible theories for $H_{ω_2}$.
△ Less
Submitted 8 January, 2021;
originally announced January 2021.
-
Boolean valued models, presheaves, and étalé spaces
Authors:
Moreno Pierobon,
Matteo Viale
Abstract:
Boolean valued models for a signature $\mathcal{L}$ are generalizations of $\mathcal{L}$-structures in which we allow the $\mathcal{L}$-relation symbols to be interpreted by boolean truth values. For example, for elements $a,b\in\mathcal{M}$ with $\mathcal{M}$ a $\mathsf{B}$-valued $\mathcal{L}$-structure for some boolean algebra $\mathsf{B}$, $(a=b)$ may be neither true nor false, but get an inte…
▽ More
Boolean valued models for a signature $\mathcal{L}$ are generalizations of $\mathcal{L}$-structures in which we allow the $\mathcal{L}$-relation symbols to be interpreted by boolean truth values. For example, for elements $a,b\in\mathcal{M}$ with $\mathcal{M}$ a $\mathsf{B}$-valued $\mathcal{L}$-structure for some boolean algebra $\mathsf{B}$, $(a=b)$ may be neither true nor false, but get an intermediate truth value in $\mathsf{B}$. In this paper we introduce a topological characterization of the sheafification process for presheaves on topological spaces induced by the dense Grothendieck topology. On the way to produce our characterization, we also relate the notion of open continuous mapping between topological spaces to that of complete homomorphism between complete boolean algebras, and to that of adjoint homomorphism between boolean algebras (e.g. an homomorphism which has a left adjoint, if seen as a functor between partial orders/categories). Next we link these topological/category theoretic results to the theory of boolean valued models. We give a different proof of a result by Monro identifying topological presheaves on Stone spaces with boolean valued models, and sheaves (according to the dense Grothendieck topology) with boolean valued models having the mixing property. We also give an exact topological characterization (the so called fullness property) of which boolean valued models satisfy Loś Theorem (i.e. the general form of the Forcing Theorem which Cohen -- Scott, Solovay, Vopenka -- established for the special case given by the forcing method in set theory). Then we separate the fullness property from the mixing property, by showing that the latter is strictly stronger. Finally we give an exact categorical characterization of which presheaves correspond to full boolean valued models in terms of the structure of global sections of their associated étalé space
△ Less
Submitted 31 May, 2023; v1 submitted 26 June, 2020;
originally announced June 2020.
-
Tameness for set theory $II$
Authors:
Matteo Viale
Abstract:
The paper is the second of two and shows that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic definable concepts of second and third order arithmetic, and appealing to the model-theoretic notions of model completeness and model companionship.
Specifically we u…
▽ More
The paper is the second of two and shows that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic definable concepts of second and third order arithmetic, and appealing to the model-theoretic notions of model completeness and model companionship.
Specifically we use the general framework linking generic absoluteness results to model companionship introduced in the first paper to show that strong forms of Woodin's axiom $(*)$ entail that any theory $T$ extending $\mathsf{ZFC}$ by suitable large cardinal axioms has a model companion $T^*$ with respect to certain signatures $τ$ containing symbols for $Δ_0$-relations and functions, constant symbols for $ω$ and $ω_1$, a predicate symbol for the nonstationary ideal on $ω_1$, symbols for certain lightface definable universally Baire sets.
Moreover $T^*$ is axiomatized by the $Π_2$-sentences $ψ$ for $τ$ such that $T$ proves that $$ L(\mathsf{UB})\models(\mathbb{P}_\max\Vdashψ^{H_{ω_2}}), $$ where $L(\mathsf{UB})$ denotes the smallest transitive model containing the universally Baire sets.
Key to our results is the recent breakthrough of Asperò and Schindler establishing that a strong form of Woodin's axiom $(*)$ follows from $\mathsf{MM}^{++}$.
△ Less
Submitted 16 March, 2020;
originally announced March 2020.
-
Tameness for set theory $I$
Authors:
Matteo Viale
Abstract:
The paper is a first of two and aims to show that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic definable concepts of second and third order arithmetic, and appealing to the model-theoretic notions of model completeness and model companionship.
Specifically…
▽ More
The paper is a first of two and aims to show that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic definable concepts of second and third order arithmetic, and appealing to the model-theoretic notions of model completeness and model companionship.
Specifically we develop a general framework linking generic absoluteness results to model companionship and show that (with the required care in details) a $Π_2$-property formalized in an appropriate language for second or third order number theory is forcible from some $T\supseteq\mathsf{ZFC}+$large cardinals if and only if it is consistent with the universal fragment of $T$ if and only if it is realized in the model companion of $T$.
The paper is accessible to any person who has a fair acquaintance with set theory and first order logic at the level of an under-graduate course in both topics; however bizarre this may appear (given the results we aim to prove) no knowledge of forcing or large cardinals is required to get the proofs of its main results (if one accepts as black-boxes the relevant generic absoluteness results). On the other hand familiarity with the notions of model completeness and model companionship is essential. All the necessary model-theoretic background will be given in full detail.
The present work expands and systematize previous results obtained with Venturi.
△ Less
Submitted 20 March, 2020; v1 submitted 16 March, 2020;
originally announced March 2020.
-
The model companions of set theory
Authors:
Giorgio Venturi,
Matteo Viale
Abstract:
This is an introductory paper to a series of results linking generic absoluteness results for second and third order number theory to the model theoretic notion of model companionship. Specifically we develop here a general framework linking Woodin's generic absoluteness results for second order number theory and the theory of universally Baire sets to model companionship and show that (with the r…
▽ More
This is an introductory paper to a series of results linking generic absoluteness results for second and third order number theory to the model theoretic notion of model companionship. Specifically we develop here a general framework linking Woodin's generic absoluteness results for second order number theory and the theory of universally Baire sets to model companionship and show that (with the required care in details) a $Π_2$-property formalized in an appropriate language for second order number theory is forcible from some $T\supseteq\mathsf{ZFC}+$large cardinals if and only if it is consistent with the universal fragment of $T$ if and only if it is realized in the model companion of $T$.
In particular we show that the first order theory of $H_{ω_1}$ is the model companion of the first order theory of the universe of sets assuming the existence of class many Woodin cardinals, and working in a signature with predicates for $Δ_0$-properties and for all universally Baire sets of reals.
We will extend these results also to the theory of $H_{\aleph_2}$ in a follow up of this paper.
△ Less
Submitted 4 November, 2021; v1 submitted 29 September, 2019;
originally announced September 2019.
-
Incompatible category forcing axioms
Authors:
David Aspero,
Matteo Viale
Abstract:
Given a cardinal $λ$, category forcing axioms for $λ$-suitable classes $Γ$ are strong forcing axioms which completely decide the theory of the Chang model $\mathcal C_λ$, modulo generic extensions via forcing notions from $Γ$. $\mathsf{MM}^{+++}$ was the first category forcing axiom to be isolated (by the second author). In this paper we present, without proofs, a general theory of category forcin…
▽ More
Given a cardinal $λ$, category forcing axioms for $λ$-suitable classes $Γ$ are strong forcing axioms which completely decide the theory of the Chang model $\mathcal C_λ$, modulo generic extensions via forcing notions from $Γ$. $\mathsf{MM}^{+++}$ was the first category forcing axiom to be isolated (by the second author). In this paper we present, without proofs, a general theory of category forcings, and prove the existence of $\aleph_1$-many pairwise incompatible category forcing axioms for $ω_1$-suitable classes.
△ Less
Submitted 22 May, 2018;
originally announced May 2018.
-
Useful axioms
Authors:
Matteo Viale
Abstract:
We give a brief survey on the interplay between forcing axioms and various other non-constructive principles widely used in many fields of abstract mathematics, such as the axiom of choice and Baire's category theorem.
First of all we outline how, using basic partial order theory, it is possible to reformulate the axiom of choice, Baire's category theorem, and many large cardinal axioms as speci…
▽ More
We give a brief survey on the interplay between forcing axioms and various other non-constructive principles widely used in many fields of abstract mathematics, such as the axiom of choice and Baire's category theorem.
First of all we outline how, using basic partial order theory, it is possible to reformulate the axiom of choice, Baire's category theorem, and many large cardinal axioms as specific instances of forcing axioms. We then address forcing axioms with a model-theoretic perspective and outline a deep analogy existing between the standard Łoś Theorem for ultraproducts of first order structures and Shoenfield's absoluteness for $Σ^1_2$-properties. Finally we address the question of whether and to what extent forcing axioms can provide a "complete" semantics for set theory. We argue that to a large extent this is possible for certain initial fragments of the universe of sets: The pioneering work of Woodin on generic absoluteness show that this is the case for the Chang model $L(\text{Ord}^ω)$ in the presence of large cardinals, and recent works by the author show that this can also be the case for the Chang model $L(\text{Ord}^{ω_1})$ in the presence of large cardinals and maximal strengthenings of Martin's maximum or of the proper forcing axiom. The major open question we leave open is whether this situation is peculiar to these Chang models or can be lifted up also to $L(\text{Ord}^κ)$ for cardinals $κ>ω_1$.
△ Less
Submitted 30 November, 2019; v1 submitted 10 October, 2016;
originally announced October 2016.
-
Generic absoluteness and boolean names for elements of a Polish space
Authors:
Andrea Vaccaro,
Matteo Viale
Abstract:
It is common knowledge in the set theory community that there exists a duality relating the commutative $C^*$-algebras with the family of $B$-names for complex numbers in a boolean valued model for set theory $V^B$. Several aspects of this correlation have been considered in works of the late $1970$'s and early $1980$'s, for example by Takeuti, and by Jech. Generalizing Jech's results, we extend t…
▽ More
It is common knowledge in the set theory community that there exists a duality relating the commutative $C^*$-algebras with the family of $B$-names for complex numbers in a boolean valued model for set theory $V^B$. Several aspects of this correlation have been considered in works of the late $1970$'s and early $1980$'s, for example by Takeuti, and by Jech. Generalizing Jech's results, we extend this duality so as to be able to describe the family of boolean names for elements of any given Polish space $Y$ (such as the complex numbers) in a boolean valued model for set theory $V^B$ as a space $C^+(X,Y)$ consisting of functions $f$ whose domain $X$ is the Stone space of $B$, and whose range is contained in $Y$ modulo a meager set. We also outline how this duality can be combined with generic absoluteness results in order to analyze, by means of forcing arguments, the theory of $C^+(X,Y)$.
△ Less
Submitted 21 July, 2016;
originally announced July 2016.
-
Absoluteness via Resurrection
Authors:
Giorgio Audrito,
Matteo Viale
Abstract:
The resurrection axioms are forcing axioms introduced recently by Hamkins and Johnstone, developing on ideas of Chalons and Velicković. We introduce a stronger form of resurrection axioms (the \emph{iterated} resurrection axioms $\textrm{RA}_α(Γ)$ for a class of forcings $Γ$ and a given ordinal $α$), and show that $\textrm{RA}_ω(Γ)$ implies generic absoluteness for the first-order theory of…
▽ More
The resurrection axioms are forcing axioms introduced recently by Hamkins and Johnstone, developing on ideas of Chalons and Velicković. We introduce a stronger form of resurrection axioms (the \emph{iterated} resurrection axioms $\textrm{RA}_α(Γ)$ for a class of forcings $Γ$ and a given ordinal $α$), and show that $\textrm{RA}_ω(Γ)$ implies generic absoluteness for the first-order theory of $H_{γ^+}$ with respect to forcings in $Γ$ preserving the axiom, where $γ=γ_Γ$ is a cardinal which depends on $Γ$ ($γ_Γ=ω_1$ if $Γ$ is any among the classes of countably closed, proper, semiproper, stationary set preserving forcings).
We also prove that the consistency strength of these axioms is below that of a Mahlo cardinal for most forcing classes, and below that of a stationary limit of supercompact cardinals for the class of stationary set preserving posets. Moreover we outline that simultaneous generic absoluteness for $H_{γ_0^+}$ with respect to $Γ_0$ and for $H_{γ_1^+}$ with respect to $Γ_1$ with $γ_0=γ_{Γ_0}\neqγ_{Γ_1}=γ_1$ is in principle possible, and we present several natural models of the Morse Kelley set theory where this phenomenon occurs (even for all $H_γ$ simultaneously). Finally, we compare the iterated resurrection axioms (and the generic absoluteness results we can draw from them) with a variety of other forcing axioms, and also with the generic absoluteness results by Woodin and the second author.
△ Less
Submitted 5 April, 2017; v1 submitted 8 April, 2014;
originally announced April 2014.
-
A Boolean Algebraic Approach to Semiproper Iterations
Authors:
Matteo Viale,
Giorgio Audrito,
Silvia Steila
Abstract:
These notes present a compact and self-contained approach to iterated forcing with a particular emphasis on semiproper forcing. We tried to make our presentation accessible to any scholar who has some familiarity with forcing and boolean valued models and full details of all proofs are given.
We focus our presentation using the boolean algebra language and defining an iteration system as a direc…
▽ More
These notes present a compact and self-contained approach to iterated forcing with a particular emphasis on semiproper forcing. We tried to make our presentation accessible to any scholar who has some familiarity with forcing and boolean valued models and full details of all proofs are given.
We focus our presentation using the boolean algebra language and defining an iteration system as a directed and commutative system of complete and injective homomorphisms between complete and atomless boolean algebras.
It is well known that the boolean algebra approach to forcing and iterations is fully equivalent to the standard one. While there are several monographs where forcing is introduced by means of boolean valued models, to our knowledge no detailed account of iterated forcing following a boolean algebraic approach has yet appeared. We believe that this different approach is fruitful since the richness of the algebraic language simplifies many calculations and definitions, among which that of RCS-limits. Some of the advantages of this approach have been already outlined by Donder and Fuchs in https://arxiv.boxedpaper.com/abs/math/9207204.
The first part of these notes present the general framework needed to develop the notion of limit of an iterated system of forcings in the boolean algebraic language. The second part contains a proof of the main result of Shelah on semiproper iterations, i.e. that RCS-limit of semiproper iterations are semiproper.
△ Less
Submitted 7 February, 2014;
originally announced February 2014.
-
Category forcings, $MM^{+++}$, and generic absoluteness for the theory of strong forcing axioms
Authors:
Matteo Viale
Abstract:
We introduce a category whose objects are stationary set preserving complete boolean algebras and whose arrows are complete homomorphisms with a stationary set preserving quotient. We show that the cut of this category at a rank initial segment of the universe of height a super compact which is a limit of super compact cardinals is a stationary set preserving partial order which forces $MM^{++}$ a…
▽ More
We introduce a category whose objects are stationary set preserving complete boolean algebras and whose arrows are complete homomorphisms with a stationary set preserving quotient. We show that the cut of this category at a rank initial segment of the universe of height a super compact which is a limit of super compact cardinals is a stationary set preserving partial order which forces $MM^{++}$ and collapses its size to become the second uncountable cardinal. Next we argue that any of the known methods to produce a model of $MM^{++}$ collapsing a superhuge cardinal to become the second uncountable cardinal produces a model in which the cutoff of the category of stationary set preserving forcings at any rank initial segment of the universe of large enough height is forcing equivalent to a presaturated tower of normal filters. We let $MM^{+++}$ denote this statement and we prove that the theory of $L(Ord^{ω_1})$ with parameters in $P(ω_1)$ is generically invariant for stationary set preserving forcings that preserve $MM^{+++}$. Finally we argue that the work of Larson and Asperó shows that this is a next to optimal generalization to the Chang model $L(Ord^{ω_1})$ of Woodin's generic absoluteness results for the Chang model $L(Ord^ω)$. It remains open whether $MM^{+++}$ and $MM^{++}$ are equivalent axioms modulo large cardinals and whether $MM^{++}$ suffices to prove the same generic absoluteness results for the Chang model $L(Ord^{ω_1})$.
△ Less
Submitted 29 July, 2015; v1 submitted 9 May, 2013;
originally announced May 2013.
-
Martin's Maximum and tower forcing
Authors:
Sean Cox,
Matteo Viale
Abstract:
There are several examples in the literature showing that compactness-like properties of a cardinal $κ$ cause poor behavior of some generic ultrapowers which have critical point $κ$ (Burke \cite{MR1472122} when $κ$ is a supercompact cardinal; Foreman-Magidor \cite{MR1359154} when $κ= ω_2$ in the presence of strong forcing axioms). We prove more instances of this phenomenon. First, the Reflection P…
▽ More
There are several examples in the literature showing that compactness-like properties of a cardinal $κ$ cause poor behavior of some generic ultrapowers which have critical point $κ$ (Burke \cite{MR1472122} when $κ$ is a supercompact cardinal; Foreman-Magidor \cite{MR1359154} when $κ= ω_2$ in the presence of strong forcing axioms). We prove more instances of this phenomenon. First, the Reflection Principle (RP) implies that if $\vec{\mathcal{I}}$ is a tower of ideals which concentrates on the class $GIC_{ω_1}$ of $ω_1$-guessing, internally club sets, then $\vec{\mathcal{I}}$ is not presaturated (a set is $ω_1$-guessing iff its transitive collapse has the $ω_1$-approximation property as defined in Hamkins \cite{MR2540935}). This theorem, combined with work from \cite{VW_ISP}, shows that if $PFA^+$ or $MM$ holds and there is an inaccessible cardinal, then there is a tower with critical point $ω_2$ which is not presaturated; moreover this tower is significantly different from the non-presaturated tower already known (by Foreman-Magidor \cite{MR1359154}) to exist in all models of Martin's Maximum. The conjunction of the Strong Reflection Principle (SRP) and the Tree Property at $ω_2$ has similar implications for towers of ideals which concentrate on the wider class $GIS_{ω_1}$ of $ω_1$-guessing, internally stationary sets.
Finally, we show that the word "presaturated" cannot be replaced by "precipitous" in the theorems above: Martin's Maximum (which implies SRP and the Tree Property at $ω_2$) is consistent with a precipitous tower on $GIC_{ω_1}$.
△ Less
Submitted 18 October, 2011; v1 submitted 7 October, 2011;
originally announced October 2011.
-
Martin's maximum revisited
Authors:
Matteo Viale
Abstract:
We present several results relating the general theory of the stationary tower forcing developed by Woodin with forcing axioms. The main results is that the forcing axiom MM^{++} (also known as MM^{+ω_1}) decides the Π_2-theory of H_{ω_2} with respect to stationary set preserving forcings. We argue that this is a close to optimal generalization to H_{ω_2} of Woodin's absoluteness results for L(R).
We present several results relating the general theory of the stationary tower forcing developed by Woodin with forcing axioms. The main results is that the forcing axiom MM^{++} (also known as MM^{+ω_1}) decides the Π_2-theory of H_{ω_2} with respect to stationary set preserving forcings. We argue that this is a close to optimal generalization to H_{ω_2} of Woodin's absoluteness results for L(R).
△ Less
Submitted 9 February, 2012; v1 submitted 6 October, 2011;
originally announced October 2011.
-
Guessing models and generalized Laver diamond
Authors:
Matteo Viale
Abstract:
We analyze the notion of guessing model, a way to assign combinatorial properties to arbitrary regular cardinals. Guessing models can be used, in combination with inaccessibility, to characterize various large cardinals axioms, ranging from supercompactness to rank-to-rank embeddings. The majority of these large cardinals properties can be defined in terms of suitable elementary embeddings j\colon…
▽ More
We analyze the notion of guessing model, a way to assign combinatorial properties to arbitrary regular cardinals. Guessing models can be used, in combination with inaccessibility, to characterize various large cardinals axioms, ranging from supercompactness to rank-to-rank embeddings. The majority of these large cardinals properties can be defined in terms of suitable elementary embeddings j\colon V_γ\to V_λ. One key observation is that such embeddings are uniquely determined by the image structures j [ V_γ]\prec V_λ. These structures will be the prototypes guessing models. We shall show, using guessing models M, how to prove for the ordinal κ_M=j_M (\crit(j_M)) (where π_M is the transitive collapse of M and j_M is its inverse) many of the combinatorial properties that we can prove for the cardinal j(\crit(j)) using the structure j[V_γ]\prec V_{j(γ)}. κ_M will always be a regular cardinal, but consistently can be a successor. Guessing models M with κ_M=\aleph_2 exist assuming the proper forcing axiom PFA. By means of these models we shall introduce a new structural property of models of PFA: the existence of a "Laver function" f : \aleph_2 \to H_{\aleph_2} sharing the same features of the usual Laver functions f :κ\to H_κprovided by a supercompact cardinal κ. Further applications of our analysis will be proofs of the singular cardinal hypothesis and of the failure of the square principle assuming the existence of guessing models. In particular the failure of square shows that the existence of guessing models is a very strong assumption in terms of large cardinal strength.
△ Less
Submitted 10 October, 2011; v1 submitted 10 December, 2010;
originally announced December 2010.
-
On the consistency strength of the proper forcing axiom
Authors:
Matteo Viale,
Christoph Weiß
Abstract:
Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles hold for $ω_2$. Using this, we argue to show that any of the known methods for forcing models of PFA from a large cardinal assumption requires a strongly compact c…
▽ More
Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles hold for $ω_2$. Using this, we argue to show that any of the known methods for forcing models of PFA from a large cardinal assumption requires a strongly compact cardinal. If one forces PFA using a proper forcing, then we get the optimal result that a supercompact cardinal is necessary.
△ Less
Submitted 9 December, 2010;
originally announced December 2010.
-
Phase transitions for the cavity approach to the clique problem on random graphs
Authors:
Alexandre Gaudilliere,
Benedetto Scoppola,
Elisabetta Scoppola,
Massimiliano Viale
Abstract:
We give a rigorous proof of two phase transitions for a disordered system designed to find large cliques inside Erdos random graphs. Such a system is associated with a conservative probabilistic cellular automaton inspired by the cavity method originally introduced in spin glass theory.
We give a rigorous proof of two phase transitions for a disordered system designed to find large cliques inside Erdos random graphs. Such a system is associated with a conservative probabilistic cellular automaton inspired by the cavity method originally introduced in spin glass theory.
△ Less
Submitted 12 November, 2010;
originally announced November 2010.
-
Some consequences of reflection on the approachability ideal
Authors:
Assaf Sharon,
Matteo Viale
Abstract:
We study the approachability ideal I[κ^+] in the context of large cardinals properties of the regular cardinals below a singular κ. As a guiding example consider the approachability ideal I[\aleph_{ω+1}] assuming that \aleph_ωis strong limit. In this case we obtain that club many points in \aleph_{ω+1} of cofinality \aleph_n for some n>1 are approachable assuming the joint reflection of countabl…
▽ More
We study the approachability ideal I[κ^+] in the context of large cardinals properties of the regular cardinals below a singular κ. As a guiding example consider the approachability ideal I[\aleph_{ω+1}] assuming that \aleph_ωis strong limit. In this case we obtain that club many points in \aleph_{ω+1} of cofinality \aleph_n for some n>1 are approachable assuming the joint reflection of countable families of stationary subsets of \aleph_n. This reflection principle holds under Martin's maximum for all n>1 and for each n>1 is equiconsistent with \aleph_n being weakly compact in L. This characterizes the structure of the approachability ideal I[\aleph_{ω+1}] in models of Martin's maximum.
△ Less
Submitted 4 April, 2008;
originally announced April 2008.
-
A family of covering properties for forcing axioms and strongly compact cardinals
Authors:
Matteo Viale
Abstract:
This paper presents the main results in my Ph.D. thesis. In what follows several proofs of SCH are presented introducing a family of covering properties which implies both SCH and the failure of various forms of square. These covering properties are also applied to investigate models of strongly compact cardinals or of strong forcing axioms like MM or PFA.
This paper presents the main results in my Ph.D. thesis. In what follows several proofs of SCH are presented introducing a family of covering properties which implies both SCH and the failure of various forms of square. These covering properties are also applied to investigate models of strongly compact cardinals or of strong forcing axioms like MM or PFA.
△ Less
Submitted 3 March, 2007;
originally announced March 2007.
-
The Proper Forcing Axiom and the Singular Cardinal Hypothesis
Authors:
Matteo Viale
Abstract:
We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof is by interpolation and uses the Mapping Reflection Principle.
We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof is by interpolation and uses the Mapping Reflection Principle.
△ Less
Submitted 27 September, 2005;
originally announced September 2005.
