Related papers: Compactness in singular cardinals revisited

We show that, contrary to the commonly held view, there is a natural and optimal compactness theorem for $\mathrm{L}_{\infty\infty}$ which generalizes the usual compactness theorem for first order logic. The key to this result is the switch…

The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…

We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem: Suppose $\kappa$ is a singular strong limit cardinal and…

We investigate the existence of strong colorings on successors of singular cardinals. This work continues Section 2 of [Sh:413] (math.LO/9809199), but now our emphasis is on finding colorings of pairs of ordinals, rather than colorings of…

We give a concise proof of the fundamental theorem of smoothing theory in the special case when a smoothing exists.

Let $M^n(n\geq3)$ be an $n$-dimensional compact Riemannian manifold with harmonic curvature and positive scalar curvature. Assume that $M^n$ satisfies some integral pinching conditions. We give some rigidity theorems on compact manifolds…

We prove a result on the singularities of ball quotients $\Gamma\backslash\CC H^n$. More precisely, we show that a ball quotient has canonical singularities under certain restrictions on the dimension $n$ and the underlying lattice. We also…

We give a shorter proof of Kanter's (1976) sharp Bessel function bound for concentrations of sums of independent symmetric random vectors. We provide sharp upper bounds for the sum of modified Bessel functions $I_0(x)+I_1(x)$, which might…

We prove the two theorems of the title, settling two long standing questions in the local theory of singular minimal hypersurfaces. The sharpness of either result is with respect to its hypothesis on the size of the allowable singular sets.…

We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular…

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…

We show that it is consistent that for some uncountable cardinal k, all compactifications of the countable discrete space with remainders homeomorphic to $D^k$ are homeomorphic to each other. On the other hand, there are $2^c$ pairwise…

We prove a duality theorem for Cohen--Macaulay simplicial complexes. This is a generalisation of Poincar\'e Duality, framed in the language of combinatorial sheaves. Our treatment is self-contained and accessible for readers with a working…

The article uses two examples to explore the statement that, contrary to the common wisdom, the properties of singular cardinals are actually more intuitive than those of the regular ones.

Motivated by recent work of Boney, Dimopoulos, Gitman and Magidor, we characterize the existence of weak compactness cardinals for all abstract logics through combinatorial properties of the class of ordinals. This analysis is then used to…

We develop the compactness theory of multilinear singular integrals on product spaces using a modern point of view. The first main result is a compact $T1$ theorem for multilinear Calder\'{o}n--Zygmund operators on product spaces. More…

We show that Shelah's Eventual Categoricity Conjecture follows from the existence of class many strongly compact cardinals. This is the first time the consistency of this conjecture has been proven. We do so by showing that every AEC with…

We establish a new $T1$ theorem for the compactness of bi-parameter Calder\'on-Zygmund singular integral operators. Namely, we show that if a bi-parameter CZO $T$ satisfies the product weak compactness property, the mixed weak…

In this note, we consider blow-up for solutions of the SU(3) Toda system on a compact surface \Sigma. In particular, we give a complete proof of the compactness result stated by Jost, Lin and Wang and we extend it to the case of…

Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles…