Related papers: La logique continue des corps globalement valu\'es
The first part of the present article consists in a survey about the dynamical constructive method designed using dynamical theories and dynamical algebraic structures. Dynamical methods uncovers a hidden computational content for numerous…
New classes of generalized Nevanlinna functions, which under multiplication with an arbitrary fixed symmetric rational function remain generalized Nevanlinna functions, are introduced. Characterizations for these classes of functions are…
We propose a theory "a la Conley" for cone fields using a notion of relaxed orbits based on cone enlargements, in the spirit of space time geometry. We work in the setting of closed (or equivalently semi-continuous) cone fields with…
We examine the heuristic approach to constant gravitational field by Dehnen, H\"onl and Westpfahl, extending it everywhere beyond linear approximation. Then it becomes flexible to accommodate possible modifications of General Relativity. We…
We explore a notion of pseudofinite dimension, introduced by Hrushovski and Wagner, on an infinite ultraproduct of finite structures. Certain conditions on pseudofinite dimension are identified that guarantee simplicity or supersimplicity…
We consider properties of infinite algebraic extensions of global fields through their Tsfasman-Vladuts invariants (related in particular to the decomposition of primes). We use recent results of A. Schmidt and a weak effective version of…
We prove a tight bound on the number of realized $0/1$ patterns (or equivalently on the Vapnik-Chervonenkis codensity) of definable families in models of the theory of algebraically closed valued fields with a non-archimedean valuation. Our…
We give a definition of a class of Dedekind domains which includes the rings of integers of global fields and give a proof that all rings in this class have finite ideal class group. We also prove that this class coincides with the class of…
We use the recently introduced \'etale open topology to prove several facts about large fields. We show that these facts lift to a very general topological setting.
In this note, we show various minimality results for a geometric theory of fields $T$: $T$ is stable if and only if it is strongly minimal, $T$ is simple if and only if it has SU-rank 1, and $T$ is rosy if and only if $T$ is surgical.…
Let F be a global function field and let F^ab be its maximal abelian extension. Following an approach of D.Hayes, we shall construct a continuous homomorphism \rho: Gal(F^ab/F) \to C_F, where C_F is the idele class group of F. Using class…
The classical Grunwald--Wang theorem asserts that, unless we are in the so-called special case, local cyclic Galois extensions at finitely many completions of a number field can be approximated by a global cyclic extension. In the special…
In this paper we prove global class field theory using a purely geometric result. We first write in detail Deligne's proof to the unramified case of class field theory, including defining the required objects for the proof. Then we…
Motivated by the study of meromorphic vector fields, a model theory of "compact complex manifolds equipped with a generic derivation" is here proposed. This is made precise by the notion of a differential CCM-structure. A first-order…
The notion of forcing sets for perfect matchings was introduced by Harary, Klein, and \v{Z}ivkovi\'{c}. The application of this problem in chemistry, as well as its interesting theoretical aspects, made this subject very active. In this…
We consider the global evolution problem for Einstein's field equations in the near-Minkowski regime and study the long-time dynamics of a massive scalar field evolving under its own gravitational field. We establish the existence of a…
We study the weighted multilinear polynomial averages in finite fields. The essential ingredient is the $u^s$-norm control of the corresponding weighted multilinear polynomial averages in finite fields, which is motivated by Ter\"av\"ainen…
Within framework of basic-deformed and finite-difference calculi, as well as deformation procedures proposed by Tsallis, Abe, and Kaniadakis to be generalized by Naudts, we develop field-theoretical schemes of statistically distributed…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
In this paper, we show a general way to interpret the infrastructure of a global field of arbitrary unit rank. This interpretation generalizes the prior concepts of the giant step operation and f-representations, and makes it possible to…