Related papers: Algebraic characterisation of pseudo-elementary an…
We present a classification of $W$ algebras and superalgebras arising in Abelian as well as non Abelian Toda theories. Each model, obtained from a constrained WZW action, is related with an $Sl(2)$ subalgebra (resp. $OSp(1|2)$ superalgebra)…
Hilbert's Entscheidungsproblem has given rise to a broad and productive line of research in mathematical logic, where the classification process of decidable classes of first-order sentences represent only one of the remarkable results.…
The importance of the theory of pseudo-differential operators in the study of non linear integrable systems is point out. Principally, the algebra $\Xi $ of nonlinear (local and nonlocal) differential operators, acting on the ring of…
For a restricted Lie superalgebra g over an algebraically closed field of characteristic p > 2, we generalize the deformation method of Premet and Skryabin to obtain results on the p-power and 2-power divisibility of dimensions of…
Following the work of Duistermaat-Singer \cite{DS} on isomorphisms of algebras of global pseudodifferential operators, we classify isomorphisms of algebras of microlocally defined semiclassical pseudodifferential operators. Specifically, we…
We introduce the Boolean algebra of d-semialgebraic (more generally, d-definable) sets and prove that its Stone space is naturally isomorphic to the Ellis enveloping semigroup of the Stone space of the Boolean algebra of semialgebraic…
Families of operator identities appeared as a consequence of an existence of finite-dimensional representation of (super) Lie algebras of first-order differential operators and $q$-deformed (quantum) algebras of first-order…
We study the expressivity and computational aspects of first-order logic and its extensions in the semiring semantics developed by Gr\"adel and Tannen. We characterize the complexity of model checking and data complexity of first-order…
The class of uniformly computable real functions with respect to a small subrecursive class of operators computes the elementary functions of calculus, restricted to compact subsets of their domains. The class of conditionally computable…
Semidefinite programs (SDPs) -- some of the most useful and versatile optimization problems of the last few decades -- are often pathological: the optimal values of the primal and dual problems may differ and may not be attained. Such SDPs…
Let $P(h),h\in]0,1]$ be a semiclassical scalar differential operator of order $2$. The existence of a supersymmetric structure given by a matrix $G(x;h)$ was exhibited in \cite{HeHiSj13} under rather general assumptions. In this note we…
We study characteristic classes of hypersurfaces in the complex projective space, with emphasis on secants to rational normal curves. For $Sec_k C\subset \mathbb{P}^{n}$, the secant of $k$ points to a rational normal curve $C\subset…
We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…
We describe a new approach for classifying conjugacy classes of elementary abelian subgroups in simple algebraic groups over an algebraically closed field, and understanding the normaliser and centraliser structure of these. For toral…
Descriptive complexity theory aims at inferring a problem's computational complexity from the syntactic complexity of its description. A cornerstone of this theory is Fagin's Theorem, by which a graph property is expressible in existential…
The cofinality quantifiers were introduced by Shelah as an example of a compact logic stronger than first-order logic. We show that the classes of models axiomatized by these quantifiers can be turned into an Abstract Elementary Class by…
Fiore and Hur recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a…
We describe a class calculus that is expressive enough to describe and improve its own learning process. It can design and debug programs that satisfy given input/output constraints, based on its ontology of previously learned programs. It…
In this paper exterior products are used to define operations and characteristic classes with values in the K-theory of an abelian category with tensor and exterior products. We apply the general construction to define Chern and Segre…
We construct a few supercharacter theories for finite semidirect products with the normal subgroup of algebra group type. In the case of algebra groups, these supercharacter theories coincide with the one of P.Diaconis and I.M.Isaaks. For…