Related papers: (Weak) diamond can fail at the least inaccessible …
Suppose that lambda is the successor of a singular cardinal mu whose cofinality is an uncountable cardinal kappa. We give a sufficient condition that the club filter of lambda concentrating on the points of cofinality kappa is not…
Assume $\lambda$ is a singular limit of $\eta$ supercompact cardinals, where $\eta \leq \lambda$ is a limit ordinal. We present two forcing methods for making $\lambda^+$ the successor of the limit of the first $\eta$ measurable cardinals…
Arguably a major success of the landscape picture is the prediction of a small, non-zero vacuum energy density. The details of this prediction depends in part on how the diverging spacetime volume of the multiverse is regulated, a question…
We show that it is consistent relative to a weakly compact cardinal that strong homology is additive and compactly supported within the class of locally compact separable metric spaces. This complements work of Marde\v{s}i\'{c} and Prasolov…
A proof will be presented that the existence of a non-trivial $\Sigma_1$-elementary embedding $j: V_{\lambda+3} \prec V_{\lambda+3}$ is inconsistent with $\textsf{ZF}$. Sections 1 and 2 shall review various important contributions from the…
Suppose that there's no transitive model of ZFC + there's a strong cardinal, and let K denote the core model. It is shown that if \delta has the tree property then \delta^{+K} = \delta^+ and \delta is weakly compact in K.
We show that Shelah cardinals are preserved under the canonical $GCH$ forcing notion. We also show that if $GCH$ holds and $F:REG\rightarrow CARD$ is an Easton function which satisfies some weak properties, then there exists a cofinality…
One aim of this work is to get a universe in which weak versions of Martin axioms holds for some forcing notions of cardinality aleph_0, aleph_1 and aleph_2 while on aleph_2 club, the ``small'' brother of diamond, holds. As a consequence we…
Post-Newtonian theory is considered a reliable effective expansion of General Relativity in the weak-field and slow-motion limit. We argue that such a belief is misplaced. In generic many-body relativistic dynamics, the absence of globally…
We use the core model for sequences of measures to prove a new lower bound for the consistency strength of the failure of the SCH: THEOREM (i) If there is a singular strong limit cardinal $\kappa$ such that $2^\kappa > kappa^+$ then there…
We introduce bounded category forcing axioms for well-behaved classes $\Gamma$. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe $H_{\lambda_\Gamma^+}$ modulo…
Hamkins and L\"{o}we asked whether there can be a model $N$ of set theory with the property that $N\equiv N[g]$ whenever $g$ is a generic collapse of a cardinal of $N$ onto $\omega$. We give equiconsistency results for two weaker versions…
The chart of nuclei could be enlarged with a branch describing neutron stars that are huge nuclei of a few solar masses held together by gravity force and sustained by the pressure due to the degenerate Fermi sea. We contend in this…
Several variants of the Halpern-L\"auchli Theorem for trees of uncountable height are investigated. For $\kappa$ weakly compact, we prove that the various statements are all equivalent. We show that the strong tree version holds for one…
We study the possible number of normal measures on a measurable cardinal in settings where inner model techniques are unavailable. Instead, we exploit consequences of the Ultrapower Axiom to obtain our theorems. We show that the classical…
We apply positivity bounds directly to a $U(1)$ gauge theory with charged scalars and charged fermions, i.e. QED, minimally coupled to gravity. Assuming that the massless $t$-channel pole may be discarded, we show that the improved…
We characterize the situation of small cardinality for a product of cardinals divided by an ultrafilter. We develop the notion of weak normality. We include an application to Boolean Algebras.
Club guessing principles were introduced by Shelah as a weakening of Jensen's diamond. Most spectacularly, they were used to prove Shelah's ZFC bound on the power of the first singular cardinal. These principles have found many other…
We force over the constructible universe to obtain a model of the $\Pi^1_3$-reduction property, thus lowering the best known large cardinal strength from the existence of $M_1^{\#}$ to just ZFC. In this model the $\Pi^1_3$-uniformization…
We unveil new patterns of Structural Reflection in the large-cardinal hierarchy below the first measurable cardinal. Namely, we give two different characterizations of strongly unfoldable and subtle cardinals in terms of a weak form of the…