Related papers: Woodin for strong compactness cardinals

We investigate negative square-brackets partition relations at successors of singular cardinals of countable cofinality. Along the way we prove some club-guessing results.

Assuming the P-ideal dichotomy, we attempt to isolate those cardinal characteristics of the continuum that are correlated with two well-known consequences of the proper forcing axiom. We find a cardinal invariant $\mathfrak{x}$ such that…

We generalize the constructions and results of Chapter 10 in Baldwin's "Categoricity" to coherent accessible categories with concrete directed colimits and concrete monomorphisms. In particular, we prove that if any category of this form is…

We introduce a model-theoretic characterization of Magidor cardinals, from which we infer that Magidor filters are beyond ZFC-inconsistency

In arXiv1312.7267, the first non-trivial example of a Poisson manifold of strong compact type is given. The construction uses the theory of K3 surfaces and results in a Poisson manifold with leaf space $S^1$. We modify the construction to…

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…

Through careful analysis of an argument of Brooke-Taylor and Rosicky, we show that the powerful image of any accessible functor is closed under colimits of $\kappa$-chains, $\kappa$ a sufficiently large almost measurable cardinal. 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…

This note addresses the continuum problem, taking advantage of the breakthrough mentioned in the subtitle, and relating it to many recent advances occurring in set theory.

In this short note we give a proof of the refined version of the uniform invariant approximation property for compact (non-commutative) groups following the Bourgain's approach.

We introduce the rigid tensor category of tubular partitions, and use it to provide a combinatorial model for the representation category of the quantum automorphism group of a homogeneous rooted tree.

We introduce a covering notion depending on two cardinals, which we call $\mathcal O $-$ [ \mu, \lambda ]$-compactness, and which encompasses both pseudocompactness and many other generalizations of pseudocompactness. For Tychonoff spaces,…

We present the theory of higher order invariants and higher order automorphic forms in the simplest case, that of a compact quotient. In this case many things simplify and we are thus able to prove a more precise structure theorem than in…

Introducing unfoldable cardinals last year, Andres Villaveces ingeniously extended the notion of weak compactness to a larger context, thereby producing a large cardinal notion, unfoldability, with some of the feel and flavor of weak…

We present a new partial order for directly forcing morasses to exist that enjoys a significant homogeneity property. We then use this forcing in a reverse Easton iteration to obtain an extension universe with morasses at every regular…

We provide a model theoretical and tree property like characterization of $\lambda$-$\Pi^1_1$-subcompactness and supercompactness. We explore the behaviour of those combinatorial principles at accessible cardinals.

We improve the upper bound for the consistency strength of stationary reflection at successors of singular cardinals.

We study connections between definability in generalized descriptive set theory and large cardinals, under ZFC. We show that if $\kappa$ is a limit of measurables then there is no wellorder of a subset of $P(\kappa)$ of length…

The "weakly Hausdorff" property for pseudoradial spaces fails to be naturally characterized by unique convergence of transfinite sequences. In response, we develop the category $\mathbf{SPsRad}$ of strongly pseudoradial spaces, compactly…

We prove that every weakly square compact cardinal is a strong limit cardinal. We also study Aronszajn trees with no uncountable finitely branching subtrees, characterizing them in terms of being Lindel\"of with respect to a particular…