Related papers: Cancellation Meadows: a Generic Basis Theorem and …

We introduce a Bredon motivic cohomology theory for smooth schemes defined over a field and equipped with an action by a finite group. These cohomology groups are defined for finite dimensional representations as the hypercohomology of…

Let $K$ be a field, and $A=K[a_1,\ldots ,a_n]$ a solvable polynomial algebra in the sense of [K-RW, {\it J. Symbolic Comput.}, 9(1990), 1--26]. Based on the Gr\"obner basis theory for $A$ and for free modules over $A$, an elimination theory…

The underlying algebra for a noncommutative geometry is taken to be a matrix algebra, and the set of derivatives the adjoint of a subset of traceless matrices. This is sufficient to calculate the dual 1-forms, and show that the space of…

Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been efficiently used in several constraints programming environments but…

We study a new class of quiver algebras on surfaces, called 'geodesic ghor algebras'. These algebras generalize cancellative dimer algebras on a torus to higher genus surfaces, where the relations come from perfect matchings rather than a…

We consider the expansion of the real field by the group of rational points of an elliptic curve over the rational numbers. We prove a completeness result, followed by a quantifier elimination result. Moreover we show that open sets…

Rooted binary perfect phylogenies provide a generalization of rooted binary unlabeled trees in which each leaf is assigned a positive integer value that corresponds in a biological setting to the count of the number of indistinguishable…

We study possible smooth deformations of Generalized Free Conformal Field Theories in arbitrary dimensions by exploiting the singularity structure of the conformal blocks dictated by the null states. We derive in this way, at the first non…

We introduce the notions of infinitesimal extension and square-zero extension in the context of simplicial commutatie algebras. We next investigate their mutual relationship and we show that the Postnikov tower of a simplicial commutative…

We investigate the properties of the Extended Fock Basis (EFB) of Clifford algebras introduced in [1]. We show that a Clifford algebra can be seen as a direct sum of multiple spinor subspaces that are characterized as being left…

We present a general, rigorous theory of partition function zeros for lattice spin models depending on one complex parameter. First, we formulate a set of natural assumptions which are verified for a large class of spin models in a…

A dichotomy for expansions of the real field is established: Either the set of integers is definable or every nonempty bounded nowhere dense definable subset of the real numbers has Minkowski dimension zero.

We describe several infinite series of rational conformal field theories whose conformal characters are modular units, i.e. which are modular functions having no zeros or poles in the upper complex half plane, and which thus possess simple…

The notion of a root functional of polynomials is a generalization of the notion of a root for a multiple root. A root functional is a linear functional that is defined on a polynomial ring and annuls the ideal of a system of polynomials. A…

The purpose of this paper is to study the commutative pseudomeadows, the structure which is defined in the same way as commutative meadows, except that the existence of a multiplicative identity is not required. We extend the…

An equational axiomatisation of probability functions for one-dimensional event spaces in the language of signed meadows is expanded with conditional values. Conditional values constitute a so-called signed vector meadow. In the presence of…

In proof-theoretic semantics, meaning is based on inference. It may seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of…

Small cancellation groups form an interesting class with many desirable properties. It is a well-known fact that small cancellation groups are generic; however, all previously known results of their genericity are asymptotic and provide no…

We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group.…

We consider extension of some established techniques of study of tensor fields on Lorentzian manifolds of arbitrary dimension to non-Abelian gauge covariant fields. These are then applied to study of gauge fields with vanishing scalar…