Related papers: The higher sharp II: on $M_2^\#$
Let $2<n<m\leq \omega$. Let $\CA_n$ denote the class of cylindric algebras of dimension $n$ and $\RCA_n$ denote the class of representable $\CA_n$s. We say that $\A\in \RCA_n$ is representable up to $m$ if $\Cm\At\A$ has an $m$-square…
We start with definitions of the general notions of the theory of $\Bbb Z_{2}$-graded algebras. Then we consider theory of inductive families of $\Bbb Z_{2}$-graded semisimple finite-dimensional algebras and its representations in the…
We establish the decidability of the $\Sigma_2$ theory of $\mathscr{D}_h(\leq_h \mathcal{O})$, the hyperarithmetic degrees below Kleene's $\mathcal{O}$, in the language of uppersemilattices with least and greatest element. This requires a…
We consider M-theory on (T^2\times R^2)/Z_n with M5 branes wrapped on R^2. One can probe this background with M5 branes wrapped on T^2. The theories on the probes provide many new examples of N=2 field theories without Lagrangian…
Methods are reviewed for computing the instanton expansion of the prepotential for N=2 Seiberg-Witten theory with non-hyperelliptic curves. These results, when compared with the instanton expansion obtained from the microscopic Lagrangian,…
We develop a general theory of jump operators, which is intended to provide an abstraction of the notion of "limit-computability" on represented spaces. Jump operators also provide a framework with a strong categorical flavor for…
Recall that the Mouse Set Conjecture says that under AD++V=L(P(R)), a real is ordinal definable if and only if it belongs to an iterable mouse. The Mouse Set Conjecture for sets of reals says that under the same theory, a set of reals is…
We give an example of two ordered structures M, N in the same language L with the same universe, the same order and admitting the same one-variable definable subsets such that M is a model of the common theory of o-minimal L-structures and…
A categorification of the Beilinson-Lusztig-MacPherson form of the quantum sl(2) was constructed in the paper arXiv:0803.3652 by the second author. Here we enhance the graphical calculus introduced and developed in that paper to include…
We consider two types of multilinear pseudodifferential operators. First, we prove the boundedness of multilinear pseudodifferential operators with symbols which are only measurable in the spatial variables in weighted Lebesgue spaces.…
We classify the maximal $m$-distance sets in $\mathbb{R}^{n-1}$ which contain the representation of the Johnson graph $J(n, m)$ for $m = 2, 3$. Furthermore, we determine the necessary and sufficient condition for $n$ and $m$ such that the…
In this paper we show how wavelets originating from multiresolution analysis of scale N give rise to certain representations of the Cuntz algebras O_N, and conversely how the wavelets can be recovered from these representations. The…
We compute the perturbative tachyonic and massless spectra of Type II and Type 0 string theories on non-supersymmetric T^2/Z_N orbifolds, and those on T^4/Z_N ones. Comparing the spectra with one another, we obtain insight about the…
We describe some recent developments and formulate some conjectures in the genuine representation theory and the study of automorphic forms of the metaplectic group $\mathrm{Mp}(2n)$, from the point of view of the theta correspondence as…
The Recognizability Theorem states that if a set of finite graphs is definable by a monadic second-order (MSO) sentence, then it is recognizable with respect to the graph algebra upon which the definition of clique-width is based.…
A theorem of Y. Berest, P. Etingof and V. Ginzburg states that finite dimensional irreducible representations of a type A rational Cherednik algebra are classified by one rational number m/n. Every such representation is a representation of…
The connection between differential geometry of curves and the (2+1)-dimensional integrable spin system - the M-III equation is established. Using the presented geometrical formalism the L-equivalent counterpart of the M-III equation is…
This work is the first one in a series, in which we develop a mathematical theory of enriched (braided) monoidal categories and their representations. In this work, we introduce the notion of the $E_0$-center ($E_1$-center or $E_2$-center)…
We compactify M(atrix) theory on Riemann surfaces Sigma with genus g>1. Following [1], we construct a projective unitary representation of pi_1(Sigma) realized on L^2(H), with H the upper half-plane. As a first step we introduce a suitably…
We study monitorable sets from a topological standpoint. In particular, we use descriptive set theory to describe the complexity of the family of monitorable sets in a countable space $X$. When $X$ is second countable, we observe that the…