Related papers: Model Theory of Adeles I
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…
We describe the design of a quantifier elimination framework for the complex numbers in the language of ordered rings supplemented with symbols for the imaginary unit, real parts, imaginary parts, and conjugates. Technically, we use a…
We study \'etale descent of derivations of algebras with values in a module. The algebras under consideration are twisted forms of algebras over rings, and apply to all classes of algebras, notably associative and Lie algebras, such as the…
We develop here the algebra of the differential field of transseries and of related valued differential fields. This book contains in particular our recently obtained decisive positive results on the model theory of these structures.
In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used…
We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean algebras, with special attention to quantifier-eliminations, complete axiomatizations and decidability. A classical example is the enrichment…
We consider four properties of a field $K$ related to the existence of (definable) henselian valuations on $K$ and on elementarily equivalent fields, and study the implications between them. Surprisingly, the full pictures look very…
We construct small models of number fields and deduce a better bound for the number of number fields of given degree and bounded discriminant.
This note aims to subsume several apparently unrelated models under a common framework. Several examples of well-known quantum field theories are listed which are connected via stochastic quantization. We highlight the fact that the…
Ideles and adeles can be viewed as a generalization of Minkowski theory, in which embedding of a number field to the Cartesian product of its completions at the archimedean valuation is generalized to an embedding of the Cartesian product…
The aim of this article is to give a self-contained account of the algebra and model theory of Cohen rings, a natural generalization of Witt rings. Witt rings are only valuation rings in case the residue field is perfect, and Cohen rings…
Computational effects are commonly modelled by monads, but often a monad can be presented by an algebraic theory of operations and equations. This talk is about monads and algebraic theories for languages for inference, and their…
We formulate and prove the extension of the Rogers integral formula to the adeles of number fields. We also prove the second moment formulas for a few important cases, enabling a number of classical and recent applications of the formula to…
We develop the basic theory of geometrically closed rings as a generalisation of algebraically closed fields, on the grounds of notions coming from positive model theory and affine algebraic geometry. For this purpose we consider several…
Adjoining to the language of rings the function symbols for splitting coefficients, the function symbols for relative $p$-coordinate functions, and the division predicate for a valuation, some theories of pseudo-algebraically closed…
We study and describe possibilities for arities of elementary theories and of their expansions. Links for arities with respect to Boolean algebras, to disjoint unions and to compositions of structures are shown. The dynamics for arities of…
We construct an analogue of the ring of algebraic numbers, living in a quotient of the product of all finite fields of prime order. We use this ring to deduce some results about linear recurrent sequences.
In what follows we generalize the notion of a complemented ring to rings that are not necessarily reduced. We then determine how our concepts fit in with other well-known classes of rings.
In the present paper we develop a small cancellation theory for associative algebras with a basis of invertible elements. Namely, we study quotients of a group algebra of a free group and introduce three axioms for the corresponding…
We consider the set of all the ideals of a ring, endowed with the coarse lower topology. The aim of this paper is to study the topological properties of distinguished subspaces of this space and detect the spectrality of some of them.