Related papers: Failures of square in Pmax extensions of Chang mod…

By forcing with $\mathbb{P}_{\rm max}$ over strong models of determinacy, we obtain models where different square principles at $\omega_2$ and $\omega_3$ fail. In particular, we obtain a model of $2^{\aleph_0}=2^{\aleph_1}=\aleph_2 +…

We show that it is consistent with MA + the negation of CH, that the Forcing Axiom fails for all forcing notions in the class of omega^omega-bounding forcing notions with norms of "Norms on possibilities I: forcing with trees and…

Answering a question of Sakai, we show that the existence of an $\omega_1$-Erd\H{o}s cardinal suffices to obtain the consistency of Chang's Conjecture with $\square_{\omega_1, 2}$. By a result of Donder this is best possible. We also give…

Shelah has shown that there are no chains of length $\omega_3$ increasing modulo finite in ${}^{\omega_2}\omega_2$. We improve this result to sets. That is, we show that there are no chains of length $\omega_3$ in $[\omega_2]^{\aleph_2}$…

Using a variation of Woodin's $\mathbb{P}_{\mathrm{max}}$ forcing, we force over a model of the Axiom of Determinacy to produce a model of ZFC containing a very strongly increasing sequence of length $\omega_{2}$ consisting of functions…

We show that Zhang Degang's claimed solution of the three-dimensional Ising model [arXiv:2110.11233] has fatal irreparable errors.

We revisit the long-standing conjecture that in unitary field theories, scale invariance implies conformality. We explain why the Zamolodchikov-Polchinski proof in D=2 does not work in higher dimensions. We speculate which new ideas might…

We prove that the forcing axiom $MA^{1.5}_{\aleph_2}(\mbox{stratified})$ implies $\Box_{\omega_1, \omega_1}$. Using this implication, we show that the forcing axiom $MM_{\aleph_2}(\aleph_2\mbox{-c.c.})$ is inconsistent. We also derive weak…

We show that in the $\mathbb{P}_{\max}$ extension of a certain Chang-type model of determinacy, if $\kappa\in\{\omega_1, \omega_2, \omega_3\}$, then the restriction of the club filter on $\kappa\cap\mathrm{Cof}(\omega)$ to HOD is an…

Cummings, Foreman, and Magidor investigated the extent to which square principles are compact at singular cardinals. The first author proved that if $\kappa$ is a singular strong limit of uncountable cofinality, all scales on $\kappa$ are…

Three-loop counterterms for the Standard Model (SM) revealed that the matrix of anomalous dimensions ($\gamma$) of quarks is divergent in the $d \to 4$ limit unless a carefully chosen non-Hermitian square-root of $Z$ matrix is used in the…

In this note we will discuss a new reflection principle which follows from the Proper Forcing Axiom. The immediate purpose will be to prove that the bounded form of the Proper Forcing Axiom implies both that 2^omega = omega_2 and that…

We prove that if the linear-time and polynomial-time hierarchies coincide, then every model of $\Pi_1(\mathbb{N}) + \neg \Omega_1$ has a proper end-extension to a model of $\Pi_1(\mathbb{N})$, and so $\Pi_1(\mathbb{N}) + \neg \Omega_1…

We prove that a strong version of Chang's Conjecture, equivalent to the Weak Reflection Principle at $\omega_2$, together with $2^\omega=\omega_2$, imply there are no $\omega_2$-Aronszajn trees.

Let $X$ be a minimal projective Gorenstein 3-fold of general type. We give two applications of an inequality between $\chi (\omega_X)$ and $p_g(X)$: 1) Assume that the canonical map $\Phi_{|K_X|}$ is of fiber type. Let $F$ be a smooth model…

Square-kappa-finite, the finite family version of weak square, holds at all cardinals kappa in the Mitchell-Steel inner models.

Chang's Conjecture (CC) asserts that for every $F:[\omega_2]^{<\omega} \to \omega_2$, there exists an $X$ that is closed under $F$ such that $|X|=\omega_1$ and $|X \cap \omega_1| =\omega$. By classic results of Silver and Donder, CC is…

We prove an extension theorem for effective plt pairs $(X,S+B)$ of non-negative Kodaira dimension $\kappa (K_X+S+B)\geq 0$. The main new ingredient is a refinement of the Ohsawa-Takegoshi $L^2$ extension theorem involving singular hermitian…

The paper presents fundamental metrical theorems for a class of continued fraction-like expansions known as $\theta$-expansions. We first prove Khinchine's Weak Law of Large Numbers for the sum of digits, followed by the Diamond-Vaaler…

We prove that if there exists a simplified $(\omega_1,2)$-morass, then there is a ccc forcing which adds an $\omega_3$-chain in P($\omega_1$) mod finite and a ccc forcing which adds a family of $\omega_3$-many strongly almost disjoint…