Related papers: The condition in the Trichotomy Theorem is optimal

Let $k$ be a totally real number field and $p$ a prime. We show that the ``complexity'' of Greenberg's conjecture ($\lambda = \mu = 0$) is of $p$-adic nature governed (under Leopoldt's conjecture) by the finite torsion group ${\mathcal…

Given a stable L\'{e}vy process $X=(X_t)_{0\le t\le T}$ of index $\alpha\in(1,2)$ with no negative jumps, and letting $S_t=\sup_{0\le s\le t}X_s$ denote its running supremum for $t\in [0,T]$, we consider the optimal prediction problem…

In an optimal control framework, we consider the value $V_T(x)$ of the problem starting from state $x$ with finite horizon $T$, as well as the value $V_\lambda(x)$ of the $\lambda$-discounted problem starting from $x$. We prove that uniform…

It is shown that the Lame's equation ${d^{2}\over d z^{2}}X+\kappa^{2} cn^{2}(z, {1\over \sqrt 2})X=0$ can be reduced to the hyper-geometric equation. The characteristic exponents of this equation are expressed in terms of elementary…

Given two infinite cardinals $\kappa$ and $\lambda$, we introduce and study the notion of a $\kappa$-barely independent family over $\lambda.$ We provide some conditions under which these types of families exist. In particular, we relate…

We show that Kunen's saturated ideal over $\aleph_1$ is not centered. We also evaluate the extent of saturation of Laver's saturated ideal in terms of $(\kappa,\lambda,<\nu)$-saturation.

Does the class of linear orders have (one of the variants of) the so called (lambda, kappa)-limit model? It is necessarily unique, and naturally assuming some instances of G.C.H. we get some positive, i.e. existence results. More generally,…

We prove the optimal $L^2$-extension theorem of Ohsawa-Takegoshi type on a tube domain. As an application, we give a simple proof of Pr\'ekopa's theorem.

We consider the partition lattice $\Pi_\kappa$ on any set of transfinite cardinality $\kappa$ and properties of $\Pi_\kappa$ whose analogues do not hold for finite cardinalities. Assuming the Axiom of Choice we prove: (I) the cardinality of…

We consider an optimal transport problem with backward martingale constraint. The objective function is given by the scalar product of a pseudo-Euclidean space $S$. We show that the supremums over maps and plans coincide, provided that the…

We extend the classical notion of solvability to a lambda-calculus equipped with pattern matching. We prove that solvability can be characterized by means of typability and inhabitation in an intersection type system P based on…

Let $A$ and $C$ be two unital simple C*-algebas with tracial rank zero. Suppose that $C$ is amenable and satisfies the Universal Coefficient Theorem. Denote by ${{KK}}_e(C,A)^{++}$ the set of those $\kappa$ for which…

In this paper, we first prove the optimal lower bound for Alexandrov angle rigidity of torsion elliptic isometries on any complete CAT($\kappa$) space, which, when attained, leads to an embedded 2-flat in the tangent cone invariant under…

For any ordinal \Lambda, we can define a polymodal logic GLP(\Lambda), with a modality [\xi] for each \xi<\Lambda. These represent provability predicates of increasing strength. Although GLP(\Lambda) has no Kripke models, Ignatiev showed…

Saturation is (mu,kappa)-transferable in T if and only if there is an expansion T_1 of T with |T_1| = |T| such that if M is a mu-saturated model of T_1 and |M| \geq kappa then the reduct M|L(T) is kappa-saturated. We characterize theories…

We investigate the class of models of a general dependent theory. We continue math.LO/0702292 in particular investigating so called "decomposition of types"; thesis is that what holds for stable theory and for Th(Q,<) hold for dependent…

We study the necessity of bump conditions for the boundedness of the Hardy-Littlewood maximal operator $M$ from $L^p(v)$ into $L^p(w)$, where $1<p<\infty$. The conditions in question are obtained by replacing the average of…

Let $\Omega$ be a bounded connected open subset in $\mathbb{R}^n$ with smooth boundary $\partial\Omega$. Suppose that we have a system of real smooth vector fields $X=(X_{1},X_{2},$ $\cdots,X_{m})$ defined on a neighborhood of…

We show that the smoother the weight, the broader the range of exponents for which the Lavrentiev's gap is absent for the double phase functionals, i.e., $u \mapsto \int_{\Omega} \left(|\nabla u|^p + a(x)|\nabla u|^q\right)\,dx\,, \quad 1…

Let $\kappa$,$\lambda$ be regular uncountable cardinals such that $\lambda > \kappa^+$ is not a successor of a singular cardinal of low cofinality. We construct a generic extension with $s(\kappa) = \lambda$ starting from a ground model in…