Related papers: Algebraic valuation ring extensions as limits of c…
We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and $p$-adically closed valued fields. We give an effectiveness condition, related to Hensel's lemma, on a valued…
We give a complete description of Lie algebras graded by an infinite irreducible locally finite root system.
We describe gradings by finite abelian groups on the associative algebras of infinite matrices with finitely many nonzero entries, over an algebraically closed field of characteristic zero.
We extend some of our earlier results on the interconnection between ultrafilter extensions, and ultrapowers. Throughout we restrict ourselves to relational structures with one binary relation. Recently it was shown that for bounded…
In this paper we give a classification of complete intersection vanishing ideals on parameterized sets of clutter type over finite fields.
We give an explicit algebraic characterisation of all definable henselian valuations on a dp-minimal real field. Additionally we characterise all dp-minimal real fields that admit a definable henselian valuation with real closed residue…
In this paper, for a given finitely generated algebra (an algebraic structure with arbitrary operations and no predicates) A we study finitely generated limit algebras of A, approaching them via model theory and algebraic geometry. Along…
An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall \exists! \land p = q$. For a logic $L$ algebraized by a quasivariety $\mathcal{Q}$ we show that the AE-subclasses of…
In this article we study definable functions in tame expansions of algebraically closed valued fields. For a given definable function we have two types of results: of type (I), which hold at a neighborhood of infinity, and of type (II),…
For an algebraic torus $T$, the finite central extensions $G$ of $T$ are characterized in terms of ramification theory of regular actions of $G$ on Krull algebras over an algebraically closed base field $K$ of any characteristic.
A classification of (countable) direct limits of finite dimensional involution simple associative algebras over an algebraically closed field of arbitrary characteristic is obtained. This also classifies the corresponding dimension groups.…
We define a variant of normal basis, called a {\em Galois scaffolding}, that allows for an easy determination of valuation, and has implications for Galois module structure. We identify fully ramified, elementary abelian extensions of local…
We classify all post-critically finite unicritical polynomials defined over the maximal totally real algebraic extension of ${\mathbb Q}$. Two auxiliary results used in the proof of this result may be of some independent interest. The first…
We examine the behavior of the sequences of $p$-adic valuations of quadratic polynomials with integer coefficients for an odd prime $p$ through tree representations. Under this representation, a finite tree corresponds to a periodic…
We introduce a series of discrete mappings, which is considered to be an extension of the Hietarinta-Viallet mapping with one parameter. We obtain the algebraic entropy for this mapping by obtaining the recurrence relation for the degrees…
We show that the essentially algebraic theory of generalized algebraic theories, regarded as a category with finite limits, has a universal exponentiable arrow in the sense that any exponentiable arrow in any category with finite limits is…
This paper deals with properties of the algebraic variety defined as the set of zeros of a "typical" sequence of polynomials. We consider various types of "nice" varieties: set-theoretic and ideal-theoretic complete intersections,…
We prove that two finite prime $\Omega$-algebras defined over the same unital commutative ring and satisfying the same set of polynomial identities are isomorphic.
The mod-p cohomology ring of a non-trivial finite p-group is an infinite dimensional, finitely presented graded unital algebra over the field with p elements, with generators in positive degrees. We describe an effective algorithm to test…
We show that every definable nested family of closed and bounded subsets of a $P$-minimal field $K$ has non-empty intersection. As an application we answer a question of Darni\`ere and Halupczok showing that $P$-minimal fields satisfy the…