相关论文: Additive systems and a theorem of de Bruijn

Given partial information about a set, we are interested in fully recovering the original set from what is given. If a set encodes itself robustly, any partial information about the set suffices to fully recover the information about the…

Let $\mathcal{R}$ be a commutative ring with unity, and let $P$ be a locally finite poset. The aim of the paper is to provide an explicit description of the additive biderivations of the incidence algebra $I(P, \mathcal{R})$. We demonstrate…

A system of uniform families on an infinite subset $M$ of $\nn$ is a collection $(\cca_{\xi})_{\xi<\omega_1}$ of families of finite subsets of $\nn$ (where, $\cca_k$ consists of all $k$--element subset of $M$, for $k\in \nn$) with the…

A subset of positive integers $F$ is a Schreier set if it is non-empty and $|F|\leqslant \min F$ (here $|F|$ is the cardinality of $F$). For each positive integer $k$, we define $k\mathcal{S}$ as the collection of all the unions of at most…

We prove that an additive track category with strong coproducts is equivalent to the category of pseudomodels for the algebraic theory of $\nil_2$ groups. This generalizes the classical statement that the category of models for the…

Two sets of nonnegative integers $A=\{a_1<a_2<\cdots\}$ and $B=\{b_1<b_2<\cdots\}$ are defined as \emph{disjoint}, if $\{A-A\}\bigcap\{B-B\}=\{0\}$, namely, the equation $a_i+b_t=a_j+b_k$ has only trivial solution. In 1984, Erd\H os and…

Let A be a positive operator in an infinite sigma-finite von Neumann factor M and let B_j be a sequence of positive elements in M. We give sufficient conditions for decomposing A into a sum of elements C_j equivalent to B_j for all j ( C…

Let $M$ be a cancellative and commutative monoid. A non-invertible element of $M$ is called an atom (or irreducible element) if it cannot be factored into two non-invertible elements, while an atom $a$ of $M$ is called strong if $a^n$ has a…

We consider inductive systems of C*-algebras with completely positive contractive connecting maps. We define a condition, called C*-encoding, which is sufficient for the limit of the system to be completely order isomorphic to a C*-algebra…

Suppose you have an uncomputable set $X$ and you want to find a set $A$, all of whose infinite subsets compute $X$. There are several ways to do this, but all of them seem to produce a set $A$ which is fairly sparse. We show that this is…

It was claimed in [4] that for any integer $n\geqslant 2$, a neutral element can be adjoined to an $n$-ary semigroup if and only if the $n$-ary semigroup is reducible to a binary semigroup. We show that the `only if' direction of this…

The idea of this paper is to explore the existence of canonical countably saturated models for different classes of structures. It is well-known that, under CH, there exists a unique countably saturated linear order of cardinality…

A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e.…

We characterize the canonical diagonal subalgebra of the C*-algebra associated with a generalized Boolean dynamical system. We also introduce a particular commutative subalgebra, which we call the abelian core, in our C*-algebra. We then…

For any set $A$ of natural numbers with positive upper Banach density and any $k\geq 1$, we show the existence of an infinite set $B\subset{\mathbb N}$ and a shift $t\geq0$ such that $A-t$ contains all sums of $m$ distinct elements from $B$…

Existence of superdecomposable pure-injective modules reflects complexity in the category of finite-dimensional representations over an algebra. Such an existence occurs when an algebra is non-domestic; a conjecture due to M. Prest. G.…

We prove that if $\mathbb{F}$ is a field of positive odd characteristic $p,$ and $m,$ and $n$ are positive integers such that $m\geq2,$ and $n\leq p,$ every $n\times n$ nonderogatory matrix $A\in \mathbb{M}_n(\mathbb{F})$ which is sum of…

In this paper we first show that every non-zero $\tau$-rigid $A$-module induces at least one stratifying system in the module category of $A$. Moreover, we show that each of these stratifying systems can be seen as a signed…

A family of solutions of the Jacobi PDEs is investigated. This family is $n$-dimensional, of arbitrary nonlinearity and can be globally analyzed (thus improving the usual local scope of Darboux theorem). As an outcome of this analysis it is…

We give simple necessary and sufficient conditions for the inclusion-exclusion identity to hold for an infinite countable number of sets. In terms of a random variable, whose range are nonnegative integers, this condition is equivalent to…