Related papers: Restricted analytic valued fields with partial exp…

We consider the theory of algebraically closed fields of characteristic zero with multivalued operations $x\mapsto x^r$ (raising to powers). It is in fact the theory of equations in exponential sums. In an earlier paper we have described…

We present a unifying theory of fields with certain classes of analytic functions, called fields with analytic structure. Both real closed fields and Henselian valued fields are considered. For real closed fields with analytic structure,…

The properties of the Riemann extensions of nonriemannian spaces defined by the first order systems of differential equations are considered.

We prove a version of Montel's theorem for analytic functions over a non-archimedean complete valued field. We propose a definition of normal family in this context, and give applications of our results to the dynamics of non-archimedean…

Extensions of one-parameter operator semigroups on Archimedean vector lattices to their order/ru-completions are studied. Existence and uniqueness of the extension to the ru-completion is established in the class of positive semigroups. An…

In a classical Hamiltonian theory with second class constraints the phase space functions on the constraint surface are observables. We give general formulas for extended observables, which are expressions representing the observables in…

For which sets A does there exist a mapping, computed by a total or partial recursive function, such that the mapping, when its domain is restricted to A, is a 1-to-1, onto mapping to $\Sigma^*$? And for which sets A does there exist such a…

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…

In this paper, we study arbitrary models of the first-order theory of a ring $A$ where the additive group $A$ is a finitely generated abelian group. Following an earlier paper by this author, Alexei G. Myasnikov and Francis Oger, we call…

Metric regularity is among the central concepts of nonlinear and variational analysis, constrained optimization, and their numerous applications. However, metric regularity can be elusive for some important ill-posed classes of problems…

Given a first-order theory $T$ formulated in the usual language of first-order arithmetic, we say that $T$ is of *restricted complexity* if there is some natural number $n$ and some set $\mathcal A$ of $\Sigma_n$-sentences such that $T$ can…

Inspired by Conway's surreal numbers, we study real closed fields whose value group is isomorphic to the additive reduct of the field. We call such fields omega-fields and we prove that any omega-field of bounded Hahn series with real…

Over the last century, the principle of "induction on the continuum" has been studied by different authors in different formats. All of these different readings are equivalent to one of the three versions that we isolate in this paper. We…

We introduce the notion of {\it approximation type} for the partial, and in certain cases the total description of extensions of a given valuation from a field $K$ to the rational function field $K(x)$. To every extension, a unique…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

For a projective variety $X$ defined over a non-Archimedean complete non-trivially valued field $k$, and a semipositive metrized line bundle $(L, \phi)$ over it, we establish a metric extension result for sections of $L^{\otimes n}$ from a…

We characterise the existentially closed models of the theory of exponential fields. They do not form an elementary class, but can be studied using positive logic. We find the amalgamation bases and characterise the types over them. We…

A complete classification of all continuous, epi-translation and rotation invariant valuations on the space of super-coercive convex functions on ${\mathbb R}^n$ is established. The valuations obtained are functional versions of the…

This is mainly a small exposition on extensions of valuation rings

We investigate what henselian valuations on ordered fields are definable in the language of ordered rings. This leads towards a systematic study of the class of ordered fields which are dense in their real closure. Some results have…