Related papers: Model completeness and quantifier elimination for …

We generalize several recognizability theorems for free single-sorted algebras to the field of many-sorted algebras and provide, in a uniform way and without using neither regular tree grammars nor tree automata, purely algebraic proofs of…

We try to build, provably in ZFC, for a first order T a model in which any isomorphism between two Boolean algebras is definable. The problem, compared to [Sh:384], is with pseudo-finite Boolean algebras. A side benefit is that we do not…

In the paper, we consider the class of so-called endo-commutative algebras. From the identity imposed to specify this class, one can easily see that the product in this class preserves the square of elements. We give a complete…

We classify the four dimensional perfect non-simple evolution algebras over a field having characteristic different from 2 and in which there are roots of orders 2, 3 and 7.

It is well known that a finite-dimensional Lie algebra over a field of characteristic zero is simple exactly when its derivation algebra is simple. In this paper we characterize those Lie algebras of arbitrary dimension over any field that…

We study a monoid associated to complex semisimple Lie algebras, called the quantic monoid. Its monoid ring is shown to be isomorphic to a degenerate quantized enveloping algebra. Moreover, we provide normal forms and a straightening…

We show that certain extensions of classifiable C*-algebra are strongly classified by the associated six-term exact sequence in K-theory together with the positive cone of K_{0}-groups of the ideal and quotient. We apply our result to give…

I extend the definitions of schemes relative to monoids with zero - and therefore, toric geometry - to the world of formal schemes. This expands the usual framework to include, for instance, models for Mumford's degenerating Abelian…

We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove…

Let G be a connected reductive algebraic group defined over an algebraically closed field of positive characteristic. We study a generalization of the notion of G-complete reducibility in the context of Steinberg endomorphisms of G. Our…

Generalising and unifying the known theorems for difference and differential fields, it is shown that for every finite free ${\mathbb S}$-algebra ${\mathcal D}$ over a field $A$ of characteristic zero the theory of ${\mathcal D}$-fields has…

Generalizations of the q-Onsager algebra are introduced and studied. In one of the simplest case and q=1, the algebra reduces to the one proposed by Uglov-Ivanov. In the general case and $q\neq 1$, an explicit algebra homomorphism…

Chevalley's theorem on the images of morphisms of schemes and the principle of quantifier elimination for the theory of algebraically closed fields are widely understood to be two perspectives on the same theorem. In this paper, we…

Given a base point free linear system on an algebraic variety, many classes of singularities are stable under taking suitable members after enlarging the base field. We establish analogous results when the base ring is an excellent ring.

We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to M, and also an elementary submodel of M for infinitary…

We study valued fields equipped with an automorphism. We prove that all of them have an extension admitting an equivariant cross-section of the valuation. In residual characteristic zero, and in the presence of such a cross-section, we show…

This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic…

We classify, up to isomorphism and up to equivalence, involutions on graded-division finite-dimensional simple real (associative) algebras, when the grading group is abelian.

In this paper, we give appropriate languages in which the theory of tame fields (of any characteristic) admits (relative) quantifier elimination.

Semifields are semirings in which every nonzero element has a multiplicative inverse. A rough classification uses the characteristic of the semifield, that is the isomorphism type of the semifield generated by the two neutral elements. For…