相关论文: Reflections and powers of multisorted minions

Unimodularity is localized to a complete stationary type, and its properties are analysed. Some variants of unimodularity for definable and type-definable sets are introduced, and the relationship between these different notions is studied.…

We apply the theory of cotorsion pairs to study closure properties of classes of modules with finite projective dimension with respect to direct limit operations and to filtrations. We also prove that if the ring is an order in an…

We consider local invariants of general connections (with torsion). The group of origin-preserving diffeomorphisms acts on a space of jets of general connections. Dimensions of moduli spaces of generic connections are calculated. Poincar\'e…

A multivalued projection is an idempotent linear relation with invariant domain. We characterize multivalued projections that are operator ranges (called semiclosed) and provide several formulae of them. Moreover, we study the…

We derive the closure relation for $N$ polaritons made of three different types of excitons: bosonized excitons, Frenkel or Wannier excitons. In the case of polaritons made of Wannier excitons, we show how this closure relation, which…

Combinatorial aspects of multivariate diagonal invariants of the symmetric group are studied. As a consequence it is proved the existence of a multivariate extension of the classical Robinson-Schensted correspondence. Further byproduct are…

Recently introduced massive spinors are written as 2-vectors consisting of two massless spinors with opposite helicities. With this notation a couple of relations between them can be derived easily, entirely avoiding the spinor indices. The…

Let R be a ring with the set of nilpotents Nil(R). We prove that the following are equivalent: (i) Nil(R) is additively closed, (ii) Nil(R) is multiplicatively closed and R satisfies Koethe's conjecture, (iii) Nil(R) is closed under the…

Every left-invariant ordering of a group is either discrete, meaning there is a least element greater than the identity, or dense. Corresponding to this dichotomy, the spaces of left, Conradian, and bi-orderings of a group are naturally…

We generalise the Blok-J\'onsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence. While Blok and J\'onsson admit, in place…

We consider the problem of extending an acyclic binary relation that is invariant under a given family of transformations into an invariant preference. We show that when a family of transformations is commutative, every acyclic invariant…

We introduce the monic rank of a vector relative to an affine-hyperplane section of an irreducible Zariski-closed affine cone $X$. We show that the monic rank is finite and greater than or equal to the usual $X$-rank. We describe an…

We extend the category of (super)manifolds and their smooth mappings by introducing a notion of microformal or "thick" morphisms. They are formal canonical relations of a special form, constructed with the help of formal power expansions in…

Permutations can be viewed as pairs of linear orders, or more formally as models over a signature consisting of two binary relation symbols. This approach was adopted by Albert, Bouvel and F\'eray, who studied the expressibility of…

We consider infinite $\Z_\Z$-index complexes $\mathcal C$ of spaces with elements depending on a number of parameters, complete with respect to a linear associative regular inseparable multilinear product. The existence of nets of vanishing…

We give a general overview of ordinal notation systems arising from reflection calculi, and extend the to represent impredicative ordinals up to those representable using Buchholz-style collapsing functions.

The behaviour under coarsening functors of simple, entire, or reduced graded rings, of free graded modules over principal graded rings, of superfluous monomorphisms and of homological dimensions of graded modules, as well as adjoints of…

An expansive, monotone operator is dominating; if it is also idempotent it is a closure operator. Although they have distinct properties, these two kinds of discrete operators are also intertwined. Every closure operator is dominating;…

Our main observation is that the contravariant functor Spec on the category of commutative monoids is representable. We discuss a few consequences of this fact. In particular, we give an efficient way of calculating the Spec(M) of a…

We obtain the closed form expressions for the densities of the product, quotient, power and scalar multiple of independent stable subordinators. Similar results for the independent inverse stable subordinators are discussed. This is…