Related papers: Model theoretic properties of metric valued fields
A henselian valued field $K$ is called a tame field if its algebraic closure $\tilde{K}$ is a tame extension, that is, the ramification field of the normal extension $\tilde{K}|K$ is algebraically closed. Every algebraically maximal…
We investigate the model completeness of the theory of a mixed characteristic henselian valued field with finite ramification relative to the residue field and value group. We address the case in which the valued field has a value group…
This article gives an overview of a normative computational theory of visual receptive fields, by which idealized functional models of early spatial, spatio-chromatic and spatio-temporal receptive fields can be derived in an axiomatic way…
We show that the theory of algebraically closed fields with multiplicative circular orders has a model companion $\mathrm{ACFO}$. Using number-theoretic results on character sums over finite fields, we show that if $\mathbb{F}$ is an…
The text is based on notes from a class entitled {\em Model Theory of Berkovich Spaces}, given at the Hebrew University in the fall term of 2009, and retains the flavor of class notes. It includes an exposition of material from…
We investigate valued fields which admit a valuation basis. Given a countable ordered abelian group G and a real closed, or algebraically closed field F, we give a sufficient condition for a valued subfield of the field of generalized power…
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…
We present foundations of globally valued fields, i.e., of a class of fields with an extra structure, capturing some aspects of the geometry of global fields, based on the product formula. We provide a dictionary between various data…
The space of constructible functions form a dense subspace of the space of generalized valuations. In this note we prove a somewhat stronger property that the sequential closure, taken sufficiently many (in fact, infinitely many) times, of…
We study combinatorial properties of convex sets over arbitrary valued fields. We demonstrate analogs of some classical results for convex sets over the reals (e.g. the fractional Helly theorem and B\'ar\'any's theorem on points in many…
Let $X$ be a variety over a complete nontrivially valued field $K$. We construct an algebraizable formal model for the analytification of $X$ in the case $X$ admits a closed embedding into a toric variety. By algebraizable we mean that the…
The main purpose of this paper is to study complex valued metric-like spaces as an extension of metric-like spaces, complex valued partial metric spaces, partial metric spaces, complex valued metric spaces and metric spaces. In this…
This paper presents an overview of close parallels that exist between the theory of positive operator-valued measures (POVMs) associated with a separable Hilbert space and the theory of frames on that space, including its most important…
In this paper the Maxwell field theory is considered on a closed and orientable Riemann surface of genus $h>1$. The solutions of the Maxwell equations corresponding to nontrivial values of the first Chern class are explicitly constructed…
This expository paper treats the model theory of probability spaces using the framework of continuous $[0,1]$-valued first order logic. The metric structures discussed, which we call probability algebras, are obtained from probability…
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…
Refining a constructive combinatorial method due to MacLane and Schilling, we give several criteria for a valued field that guarantee that all of its maximal immediate extensions have infinite transcendence degree. If the value group of the…
Given a real closed field $R$, we identify exactly four proper reducts of $R$ which expand the underlying (unordered) $R$-vector space structure. Towards this theorem we introduce a new notion, of strongly bounded reducts of linearly…
The continuous logic of globally valued fields -- A globally valued field is a field endowed with a family of absolute values that satisfy a product formula. Number fields and function fields in one variable give classical and fundamental…
Extending the `metric spaces' of Lawvere, we study `real metrics', with values in the extended real line. Formally, this ordered set is a symmetric monoidal closed category, and our structures are enriched categories on the latter.…