Related papers: A model theoretic construction for layered semifie…
The growth of tropical geometry has generated significant interest in the tropical semiring in the past decade. However, there are other semirings in tropical algebra that provide more information, such as the symmetrized (max, +),…
Every (left) linear function on a subspace of a finite-dimensional vector space over a (skew) field can be extended to a (left) linear function on the whole space. This paper explores the extent to what this basic fact of linear algebra is…
We consider the issue of when the L-polynomial of one curve over $\F_q$ divides the L-polynomial of another curve. We prove a theorem which shows that divisibility follows from a hypothesis that two curves have the same number of points…
In this article, we prove that a free divisor in a three dimensional complex manifold must be Euler homogeneous in a strong sense if the cohomology of its complement is the hypercohomology of its logarithmic differential forms. F.J.…
We take a unifying and new approach toward polynomial and trigonometric approximation in an arbitrary number of variables, resulting in a precise and general ready-to-use tool that anyone can easily apply in new situations of interest. The…
We study maximal subalgebras of an arbitrary finite dimensional algebra over a field, and obtain full classification/description results of such algebras. This is done by first obtaining a complete classification in the semisimple case, and…
We develop the theory of algebraic groups over real closed fields and apply the results to construct a geometric object $\mathcal{B}$ and to prove that $\mathcal{B}$ is an affine $\Lambda$-building. We use a model theoretic transfer…
We construct higher categories of iterated spans, possibly equipped with extra structure in the form of "local systems", and classify their fully dualizable objects. By the Cobordism Hypothesis, these give rise to framed topological quantum…
Semi-classically equivalent field theories are related by a quasi-isomorphism between their underlying $L_\infty$-algebras, but such a quasi-isomorphism is not necessarily a homotopy transfer. We demonstrate that all quasi-isomorphisms can…
Tropical mathematics often is defined over an ordered cancellative monoid $\tM$, usually taken to be $(\RR, +)$ or $(\QQ, +)$. Although a rich theory has arisen from this viewpoint, cf. [L1], idempotent semirings possess a restricted…
In a previous article by two of the present authors and S. Bonzio, \L ukasiewicz near semirings were introduced and it was proven that basic algebras can be represented (precisely, are term equivalent to) as near semirings. In the same work…
In this paper I generalize the notion of a polynomial over an ordered field to that of a naked polynomial over a non-Archimedean ordered field, subsequently showing that the notion of a naked polynomial ring forms an Euclidean domain. This…
We provide a complete classification of the n-ary semigroup structures defined by polynomial functions over infinite commutative integral domains with identity, thus generalizing G{\l}azek and Gleichgewicht's classification of the…
It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free…
We find the model completion of the theory modules over $A$, where $A$ is a finitely generated commutative algebra over a field $K$. This is done in a context where the field $K$ and the module are represented by sorts in the theory, so…
Domain operations on semirings have been axiomatised in two different ways: by a map from an additively idempotent semiring into a boolean subalgebra of the semiring bounded by the additive and multiplicative unit of the semiring, or by an…
Let U(L) be the enveloping algebra of a finite dimensional Lie algebra L over a field k of characteristic zero, Z(U(L)) its center and Sz(U(L)) its semicenter. A sufficient condition is given in order for Sz(U(L)) to be a polynomial algebra…
A celebrated theorem of P.M.Cohn says that for any two division rings (not necessarily finite dimensional) over a field F, their amalgamated product over F is a domain which can be embedded in a division ring. Note that even with the two…
In this paper we consider the construction of K + M, where K is the domain, M is the maximal ideal of a some ring of polynomials with coefficients from the field L, where K is its subring. In addition to the usual domains, we also consider…
We prove an equivariant Riemann-Roch formula for divisors on algebraic curves over perfect fields. By reduction to the known case of curves over algebraically closed fields, we first show a preliminary formula with coefficients in Q. We…