Related papers: Representability and Compactness for Pseudopowers

Let $\alpha$ be a coprime automorphism of a group $G$ of prime order and let $P$ be an $\alpha$-invariant Sylow $p$-subgroup of $G$. Assume that $p\notin \pi(C_G(\alpha))$. Firstly, we prove that $G$ is $p$-nilpotent if and only if…

Suppose $\kappa$ is $\lambda$-supercompact witnessed by an elementary embedding $j:V\rightarrow M$ with critical point $\kappa$, and further suppose that $F$ is a function from the class of regular cardinals to the class of cardinals…

We introduce a general notion of covering property, of which many classical definitions are particular instances. Notions of closure under various sorts of convergence, or, more generally, under taking kinds of accumulation points, are…

Let $\Omega\subset \mathbb{C}^n$ for $n\geq 2$ be a bounded pseudoconvex domain with a $C^2$-smooth boundary. We study the compactness of composition operators on the Bergman spaces of smoothly bounded convex domains. We give a partial…

Let $G$ be a reductive $p$-adic group. We prove that all supercuspidal representations of $G$ arise through Yu's construction subject to certain hypotheses on $k$ (depending on $G$). As a corollary, under the same hypotheses, we see that…

This paper contributes to the set-theoretic side of understanding Keisler's order. We consider properties of ultrafilters which affect saturation of unstable theories: the lower cofinality $\lcf(\aleph_0, \de)$ of $\aleph_0$ modulo $\de$,…

We prove that a strongly compact cardinal is an upper bound for a Hanf number for amalgamation, etc. in AECs using both semantic and syntactic methods. To syntactically prove non-disjoint amalgamation, a different presentation theorem than…

We prove collective versions of semi-duality theorems for sets of almost (limitedly, order) L-weakly compact operators.

Let $G$ be a compact connected semisimple Lie group, let $K$ be a closed subgroup of $G$, let $\Gamma$ be a finite subgroup of $G$, and let $\tau$ be a finite-dimensional representation of $K$. For $\pi$ in the unitary dual $\widehat G$ of…

Let $G$ be a second-countable, locally compact Hausdorff groupoid equipped with a Haar system. This paper investigates the weak containment of continuous unitary representations of groupoids. We show that both induction and inner tensor…

Harvey Friedman, in his remarkable paper Finite functions and the necessary use of large cardinals, Ann. Math. 148:803-893, 1998 and in a technical report, Applications of large cardinals to graph theory, Ohio State University, 1997,…

Inspired by computational complexity results for the quantified constraint satisfaction problem, we study the clones of idempotent polymorphisms of certain digraph classes. Our first results are two algebraic dichotomy, even "gap",…

We investigate some of the effects of the lack of compactness in the critical Folland-Stein-Sobolev embedding in very general (possible non-smooth) domains, by proving via De Giorgi's $\Gamma$-convergence techniques that optimal functions…

We show that the tree property, stationary reflection and the failure of approachability at $\kappa^{++}$ are consistent with $\mathfrak{u}(\kappa) = \kappa^+ < 2^\kappa$, where $\kappa$ is a singular strong limit cardinal with the…

We complete the analysis of the effective field theory at the electroweak scale for minimal models of fundamental partial compositeness. Specifically, we consider fermions in the complex and real representation of the gauge group underlying…

We prove a Tb Theorem that characterizes all Calderon-Zygmund operators that extend compactly on L^p(R^n), 1<p<\infty . The result, whose proof does not require the property of accretivity, can be used to prove compactness of the Double…

Let f : (M,p)\to (M',p') be a formal (holomorphic) nondegenerate map, i.e. with formal holomorphic Jacobian J_f not identically vanishing, between two germs of real analytic generic submanifolds in \C^n, p'=f(p). Assuming the target…

We show that if $\mu \leq \cf \lambda $ and $\lambda$ is a strong limit singular cardinal, then $[\mu, \lambda ]$-compactness is productive if and only if either $\mu= \omega $, or $\mu$ is $\lambda$-strongly compact.

We study the reverse mathematics of the theory of countable second-countable topological spaces, with a focus on compactness. We show that the general theory of such spaces works as expected in the subsystem $\mathsf{ACA}_0$ of second-order…

Under the assumption that $\delta$ is a Woodin cardinal and $\GCH$ holds, I show that if $F$ is any class function from the regular cardinals to the cardinals such that (1) $\kappa<\cf(F(\kappa))$, (2) $\kappa<\lambda$ implies…