Related papers: Representability and Compactness for Pseudopowers

We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable…

We discuss a Plancherel formula for countable groups, which provides a canonical decomposition of the regular representation of such a group $\Gamma$ into a direct integral of factor representations. Our main result gives a precise…

Let $\Omega\subset\C^n$ be a bounded smooth pseudoconvex domain. We show that compactness of the complex Green operator $G_{q}$ on $(0,q)$-forms on $b\Omega$ implies compactness of the $\bar{\partial}$-Neumann operator $N_{q}$ on $\Omega$.…

A simple \(P_\lambda\)-point on a regular cardinal \(\kappa\) is a uniform ultrafilter on \(\kappa\) with a mod-bounded decreasing generating sequence of length \(\lambda\). We prove that if there is a simple $P_\lambda$-point ultrafilter…

This is the second part of a work initiated in \cite{GaHa}, where we constructed a model category, $\Qt$, for set theory. In the present paper we use this model category to introduce homotopy-theoretic intuitions to set theory. Our main…

We announce some consequences of an abstract comparison principle.

Form methods are most efficient to prove generation theorems for semigroups but also for proving selfadjointness. So far those theorems are based on a coercivity notion which allows the use of the Lax-Milgram Lemma. Here we consider weaker…

In this paper, we demonstrate that if, for every $\kappa$-complete fine filter $F$ over $\mathcal{P}_{\kappa}\lambda$, the associated Namba forcing $\mathrm{Nm}(\kappa,\lambda,F)$ is semiproper, then $\square(\mu,{<}\aleph_1)$ fails for all…

In this paper (propositional) probability logic ($PL$) is investigated from model theoretic point of view. First of all, the ultraproduct construction is adapted for $\sigma$-additive probability models, and subsequently when this class of…

We prove that many completeness properties coincide in metric spaces, precompact groups and dense subgroups of products of separable metric groups. We apply these results to function spaces C_p(X,G) of G-valued continuous functions on a…

We generalise Jensen's result on the incompatibility of subcompactness with square. We show that alpha^+-subcompactness of some cardinal less than or equal to alpha precludes square_alpha, but also that square may be forced to hold…

We show that if a field A is not pseudo-finite, then there is no prime model of the theory of pseudo-finite fields over A. Assuming GCH, we generalise this result to \kappa-prime models, for \kappa a regular uncountable cardinal or…

We continue our investigation on pcf with weak form of choice. Characteristically we assume DC + P(Y) when looking and prod_{s in Y} delta_s. We get more parallel of theorems on pcf.

We prove a compactness theorem for holomorphic curves in 4-dimensional symplectizations that have embedded projections to the underlying 3-manifold. It strengthens the cylindrical case of the SFT compactness theorem by using intersection…

We develop new local $T1$ theorems to characterize Calder\'on-Zygmund operators that extend boundedly or compactly on $L^{p}(\mathbb R^{n},\mu)$ with $\mu$ a measure of power growth. The results, whose proofs do not require random grids,…

We prove that for any FAb compact $p$-adic analytic group $G$, its representation zeta function is a finite sum of terms $n_{i}^{-s}f_{i}(p^{-s})$, where $n_{i}$ are natural numbers and $f_{i}(t)\in\mathbb{Q}(t)$ are rational functions.…

We show that every Abelian group satisfying a mild cardinal inequality admits a pseudocompact group topology from which all countable subgroups inherit the maximal totally bounded topology (we say that such a topology satisfies property…

We study methods to obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first force over a model with a supercompact cardinal $\theta>\kappa$ to get the consistency of the forcing axiom for $\kappa$-strongly…

We prove a T(1) Theorem to completely characterize compactness of Calderon-Zygmund operators. The result provides sufficient and necessary conditions for the compactness of singular integral operators acting on L^p(R).

We argue that we solved Hilbert's first problem positively (after reformulating it just to avoid the known consistency results) and give some applications. Let lambda to the revised power of kappa, denoted lambda^{[kappa]}, be the minimal…