Related papers: Cohen Generic Structures with Functions

We use discrete Morse theory to determine the M\"obius function of generalized factor order. Ordinary factor order on the Kleene closure A* of a set A is the partial order defined by letting u\leq w if w contains u as a subsequence of…

Let $f$ be a primitive cusp form of weight $k$ and level $N,$ let $\chi$ be a Dirichlet character of conductor coprime with $N,$ and let $\mathfrak{L}(f\otimes \chi, s)$ denote either $\log L(f\otimes \chi, s)$ or $(L'/L)(f\otimes \chi,…

We give a general construction for the classical limit of a quantum system defined in terms of generators of an arbitrary compact semisimple Lie algebra, generalizing known results for the $\mathfrak{su}_2$ and $\mathfrak{su}_3$ cases. The…

We study the semisimplicity of the category $KL_k$ for affine Lie superalgebras and provide a super analog of certain results from arXiv:1801.09880. Let $KL_k^{fin}$ be the subcategory of $KL_k$ consisting of ordinary modules on which the…

Let $G\subset GL(V)$ be a linear Lie group with Lie algebra $\frak g$ and let $A(\frak g)^G$ be the subalgebra of $G$-invariant elements of the associative supercommutative algebra $A(\frak g)= S(\frak g^*)\otimes \La(V^*)$. To any…

Let $\mathbb{K}$ be an algebraically closed field, and $A \subset \mathbb{K}[x_{1}, \ldots, x_n]$ be a subalgebra of finite codimension. It is known that there exists a (not necessarily unique) finite filtration of $\mathbb{K}$-algebras \[…

First we define a unification grammar formalism called the Tree Homomorphic Feature Structure Grammar. It is based on Lexical Functional Grammar (LFG), but has a strong restriction on the syntax of the equations. We then show that this…

In this paper we investigate the connections between Ramsey properties of Fraisse classes K and the universal minimal flow M(G_K) of the automorphism group G_K of their Fraisse limits. As an extension of a result of Kechris, Pestov and…

A finitely generated module $M$ over a local ring is called a sequentially generalized Cohen-Macaulay module if there is a filtration of submodules of $M$: $M_0\subset M_1\subset ... \subset M_t=M$ such that $\dim M_0<\dim M_1< >... <\dim…

We study subsets of groups and monoids defined by language-theoretic means, generalizing the classical approach to the word problem. We expand on results by Herbst from 1991 to a more general setting, and for a class of languages…

Let P be a poset and let P* be the set of all finite length words over P. Generalized subword order is the partial order on P* obtained by letting u \leq w if and only if there is a subword u' of w having the same length as u such that each…

We show that if $V$ is a vertex operator algebra such that all the irreducible ordinary $V$-modules are $C_1$-cofinite and all the grading-restricted generalized Verma modules for $V$ are of finite length, then the category of finite length…

Various feature descriptions are being employed in logic programming languages and constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called features. The descriptions…

A differential system $[A] : \; Y'=AY$, with $A\in \mathrm{Mat}(n, \bar{k})$ is said to be in reduced form if $A\in \mathfrak{g}(\bar{k})$ where $\mathfrak{g}$ is the Lie algebra of the differential Galois group $G$ of $[A]$. In this…

We develop the theory of Fra\"iss\'e limits for classes of finite-dimensional multi-seminormed spaces, which are defined to be vector spaces equipped with a finite sequence of seminorms. We define a notion of a Fra\"iss\'e Fr\'echet space…

We introduce and investigate here a formalisation for conditionals that allows the definition of a broad class of reasoning systems. This framework covers the most popular kinds of conditional reasoning in logic-based KR: the semantics we…

We show that it is equivalent, for certain sets of finite graphs, to be definable in CMS (counting monadic second-order logic, a natural extension of monadic second-order logic), and to be recognizable in an algebraic framework induced by…

Using a geometric argument, we show that under a reasonable continuity condition, the Clarke subdifferential of a semi-algebraic (or more generally stratifiable) directionally Lipschitzian function admits a simple form: the normal cone to…

Suppose that a Lie algebra $L$ admits a finite Frobenius group of automorphisms $FH$ with cyclic kernel $F$ and complement $H$ such that the characteristic of the ground field does not divide $|H|$. It is proved that if the subalgebra…

Our aim is to introduce a category-theoretic framework sufficiently general to describe a wide variety of open kinematic systems in classical mechanics while uniquely characterizing systems with specified simplest components. The framework…