5 papers · 1 filter
Large cardinals, structural reflection, and the HOD Conjecture
Juan P. Aguilera, Joan Bagaria, Philipp Lücke
We introduce exacting cardinals and a strengthening of these, ultraexacting cardinals. These are natural large cardinals defined equivalently as weak forms of rank-Berkeley cardina…
Large cardinals beyond HOD
Juan Pablo Aguilera, Joan Bagaria, Gabriel Goldberg +1
Exacting and ultraexacting cardinals are large cardinal numbers compatible with the Zermelo-Fraenkel axioms of set theory, including the Axiom of Choice. In contrast with standard…
Outward compactness
Peter Holy, Philipp Lücke, Sandra Müller
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…
On -Definable Closed Unbounded Sets
Omer Ben-Neria, Philipp Lücke
Definable stationary sets, and specifically, ordinal definable ones, play a significant role in the study of canonical inner models of set theory and the class HOD of hereditarily…
The complexity of non-stationary ideals
Philipp Lücke
We present an overview of results on the question of whether the non-stationary ideal of an uncountable regular cardinal can be defined by a -formula using parameters of…