Related papers: La logique continue des corps globalement valu\'es
Given a continuous function from Euclidean space to the real line, we analyze (under some natural assumption on the function), the set of values it takes on translates of lattices. Our results are of the flavor: For almost any translate,…
Neukirch developed an axiomatic and explicit approach to class field theory. This was applied to local fields and number fields but was never done for global function fields since he believed that geometric approach is more suitable.…
In this article we study certain asymptotic properties of global fields. We consider the set of Tsfasman-Vladuts invariants of infinite global fields and answer some natural questions arising from their work. In particular, we prove the…
Axiomatizing mathematical structures and theories is an objective of Mathematical Logic. Some axiomatic systems are nowadays mere definitions, such as the axioms of Group Theory; but some systems are much deeper, such as the axioms of…
We study the logarithmic conformal field theories in which conformal weights are continuous subset of real numbers. A general relation between the correlators consisting of logarithmic fields and those consisting of ordinary conformal…
The Univalence Principle is the statement that equivalent mathematical structures are indistinguishable. We prove a general version of this principle that applies to all set-based, categorical, and higher-categorical structures defined in a…
The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a…
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…
Universality has been an important concept in computable structure theory. A class $\mathcal{C}$ of structures is universal if, informally, for any structure, of any kind, there is a structure in $\mathcal{C}$ with the same…
A mathematically rigorous Hamiltonian formulation for classical and quantum field theories is given. New results include clarifications of the structure of linear fields, and a plausible formulation for nonlinear fields. Many mathematical…
We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…
Hadwiger's Theorem states that Euclidean-invariant convex-continuous valuations of definable sets are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable…
A main problem in Galois theory is to characterize the fields with a given absolute Galois group. We apply a K-theoretic method for constructing valuations to study this problem in various situations. As a first application we obtain an…
In this paper a class of conformal field theories with nonabelian and discrete group of symmetry is investigated. These theories are realized in terms of free scalar fields starting from the simple $b-c$ systems and scalar fields on…
There are abundant results on Diophantine approximation over fields of positive characteristic (see the survey papers [13, 25]), but there is very little information about simultaneous approximation. In this paper, we develop a technique of…
It has been common wisdom among mathematicians that Extended Topological Field Theory in dimensions higher than two is naturally formulated in terms of n-categories with n> 1. Recently the physical meaning of these higher categorical…
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 ring of ad\`eles of a global field and its group of units, the group of id\`eles, are fundamental objects in modern number theory. We discuss a formalization of their definitions in the Lean 3 theorem prover. As a prerequisite, we…
Let $X$ be a Berkovich space over a valued field. We prove that every finite group is a Galois group over $\Ms(B)(T)$, where $\Ms(B)$ is the field of meromorphic functions over a part $B$ of $X$ satisfying some conditions. This gives a new…
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…