Related papers: Non-forking w-good frames
I prove several theorems concerning upward closure and amalgamation in the generic multiverse of a countable transitive model of set theory. Every such model $W$ has forcing extensions $W[c]$ and $W[d]$ by adding a Cohen real, which cannot…
Extending the lambda-calculus with a construct for sharing, such as let expressions, enables a special representation of terms: iterated applications are decomposed by introducing sharing points in between any two of them, reducing to the…
We prove the (2,1)-categorical analogue of the small object argument and give a (2,1)-model structure on the category of small coherent categories, coherent functors and natural isomorphisms. It is induced by a higher dimensional example of…
This text is a detailed overview of the theories of W*-algebras and noncommutative integration, up to the Falcone-Takesaki theory of noncommutative Lp spaces over arbitrary W*-algebras, and its extension to noncommutative Orlicz spaces. The…
Let $\mathbb{k}$ be a field, and let $\Lambda$ be a (not necessarily finite dimensional) $\mathbb{k}$-algebra. Let $V$ be a left $\Lambda$-module such that is finite dimensional over $\mathbb{k}$. Assume further that $V$ has a weak…
We prove the uniqueness of high cofinality limit models in stable abstract elementary classes (AECs) with amalgamation, assuming the existence of a rather weak independence relation. $\textbf{Theorem.}$ Suppose $\mathbf{K}$ is a…
For {\theta} \in [0, 2{\pi}), consider the rotation matrix R? and h = ({\lambda}, 0; 0, 0), {\lambda} > 1. Let W_n({\theta}) denote the product of m R?'s and n h's with the condition m \leq [\epsilon\astn], (0 < \epsilon < 1). We analyze…
We give a type system in which the universe of types is closed by reflection into it of the logical relation defined externally by induction on the structure of types. This contribution is placed in the context of the search for a natural,…
We derive an extension of the Walnut-Daubechies criterion for the invertibility of frame operators. The criterion concerns general reproducing systems and Besov-type spaces. As an application, we conclude that $L^2$ frame expansions…
This paper defines two decreasing measures for terms of the simply typed lambda-calculus, called the W-measure and the Tm-measure. A decreasing measure is a function that maps each typable lambda-term to an element of a well-founded…
Aldroubi has shown how one can construct any frame $\gtu$ starting with one frame $\ftu $,using a bounded operator $U$ on $l^2(N)$. We study the overcompleteness of the frames in terms of properties of $U$. We also discuss perturbation of…
Let $k$ and $N$ be positive integers with $k\ge2$ even. In this paper we give general explicit upper-bounds in terms of $k$ and $N$ from which all the residual representations $\bar{\rho}_{f,\lambda}$ attached to non-CM newforms of weight…
We extend the notion of semi-infinite cohomology of Lie algebras to include cases where the Lie algebra does not admit a semi-infinite structure but satisfies a mild condition. Our construction clarifies the definition of affine W-algebras…
Let G be a locally compact non-compact group. We show that under a very mild assumption on the weight function w, the weighted group algebra L_1(G,w) is strongly Arens irregular in the sense of Dales-Lamb-Lau. To this end, we first derive a…
The main results in this thesis deal with the representation growth of certain classes of groups. In chapter $1$ we present the required preliminary theory. In chapter $2$ we introduce the Congruence Subgroup Problem for an algebraic group…
Let K be a number field, let A be a finite dimensional semisimple K-algebra and let Lambda be an O_K-order in A. It was shown in previous work that, under certain hypotheses on A, there exists an algorithm that for a given (left)…
In 2D conformal quantum field theory, we continue a systematic study of W-algebras with two and three generators and their highest weight representations focussing mainly on rational models. We review the known facts about rational models…
Let $\Lambda$ be a finite-dimensional algebra over an algebraically closed field, then $\Lambda$ is either tame or wild. Is there any homological description in terms of AR-translations on tameness? Or equivalently, is there any…
We show that certain classes of modules have universal models with respect to pure embeddings. $Theorem.$ Let $R$ be a ring, $T$ a first-order theory with an infinite model extending the theory of $R$-modules and $K^T=(Mod(T), \leq_{pp})$…
We develop a usable perturbation theory for Weyl-Heisenberg frames. In particular, we prove that if $(E_{mb}T_{na}g)_{m,n\inmathbb Z}$ is a WH-frame and $h$ is a function which is close to $g$ in the Wiener Amalgam space norm, then…