Related papers: On a Glimm -- Effros dichotomy and an Ulm--type cl…

We prove that in some cases definable thin sets (including chains) of Borel partial orderings are necessarily countably cofinal. This includes the following cases: analytic thin sets, ROD thin sets in the Solovay model, and $\Sigma^1_2$…

It is consistent that for every n >= 2, every stationary subset of omega_n consisting of ordinals of cofinality omega_k where k = 0 or k <= n-3 reflects fully in the set of ordinals of cofinality omega_{n-1}. We also show that this result…

We consider the following question: Given a connected open domain $\Omega\subset R^n$, suppose $u,v:\Omega\rightarrow R^n$ with $\det(\nabla u)>0$, $\det(\nabla v)>0$ a.e. are such that $\nabla u^T(x)\nabla u(x)=\nabla v(x)^T \nabla v(x)$…

We study the ergodic properties of Schr\"odinger operators on a compact connected Riemannian manifold $M$ without boundary in case that the underlying Hamiltonian system possesses certain symmetries. More precisely, let $M$ carry an…

We clarify the notion of the DS --- generalized Drinfeld-Sokolov --- reduction approach to classical ${\cal W}$-algebras. We first strengthen an earlier theorem which showed that an $sl(2)$ embedding ${\cal S}\subset {\cal G}$ can be…

We prove lifting theorems for complex representations $V$ of finite groups $G$. Let $\sigma=(\sigma_1,\dots,\sigma_n)$ be a minimal system of homogeneous basic invariants and let $d$ be their maximal degree. We prove that any continuous map…

We prove that every continuous function $f:E\to Y$ depends on countably many coordinates, if $E$ is an $(\aleph_1,\aleph_0)$-invariant pseudo-$\aleph_1$-compact subspace of a product of topological spaces and $Y$ is a space with a regular…

For an ordinal $\alpha$, $\sf PEA_{\alpha}$ denotes the class of polyadic equality algebras of dimension $\alpha$. We show that for several classes of algebras that are reducts of $\PEA_{\omega}$ whose signature contains all substitutions…

We classify the solutions to the equation (- \Delta)^m u=(2m-1)!e^{2mu} on R^{2m} giving rise to a metric g=e^{2u}g_{R^{2m}} with finite total $Q$-curvature in terms of analytic and geometric properties. The analytic conditions involve the…

We prove that for any prime $\ell$, any finite group has as many irreducible complex characters of degree prime to $\ell$ as the normalizers of its Sylow $\ell$-subgroups. This equality was conjectured by John McKay. The conjecture was…

We show that alpha stable L\'evy motions can be simulated by any ergodic and aperiodic probability preserving transformation. Namely we show: - for $0<\alpha<1$ and every $\alpha$ stable L\'evy motion $\mathbb{W}$, there exists a function f…

We give a large sieve type inequality for functions supported on primes. As application we prove a conjecture by Elliott, and give bounds for short character sums over primes. The proves uses a combination of the large sieve and the Selberg…

We show that the theory $I\Sigma_1$ of $\Sigma_1$-induction proves the following statement: For all $n\geq 2$, the uniform $\Sigma_1$-reflection principle over the theory $I\Sigma_n$ is equivalent to the totality of the function…

Let S=Sym(\Omega) be the group of all permutations of a countably infinite set \Omega, and for subgroups G_1, G_2\leq S let us write G_1\approx G_2 if there exists a finite set U\subseteq S such that < G_1\cup U > = < G_2\cup U >. It is…

We consider the complexity of deciding membership of a given finite semigroup to a fixed pseudovariety. While it is known that there exist pseudovarieties with NP-complete or even undecidable membership problems, for many well-known…

In this paper the Erdos-Rado theorem is generalized to the class of well founded trees. We define an equivalence relation on the class rs(infty)^{< aleph_0} (finite sequences of decreasing sequences of ordinals) with aleph_0 equivalence…

Real continuous submodular functions, as a generalization of the corresponding discrete notion to the continuous domain, gained considerable attention recently. The analog notion for entropy functions requires additional properties: a real…

It is proved that for any $0<\beta<\alpha$, any bounded Ahlfors $\alpha$-regular space contains a $\beta$-regular compact subset that embeds biLipschitzly in an ultrametric with distortion at most $O(\alpha/(\alpha-\beta))$. The bound on…

The category of rational O(2)-equivariant cohomology theories has an algebraic model A(O(2)), as established by work of Greenlees. That is, there is an equivalence of categories between the homotopy category of rational O(2)-equivariant…

We prove that for any $\ell \geq 0$, there exists an algorithm which takes as input a description of a semi-algebraic subset $S \subset \mathbb{R}^k$ given by a quantifier-free first order formula $\phi$ in the language of the reals, and…