Related papers: Abstract Key Polynomials and MacLane-Vaqui\'e chai…
The goal of this work is twofold: (i) to provide a detailed analysis of some categories of inductive graded ring - a concept introduced in [DM98] in order to provide a solution of Marshall's signature conjecture in the algebraic theory of…
Linear dependent types allow to precisely capture both the extensional behaviour and the time complexity of lambda terms, when the latter are evaluated by Krivine's abstract machine. In this work, we show that the same paradigm can be…
We extend the characterization of extremal valued fields given in \cite{[AKP]} to the missing case of valued fields of mixed characteristic with perfect residue field. This leads to a complete characterization of the tame valued fields that…
Horizontal and vertical generating functions and recursion relations have been investigated by Comtet for triangular double sequences. In this paper we investigate the horizontal and vertical log-concavity of triangular sequences assigned…
In this paper, we study several definitions of generalized rank weights for arbitrary finite extensions of fields. We prove that all these definitions coincide, generalizing known results for extensions of finite fields.
Let $\mathbb{K}$ be an algebraically closed field of characteristic zero and let $\mathbb{K}_{C}[[x_{1},...,x_{e}]]$ be the ring of formal power series in several variables with exponents in a line free cone $C$. We consider irreducible…
In this paper we continue with the algebraic study of Krivine's realizability, refining some of the authors' previous constructions by introducing two categories, with objects the abstract Krivine structures and the implicative algebras…
Motivated by a question of van der Poorten about the existence of infinite chain of prime numbers (with respect to some base), in this paper we advance the study of sequences of consecutive polynomials whose coefficients are chosen…
We investigate the following question: if a polynomial can be evaluated at rational points by a polynomial-time boolean algorithm, does it have a polynomial-size arithmetic circuit? We argue that this question is certainly difficult.…
Let $X$ be a normal, connected and projective variety over an algebraically closed field $k$. It is known that a vector bundle $V$ on $X$ is essentially finite if and only if it is trivialized by a proper surjective morphism $f:Y\to X$. In…
This paper deals with the following problem. Given a finite extension of fields $\mathbb{L}/\mathbb{K}$ and denoting the trace map from $\mathbb{L}$ to $\mathbb{K}$ by $\mathrm{Tr}$, for which elements $z$ in $\mathbb{L}$, and $a$, $b$ in…
We investigate distality and existence of distal expansions in valued fields and related structures. In particular, we characterize distality in a large class of ordered abelian groups, provide an AKE-style characterization for henselian…
A classification of the global structure of monic and centered one-variable complex polynomial vector fields is presented.
Suppose $F$ is a field with a nontrivial valuation $v$ and valuation ring $O_{v}$, $E$ is a finite field extension and $w$ is a quasi-valuation on $E$ extending $v$. We study the topology induced by $w$. We prove that the quasi-valuation…
Let (R; m; k) be a local noetherian domain with field of fractions K and R_v a valuation ring, dominating R (not necessarily birationally). Let v|K be the restriction of v to K; by definition, v|K is centered at R. Let \hat{R} denote the…
In generalization of knot quandles we introduce similar algebraic structures associated with arbitrary pairs consisting of a path-connected topological space and its path-connected subspace.
Let K be an algebraically closed valued field, and let f:X--->Y be a universally open morphism of K-schemes of finite type. We show that the induced map on K-rational points is open for the topologies deduced from the absolute value of K.…
In the paper we introduce a general approach how for a given virtual biquandle multi-switch $(S,V)$ on an algebraic system $X$ (from some category) and a given virtual link $L$ construct an algebraic system $X_{S,V}(L)$ (from the same…
Suppose that $k$ is an arbitrary field. Consider the field $k((x_1,...,x_n))$, which is the quotient field of the ring $k[[x_1,...,x_n]]$ of formal power series in the variables $x_1,...,x_n$, with coefficients in $k$. Suppose that $\sigma$…
The main aim of this article is to study and develop valuation theory for Krasner hyperfields. In analogy with classical valuation theory for fields, we generalise the formalism of valuation rings to describe equivalence of valuations on…