相关论文: When a partial Borel order is linearizable

This note presents a general theorem about the cohomology of finite dimensional Lie algebras of arbitrary characteristic. As an application we compute the cohomology of the Borel subalgebra of sl(N).

In this paper we consider the $f$-orthomorphisms and $f$-linear operators on the order dual of an $f$-algebra. In particular, when the $f$-algebra has the factorization property (not necessarily unital), we prove that the orthomorphisms,…

In this paper we prove that in classifying of complex filiform Leibniz algebras, for which its naturally graded algebra is non-Lie algebra, it suffices to consider some special basis transformations. Moreover, we establish a criterion…

Lower bounds are given for the number of non-real zeros of a second order linear differential polynomial with constant coefficients in a real entire function with finitely many non-real zeros.

In this paper, we study properties of nodal orders defined over arbitrary base fields. In particular we give a classification of complete real nodal orders.

We introduce and study the notion of functorial Borel complexity for Polish groupoids. Such a notion aims at measuring the complexity of classifying the objects of a category in a constructive and functorial way. In the particular case of…

The main result here gives an algebra(/linear category) isomorphism between a geometrically defined subcategory $J^1_0$ of a short Brauer category $J_0$ and a certain one-parameter specialisation of the blob category $b$. That is, we prove…

An infinite filiform Lie algebra L is residually nilpotent and its graded associated with respect to the lower central series has smallest possible dimension in each degree but is still infinite. This means that gr(L) is of dimension two in…

We study inverse problems for semilinear elliptic equations with fractional power type nonlinearities. Our arguments are based on the higher order linearization method, which helps us to solve inverse problems for certain nonlinear…

Algebras on the natural numbers and their clones of term operations can be classified according to their descriptive complexity. We give an example of a closed algebra which has only unary operations and whose clone of term operations is…

A locally checkable labeling problem (LCL) on a group $\Gamma$ asks one to find a labeling of the Cayley graph of $\Gamma$ satisfying a fixed, finite set of "local" constraints. Typical examples include proper coloring and perfect matching…

The relations between solutions of the three types of totally linear partial differential equations of first order are presented. The approach is based on factorization of a non-homogeneous first order differential operator to products…

We present some Zermelo-Fraenkel consistency results regarding bi-orderability of groups, as well as a construction of groups with Conradian orders whose every action on metric spaces has bounded orbits. A classical consequence of the…

Partial Markov categories are a recent framework for categorical probability theory that provide an abstract account of partial probabilistic computation with updating semantics. In this article, we discuss two order relations on the…

We study an extension of \g propositional logic whose corresponding algebra is an ordered Abelian group. Then we expand the ideas to first-order case of this logic.

We prove that the relation of bisimilarity between countable labelled transition systems is $\Sigma_1^1$-complete (hence not Borel), by reducing the set of non-wellorders over the natural numbers continuously to it. This has an impact on…

Let $f$ be a germ of holomorphic diffeomorphism of $\C^n$ fixing the origin $O$, with $df_O$ diagonalizable. We prove that, under certain arithmetic conditions on the eigenvalues of $df_O$ and some restrictions on the resonances, $f$ is…

For a partially ordered set P, we denote by Co(P) the lattice of order-convex subsets of P. We find three new lattice identities, (S), (U), and (B), such that the following result holds. Theorem. Let L be a lattice. Then L embeds into some…

A semiring is uniserial if its ideals are totally ordered by inclusion. First, we show that a semiring $S$ is uniserial if and only if the matrix semiring $M_n(S)$ is uniserial. As a generalization of valuation semirings, we also…

This article contains the theorems which shows that when $A(z)=h_1(z)e^{P_1(z)}$ and $B(z)=h_0(z)e^{P_0(z)}$ are of same order,then all the non-trivial solutions of equation $f"+A(z)f'+B(z)f=0$ are of infinite order. Moreover we extend…