Related papers: Unreachability of Inductive-Like Pointclasses in $…

In sequent calculi, cut elimination is a property that guarantees that any provable formula can be proven analytically. For example, Gentzen's classical and intuitionistic calculi LK and LJ enjoy cut elimination. The property is less…

We show, assuming PD, that every complete finitely axiomatized second order theory with a countable model is categorical, but that there is, assuming again PD, a complete recursively axiomatized second order theory with a countable model…

We prove, via transfinite recursion, the existence, inside any linearly ordered set of appropriate regular cardinality $\lambda$, of a particular kind of well-ordered subsets characterized by the property of $\lambda$-fullness. Let $H$ be a…

We prove that for any pair of irreducible principal series representations $(\pi_1,\pi_2)$ of $\operatorname{GL}_n(\mathbb{R})$ in general position, the notions of exceptional pole of type 1 and type 2 coincide. Using this identification,…

Given a closed oriented surface $\Sigma$ of genus at least two, the Goldman trace map defines a function from the vector space generated by the free homotopy classes of oriented closed curves to the Poisson algebra of regular functions on…

Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor. Then every non-unit $a \in H$ can be written as a finite product of atoms, say $a=u_1 \cdot \ldots \cdot u_k$. The set $\mathsf L (a)$ of…

We study deformations of irreducible Hermitian symmetric spaces $S$ of the compact type, known to be locally rigid, as projective-algberaic manifolds and prove that no jump of complex structures can occur. For each $S$ of rank $\ge 2$ there…

We consider singular integrals associated to homogeneous kernels on self similar sets. Using ideas from ergodic theory we prove, among other things, that in Euclidean spaces the principal values of singular integrals associated to real…

It is well-known that every weakly convergent sequence in $\ell_1$ is convergent in the norm topology (Schur's lemma). Phillips' lemma asserts even more strongly that if a sequence $(\mu_n)_{n\in\mathbb N}$ in $\ell_\infty'$ converges…

The following paper is inspired by Efimov's problem - an undecided problem of whether there exists an infinite compact topological space that does not contain neither non-trivial convergent sequences nor a copy of $\beta\omega$. After…

We give, as $L$ grows to infinity, an explicit lower bound of order $L^{n/m}$ for the expected Betti numbers of the vanishing locus of a random linear combination of eigenvectors of $P$ with eigenvalues below $L$. Here, $P$ denotes an…

Let $G = SO_0(2,m),$ the connected component of the Lie group $SO(2,m);\ K = SO(2) \times SO(m),$ a maximal compact subgroup of $G;$ and $\theta$ be the associated Cartan involution of $G.$ Let $X = G/K,\ \frak{g}_0$ be the Lie algebra of…

There is a long standing conjecture that there are at least $n$ closed characteristics for any compact convex hypersurface $\Sigma$ in $\mathbb{R}^{2n}$, and the symmetric case, i.e. $\Sigma=-\Sigma$, has already been proved by C. Liu, Y.…

An exact Lagrangian submanifold $L$ in the symplectization of standard contact $(2n-1)$-space with Legendrian boundary $\Sigma$ can be glued to itself along $\Sigma$. This gives a Legendrian embedding $\Lambda(L,L)$ of the double of $L$…

We investigate how the Hausdorff dimension and measure of a self-similar set $K\subseteq\mathbb{R}^{d}$ behave under linear images. This depends on the nature of the group $\mathcal{T}$ generated by the orthogonal parts of the defining maps…

Let $\Sigma$ be a surface of negative Euler characteristic and $S$ a generating set for $\pi_1(\Sigma,p)$ consisting of simple loops that are pairwise disjoint (except at $p$). We show that the word length with respect to $S$ of an element…

We use the core model for sequences of measures to prove a new lower bound for the consistency strength of the failure of the SCH: THEOREM (i) If there is a singular strong limit cardinal $\kappa$ such that $2^\kappa > kappa^+$ then there…

We show that Hilbert schemes of points on supersingular Enriques surface in characteristic 2 are simply connected, symplectic varieties but are not irreducible symplectic as the hodge number $h^{2,0} > 1$, even though a supersingular…

We define a weak iterability notion that is sufficient for a number of arguments concerning $\Sigma_1$-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second…

For a strongly inacessible cardinal $\kappa$, we investigate the relationships between the following ideals: - the ideal of meager sets in the ${<}\kappa$-box product topology - the ideal of "null" sets in the sense of [Sh:1004]…