相关论文: Positive Amalgamation
We introduce propositional team-based logics expressively complete for (quasi) downward and (quasi) upward closed properties in a syntactically dual way, by using variants of the inclusion atom. In particular, the variants of the primitive…
Hybrid logic extends modal logic with special propositions called nominals, each of which is true at only one state in a model. This enables us to describe some properties of binary relations, such as irreflexivity and anti-symmetry, which…
This is a part of an ongoing research project, with the aim of finding the connections between properties related to theory combination in Satisfiability Modulo Theories. In previous work, 7 properties were analyzed: convexity, stable…
The main aim of this paper to show how commutative algebra is connected to topology. We give underlying topological idea of some results on completable unimodular rows.
In this article, we define and study a geometry and an order on the set of partitions of an even number of objects. One of the definitions involves the partition algebra, a structure of algebra on the set of such partitions depending on an…
Positively (resp. negatively) associated point processes are a class of point processes that induce attraction (resp. inhibition) between the points. As an important example, determinantal point processes (DPPs) are negatively associated.…
We introduce the notion of the algebraic overshear density property which implies both the algebraic notion of flexibility and the holomorphic notion of the density property. We investigate basic consequences of this stronger property, and…
A variety is a class of algebraic structures axiomatized by a set of equations. An equation is linear if there is at most one occurrence of an operation symbol on each side. We show that a variety axiomatized by linear equations has the…
Many semantical aspects of programming languages, such as their operational semantics and their type assignment calculi, are specified by describing appropriate proof systems. Recent research has identified two proof-theoretic features that…
In this paper we classify the monomial complete intersection algebras, in two variables, and of positive characteristic, which has the strong Lef- schetz property. Together with known results, this gives a complete classi- fication of the…
We study amalgamation properties in a family of abstract elementary classes that we call coloring classes. The family includes the examples previously studied in previous work of Baldwin, Kolesnikov, and Shelah. We establish that the…
We are going to introduce a new algebraic, analytic structure that is a kind of generalization of the Hausdorff dimension and measure. We give many examples and study the basic properties and relations of such systems.
We review some recent results on properties of tensor product and fusion coefficients under complex conjugation of one of the factors. Some of these results have been proven, some others are conjectures awaiting a proof, one of them…
Given a dilation matrix M, a so-called space of M-positive vectors in the Euclidean space is introduced and studied. An algebraic structure of this space is similar to the positive half-line equipped with the termwise addition modulo 2,…
The main goal of this article is to develop integration theory for absolute partition $L_\infty$-algebras, which are point-set models for the (spectral) partition Lie algebras of Brantner-Mathew where infinite sums of operations are…
We analyze the structure of a large class of connected algebraic rings over an algebraically closed field of positive characteristic using Greenberg's perfectization functor. We then give applications to rigidity problems for…
We study various forms of amalgamation for Boolean algebras with operations. We will also have the occasion to weaken the Boolean structure dealing with MV and BL algebras with operators.
We evaluate binomial series with harmonic number coefficients, providing recursion relations, integral representations, and several examples. The results are of interest to analytic number theory, the analysis of algorithms, and…
The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algebras. These ties go back and forth from universal algebraic…
In this paper, we define and study (co)homology theories of a compatible associative algebra $A$. At first, we construct a new graded Lie algebra whose Maurer-Cartan elements are given by compatible associative structures. Then we define…