Related papers: On valuation independence and defectless extension…

Vector fields with components which are generalized zero-forms are constructed. Inner products with generalized forms, Lie derivatives and Lie brackets are computed. The results are shown to generalize previously reported results for…

We study algebraic, combinatorial and topological properties of the set of preorders on a group, and the set of valuations on a field. We show strong analogies between these two kinds of sets and develop a dictionary for these ones. Among…

For a simple, normal and finite extension of a valued field, we prove that we can related the order of the ramification group of the field extension and the set of key polynomials associated to the extension of the valuation. More…

The model of kappa-deformed space is an interesting example of a noncommutative space, since it allows a deformed symmetry. In this paper we present new results concerning different sets of derivatives on the coordinate algebra of…

We introduce the concepts of dependence and independence in a very general framework. We use a concept of rank to study dependence and independence. By means of the rank we identify (total) dependence with inability to create more…

We give a characterization, in terms of the residue field, of those henselian valuation rings and those henselian valuation ideals that are diophantine. This characterization gives a common generalization of all the positive and negative…

We answer two open questions about the model theory of valued differential fields introduced by Scanlon. We show that they eliminate imaginaries in the geometric language introduced by Haskell, Hrushovski and Macpherson and that they have…

We investigate the interplay between invariant varieties of vector fields and the inflection locus of linear systems with respect to the vector field. Among the consequences of such investigation we obtain a computational criteria for the…

In this note we study sets of NIP formulas in some theories of fields and valued fields, with a special focus on the sets of quantifier-free and existential formulas. First, we give a new proof of the fact that Separably Closed Valued…

This paper deals with valuations of fields of formal meromorphic functions and their residue fields. We explicitly describe the residue fields of the monomial valuations. We also classify all the discrete rank one valuations of fields of…

We give an explicit classification of translation-invariant, Lorentz-invariant continuous valuations on convex sets. We also classify the Lorentz-invariant even generalized valuations.

The ruled residue theorem characterises residue field extensions for valuations on a rational function field. Under the assumption that the characteristic of the residue field is different from $2$ this theorem is extended here to function…

The existence of a homogeneous decomposition for continuous and epi-translation invariant valuations on super-coercive functions is established. Continuous and epi-translation invariant valuations that are epi-homogeneous of degree $n$ are…

A new notion of vertex independence and rank for a finite graph G is introduced. The independence of vertices is based on the boolean independence of columns of a natural boolean matrix associated to G. Rank is the cardinality of the…

We prove a Galois-type correspondence between compositions of purely inseparable field extensions (including infinite ones) and subalgebras of differential operators. This correspondence can be utilized to establish a connection between…

We revisit a classical theme of (general or translation invariant) valuations on convex polyhedra. Our setting generalizes the classical one, in a ``dual'' direction to previously considered generalizations: while previous research was…

In this article we introduce powerful tools and techniques from invariant theory to free analysis. This enables us to study free maps with involution. These maps are free noncommutative analogs of real analytic functions of several…

Forking is a central notion of model theory, generalizing linear independence in vector spaces and algebraic independence in fields. We develop the theory of forking in abstract, category-theoretic terms, for reasons both practical (we…

We study translation invariant, real-valued valuations on the class of convex polytopes in Euclidean space and discuss which continuity properties are sufficient for an extension of such valuations to all convex bodies. For this purpose, we…

We develop a notion of (principal) differential rank for differential-valued fields, in analog of the exponential rank and of the difference rank. We give several characterizations of this rank. We then give a method to define a derivation…