Related papers: Echeloned saturation and forcing axioms

We say that Wiener's property holds for the exponent $p>0$ if we have that whenever a positive definite function $f$ belongs to $L^p(-\epsilon,\epsilon)$ for some $\epsilon>0$, then $f$ necessarily belongs to $L^p(\TT)$, too. This holds…

We consider several variants of Keisler's isomorphism theorem. We separate these variants by showing implications between them and cardinal invariants hypotheses. We characterize saturation hypotheses that are stronger than Keisler's…

We combine several folklore observations to provide a working framework for iterating constructions which contradict the axiom of choice. We use this to define a model in which any kind of structural failure must fail with a proper class of…

Michael asked whether every productively Lindel\"of space is powerfully Lindel\"of. Building of work of Alster and De la Vega, assuming the Continuum Hypothesis, we show that every productively Lindel\"of space of countable tightness is…

We construct several models where there are no strongly meager sets of size continuum. In particular, there are no such sets in the Laver's model.

We prove the $l^2$ Decoupling Conjecture for compact hypersurfaces with positive definite second fundamental form and also for the cone. This has a wide range of important consequences. One of them is the validity of the Discrete…

We prove an extension of Yuan's Lemma to more than two matrices, as long as the set of matrices has rank at most 2. This is used to generalize the main result of [A. Baccari and A. Trad. On the classical necessary second-order optimality…

Regev and Stephens-Davidowitz conjectured that the Gaussian mass $\Theta_\Lambda(t) = \sum_{x \in \Lambda} e^{-t\lVert x\rVert^2}$ of any integral lattice $\Lambda \subset \mathbb{R}^n$ is bounded above by $\Theta_{\mathbb{Z}^n}(t)$. For…

Motivated by the Maximum Theorem for convex functions (in the setting of linear spaces) and for subadditive functions (in the setting of Abelian semigroups), we establish a Maximum Theorem for the class of generalized convex functions,…

We address a special case of a conjecture of M. Talagrand relating two notions of "threshold" for an increasing family $\mathcal F$ of subsets of a finite set $V$. The full conjecture implies equivalence of the "Fractional…

We show that the smoother the weight, the broader the range of exponents for which the Lavrentiev's gap is absent for the double phase functionals, i.e., $u \mapsto \int_{\Omega} \left(|\nabla u|^p + a(x)|\nabla u|^q\right)\,dx\,, \quad 1…

It is shown that Martin's Axiom for sigma-centred partial orders implies that every maximal orthogonal family in R^N is of size 2^{aleph_0}

We prove that the Sacks forcing collapses the continuum onto the dominating number d, answering the question of Carlson and Laver. Next we prove that if a proper forcing of the size at most continuum collapses omega_2 then it forces…

We study the Weak Gravity Conjecture in the presence of scalar fields. The Weak Gravity Conjecture is a consistency condition for a theory of quantum gravity asserting that for a U(1) gauge field, there is a particle charged under this…

We compare the forcing related properties of a complete Boolean algebra B with the properties of the convergences $\lambda_s$ (the algebraic convergence) and $\lambda_{ls}$ on B generalizing the convergence on the Cantor and Aleksandrov…

We present two ways in which the model $L({\mathbb R})$ is canonical assuming the existence of large cardinals. We show that the theory of this model, with {\em ordinal} parameters, cannot be changed by small forcing; we show further that a…

We show that if $f$ is a nonzero, noninvertible function on a smooth complex variety $X$ and $J_f$ is the Jacobian ideal of $f$, then ${\rm lct}(f,J_f^2)>1$ if and only if the hypersurface defined by $f$ has rational singularities.…

We prove a conjecture of B. Gr\"unbaum stating that the set of affine invariant points of a convex body equals to the set of points invariant under all affine linear symmetries of the convex body. As a consequence we give a short proof on…

We improve on several weighted inequalities of recent interest by replacing a part of the A_p bounds by weaker A_\infty estimates involving Wilson's A_\infty constant \[ [w]_{A_\infty}':=\sup_Q\frac{1}{w(Q)}\int_Q M(w\chi_Q). \] In…

We prove in ZFC, no psi in L_{omega_1,omega}[Q] have unique model of uncountable cardinality, this confirms theBaldwin conjecture. But we analyze this in more general terms. We introduce and investigate a.e.c. and also versions of limit…