-
Outward compactness
Authors:
Peter Holy,
Philipp Lücke,
Sandra Müller
Abstract:
We introduce and study a new type of compactness principle for strong logics that, roughly speaking, infers the consistency of a theory from the consistency of its small fragments in certain outer models of the set-theoretic universe. We refer to this type of compactness property as outward compactness, and we show that instances of this type of principle for second-order logic can be used to char…
▽ More
We introduce and study a new type of compactness principle for strong logics that, roughly speaking, infers the consistency of a theory from the consistency of its small fragments in certain outer models of the set-theoretic universe. We refer to this type of compactness property as outward compactness, and we show that instances of this type of principle for second-order logic can be used to characterize various large cardinal notions between measurability and extendibility, directly generalizing a classical result of Magidor that characterizes extendible cardinals as the strong compactness cardinals of second-order logic. In addition, we generalize a result of Makowsky that shows that Vopěnka's Principle is equivalent to the existence of compactness cardinals for all abstract logics by characterizing the principle "Ord is Woodin" through outward compactness properties of abstract logics.
△ Less
Submitted 24 February, 2024;
originally announced February 2024.
-
Asymmetric cut and choose games
Authors:
Peter Holy,
Philipp Schlicht,
Christopher Turner,
Philip Welch
Abstract:
We investigate a variety of cut and choose games, their relationship with (generic) large cardinals, and show that they can be used to characterize a number of properties of ideals and of partial orders: certain notions of distributivity, strategic closure, and precipitousness.
We investigate a variety of cut and choose games, their relationship with (generic) large cardinals, and show that they can be used to characterize a number of properties of ideals and of partial orders: certain notions of distributivity, strategic closure, and precipitousness.
△ Less
Submitted 2 February, 2023; v1 submitted 19 July, 2022;
originally announced July 2022.
-
Ideal Topologies in Higher Descriptive Set Theory
Authors:
Peter Holy,
Marlene Koelbing,
Philipp Schlicht,
Wolfgang Wohofsky
Abstract:
We investigate generalizations of the topology of the higher Cantor space on $2^κ$, based on arbitrary ideals rather than the bounded ideal on $κ$. Our main focus is on the topology induced by the nonstationary ideal, and we call this topology the nonstationary topology, or also the Edinburgh topology on $2^κ$. It may be of independent interest that as a side result, we show $κ$-Silver forcing to…
▽ More
We investigate generalizations of the topology of the higher Cantor space on $2^κ$, based on arbitrary ideals rather than the bounded ideal on $κ$. Our main focus is on the topology induced by the nonstationary ideal, and we call this topology the nonstationary topology, or also the Edinburgh topology on $2^κ$. It may be of independent interest that as a side result, we show $κ$-Silver forcing to satisfy a strong form of Axiom $A$ not only if $κ$ is inaccessible (which is well-known), but also under the assumption $\diamondsuit_κ$.
△ Less
Submitted 14 November, 2021;
originally announced November 2021.
-
Ideal operators and higher indescribability
Authors:
Brent Cody,
Peter Holy
Abstract:
We investigate properties of the ineffability and the Ramsey operator, and a common generalization of those that was introduced by the second author, with respect to higher indescribability, as introduced by the first author. This extends earlier investigations on the ineffability operator by James Baumgartner, and on the Ramsey operator by Qi Feng, by Philip Welch et al. and by the first author.
We investigate properties of the ineffability and the Ramsey operator, and a common generalization of those that was introduced by the second author, with respect to higher indescribability, as introduced by the first author. This extends earlier investigations on the ineffability operator by James Baumgartner, and on the Ramsey operator by Qi Feng, by Philip Welch et al. and by the first author.
△ Less
Submitted 4 August, 2022; v1 submitted 4 May, 2021;
originally announced May 2021.
-
Small models, large cardinals, and induced ideals
Authors:
Peter Holy,
Philipp Lücke
Abstract:
We show that many large cardinal notions up to measurability can be characterized through the existence of certain filters for small models of set theory. This correspondence will allow us to obtain a canonical way in which to assign ideals to many large cardinal notions. This assignment coincides with classical large cardinal ideals whenever such ideals had been defined before. Moreover, in many…
▽ More
We show that many large cardinal notions up to measurability can be characterized through the existence of certain filters for small models of set theory. This correspondence will allow us to obtain a canonical way in which to assign ideals to many large cardinal notions. This assignment coincides with classical large cardinal ideals whenever such ideals had been defined before. Moreover, in many important cases, relations between these ideals reflect the ordering of the corresponding large cardinal properties both under direct implication and consistency strength.
△ Less
Submitted 10 August, 2020;
originally announced August 2020.
-
Characterizing large cardinals through Neeman's pure side condition forcing
Authors:
Peter Holy,
Philipp Lücke,
Ana Njegomir
Abstract:
We show that some of the most prominent large cardinal notions can be characterized through the validity of certain combinatorial principles at $ω_2$ in forcing extensions by the pure side condition forcing introduced by Neeman. The combinatorial properties that we make use of are natural principles, and in particular for inaccessible cardinals, these principles are equivalent to their correspondi…
▽ More
We show that some of the most prominent large cardinal notions can be characterized through the validity of certain combinatorial principles at $ω_2$ in forcing extensions by the pure side condition forcing introduced by Neeman. The combinatorial properties that we make use of are natural principles, and in particular for inaccessible cardinals, these principles are equivalent to their corresponding large cardinal properties. Our characterizations make use of the concepts of internal large cardinals introduced in this paper, and of the classical concept of generic elementary embeddings.
△ Less
Submitted 31 October, 2018;
originally announced October 2018.
-
Sufficient conditions for the forcing theorem, and turning proper classes into sets
Authors:
Peter Holy,
Regula Krapf,
Philipp Schlicht
Abstract:
We present three natural combinatorial properties for class forcing notions, which imply the forcing theorem to hold. We then show that all known sufficent conditions for the forcing theorem (except for the forcing theorem itself), including the three properties presented in this paper, imply yet another regularity property for class forcing notions, namely that proper classes of the ground model…
▽ More
We present three natural combinatorial properties for class forcing notions, which imply the forcing theorem to hold. We then show that all known sufficent conditions for the forcing theorem (except for the forcing theorem itself), including the three properties presented in this paper, imply yet another regularity property for class forcing notions, namely that proper classes of the ground model cannot become sets in a generic extension, that is they do not have set-sized names in the ground model. We then show that over certain models of Gödel-Bernays set theory without the power set axiom, there is a notion of class forcing which turns a proper class into a set, however does not satisfy the forcing theorem. Moreover, we show that the property of not turning proper classes into sets can be used to characterize pretameness over such models of Gödel-Bernays set theory.
△ Less
Submitted 30 October, 2017;
originally announced October 2017.
-
Characterizations of pretameness and the Ord-cc
Authors:
Peter Holy,
Regula Krapf,
Philipp Schlicht
Abstract:
It is well known that pretameness implies the forcing theorem, and that pretameness is characterized by the preservation of the axioms of $\mathsf{ZF}^-$, that is $\mathsf{ZF}$ without the power set axiom, or equivalently, by the preservation of the axiom scheme of replacement, for class forcing over models of $\mathsf{ZF}$. We show that pretameness in fact has various other characterizations, for…
▽ More
It is well known that pretameness implies the forcing theorem, and that pretameness is characterized by the preservation of the axioms of $\mathsf{ZF}^-$, that is $\mathsf{ZF}$ without the power set axiom, or equivalently, by the preservation of the axiom scheme of replacement, for class forcing over models of $\mathsf{ZF}$. We show that pretameness in fact has various other characterizations, for instance in terms of the forcing theorem, the preservation of the axiom scheme of separation, the forcing equivalence of partial orders and their dense suborders, and the existence of nice names for sets of ordinals. These results show that pretameness is a strong dividing line between well and badly behaved notions of class forcing, and that it is exactly the right notion to consider in applications of class forcing. Furthermore, for most properties under consideration, we also present a corresponding characterization of the $\mathrm{Ord}$-chain condition.
△ Less
Submitted 30 October, 2017;
originally announced October 2017.
-
Class forcing, the forcing theorem and Boolean completions
Authors:
Peter Holy,
Regula Krapf,
Philipp Lücke,
Ana Njegomir,
Philipp Schlicht
Abstract:
The forcing theorem is the most fundamental result about set forcing, stating that the forcing relation for any set forcing is definable and that the truth lemma holds, that is everything that holds in a generic extension is forced by a condition in the relevant generic filter. We show that both the definability (and, in fact, even the amenability) of the forcing relation and the truth lemma can f…
▽ More
The forcing theorem is the most fundamental result about set forcing, stating that the forcing relation for any set forcing is definable and that the truth lemma holds, that is everything that holds in a generic extension is forced by a condition in the relevant generic filter. We show that both the definability (and, in fact, even the amenability) of the forcing relation and the truth lemma can fail for class forcing. In addition to these negative results, we show that the forcing theorem is equivalent to the existence of a (certain kind of) Boolean completion, and we introduce a weak combinatorial property (approachability by projections) that implies the forcing theorem to hold. Finally, we show that unlike for set forcing, Boolean completions need not be unique for class forcing.
△ Less
Submitted 30 October, 2017;
originally announced October 2017.
-
A hierarchy of Ramsey-like cardinals
Authors:
Peter Holy,
Philipp Schlicht
Abstract:
We introduce a hierarchy of large cardinals between weakly compact and measurable cardinals, that is closely related to the Ramsey-like cardinals introduced by Victoria Gitman, and is based on certain infinite filter games, however also has a range of equivalent characterizations in terms of elementary embeddings. The aim of this paper is to locate the Ramsey-like cardinals studied by Gitman, and…
▽ More
We introduce a hierarchy of large cardinals between weakly compact and measurable cardinals, that is closely related to the Ramsey-like cardinals introduced by Victoria Gitman, and is based on certain infinite filter games, however also has a range of equivalent characterizations in terms of elementary embeddings. The aim of this paper is to locate the Ramsey-like cardinals studied by Gitman, and other well-known large cardinal notions, in this hierarchy.
△ Less
Submitted 27 October, 2017;
originally announced October 2017.
-
Small Embedding Characterizations for Large Cardinals
Authors:
Peter Holy,
Philipp Lücke,
Ana Njegomir
Abstract:
We show that many large cardinal notions can be characterized in terms of the existence of certain elementary embeddings between transitive set-sized structures, that map their critical point to the large cardinal in question. In particular, we provide such embedding characterizations also for several large cardinal notions for which no embedding characterizations have been known so far, namely fo…
▽ More
We show that many large cardinal notions can be characterized in terms of the existence of certain elementary embeddings between transitive set-sized structures, that map their critical point to the large cardinal in question. In particular, we provide such embedding characterizations also for several large cardinal notions for which no embedding characterizations have been known so far, namely for subtle, for ineffable, and for $λ$-ineffable cardinals. As an application, which we will study in detail in a subsequent paper, we present the basic idea of our concept of internal large cardinals. We provide the definition of certain kinds of internally subtle, internally $λ$-ineffable and internally supercompact cardinals, and show that these correspond to generalized tree properties, that were investigated by Weiß in his [16] and [17], and by Viale and Weiß in [15]. In particular, this yields new proofs of Weiß's results from [16] and [17], eliminating problems contained in the original proofs.
△ Less
Submitted 21 August, 2017;
originally announced August 2017.
-
The exact strength of the class forcing theorem
Authors:
Victoria Gitman,
Joel David Hamkins,
Peter Holy,
Philipp Schlicht,
Kameryn Williams
Abstract:
The class forcing theorem, which asserts that every class forcing notion $\mathbb{P}$ admits a forcing relation $\Vdash_{\mathbb{P}}$, that is, a relation satisfying the forcing relation recursion -- it follows that statements true in the corresponding forcing extensions are forced and forced statements are true -- is equivalent over Gödel-Bernays set theory GBC to the principle of elementary tran…
▽ More
The class forcing theorem, which asserts that every class forcing notion $\mathbb{P}$ admits a forcing relation $\Vdash_{\mathbb{P}}$, that is, a relation satisfying the forcing relation recursion -- it follows that statements true in the corresponding forcing extensions are forced and forced statements are true -- is equivalent over Gödel-Bernays set theory GBC to the principle of elementary transfinite recursion $\text{ETR}_{\text{Ord}}$ for class recursions of length $\text{Ord}$. It is also equivalent to the existence of truth predicates for the infinitary languages $\mathcal{L}_{\text{Ord},ω}(\in,A)$, allowing any class parameter $A$; to the existence of truth predicates for the language $\mathcal{L}_{\text{Ord},\text{Ord}}(\in,A)$; to the existence of $\text{Ord}$-iterated truth predicates for first-order set theory $\mathcal{L}_{ω,ω}(\in,A)$; to the assertion that every separative class partial order $\mathbb{P}$ has a set-complete class Boolean completion; to a class-join separation principle; and to the principle of determinacy for clopen class games of rank at most $\text{Ord}+1$. Unlike set forcing, if every class forcing notion $\mathbb{P}$ has a forcing relation merely for atomic formulas, then every such $\mathbb{P}$ has a uniform forcing relation applicable simultaneously to all formulas. Our results situate the class forcing theorem in the rich hierarchy of theories between GBC and Kelley-Morse set theory KM.
△ Less
Submitted 10 March, 2021; v1 submitted 12 July, 2017;
originally announced July 2017.