Related papers: On valuation independence and defectless extension…
We study existential theories of henselian valued fields of positive characteristic with parameters from a trivially valued subfield. Compared to previous work, we relax perfectness and separability assumptions, and instead work with the…
We present elements of a theory of translation-invariant integration on finite dimensional vector spaces and on GL_n over a valuation field with local field as residue field. We then discuss the case of an arbitrary algebraic group. This…
An overview of some of the recent developments in the theory of valuations on convex sets and its generalizations to manifolds is given. The exposition is focused towards applications to integral geometry; several of such applications are…
Suppose that $(K,v_0)$ is a valued field, $f(x)\in K[x]$ is a monic and irreducible polynomial and $(L,v)$ is an extension of valued fields, where $L=K[x]/(f(x))$. Let $A$ be a local domain with quotient field $K$ dominated by the valuation…
The main goal of this paper is to characterize the module of K\"ahler differentials for an extension of valuation rings. More precisely, we consider a simple algebraic valued field extension $(L/K,v)$ and the corresponding valuation rings…
This monograph, written for educational purposes, serves as an introduction to the concept of integrability as it applies to systems of differential equations (both ordinary and partial) as well as to vector-valued fields. The general cases…
We presents an independence relation on sets, one can define dimension by it, assuming that we have an abstract elementary class with a forking notion that satisfies the axioms of a good frame minus stability.
A complete classification of unimodular valuations on the set of lattice polygons with values in the spaces of polynomials and formal power series, respectively, is established. The valuations are classified in terms of their behaviour with…
An extension (K(X)|K, v) of valued fields is said to be valuation transcendental if we have equality in the Abhyankar inequality. Minimal pairs of definition are fundamental objects in the investigation of valuation transcendental…
Vector fields in the expanding Universe are considered within the multidimensional theory of General Relativity. Vector fields in general relativity form a three-parametric variety. Our consideration includes the fields with a nonzero…
This is the fourth part in the series of articles math.MG/0503397, math.MG/0503399, math.MG/0509512 where the theory of valuations on manifolds is developed. In this part it is shown that the filtration on valuations introduced in…
We present a detailed study of the cosmological evolution in general vector-tensor theories of gravity without potential terms. We consider the evolution of the vector field throughout the expansion history of the universe and carry out a…
We establish relative quantifier elimination for valued fields of residue characteristic zero enriched with a non-surjective valued field endomorphism, building on recent work of Dor and Halevi. In particular, we deduce relative quantifier…
In many relevant cases -- e.g., in hamiltonian dynamics -- a given vector field can be characterized by means of a variational principle based on a one-form. We discuss how a vector field on a manifold can also be characterized in a similar…
We establish the first extension results for divergence-free (or solenoidal) elements of $\mathrm{L}^{1}$-based function spaces. Here, the key point is to preserve the solenoidality constraint while simultaneously keeping the underlying…
Intuitively speaking, a classical field theory is background-independent if the structure required to make sense of its equations is itself subject to dynamical evolution, rather than being imposed ab initio. The aim of this paper is to…
We provide axiomatization and relative quantifier elimination for valued fields equipped with an automorphism, in residue characteristic zero. Similar results are known under strong assumptions on the interaction between the automorphism…
We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to…
We study the definability of convex valuations on ordered fields, with a particular focus on the distinguished subclass of henselian valuations. In the setting of ordered fields, one can consider definability both in the language of rings…
We define and study the independent natural extension of two local uncertainty models for the general case of infinite spaces, using the frameworks of sets of desirable gambles and conditional lower previsions. In contrast to Miranda and…