Related papers: Model Theory of Adeles I
This paper is a survey on model theory of adeles and applications to model theory, algebra, and number theory. Sections 1-12 concern model theory of adeles and the results are joint works with Angus Macintyre. The topics covered include…
Much is known about the adele ring of an algebraic number field from the perspective of Harmonic Analysis and Class Field Theory. However, its ring-theoretical aspects are often ignored. Here we present a description of the prime spectrum…
We give foundational results for the model theory of the ring of finite adeles over a number field, construed as a restricted product of local fields. In contrast to Weispfenning we work in the language of ring theory, and various sortings…
We give a proposal for future development of the model theory of valued fields. We also summarize some recent results on p-adic numbers.
For a number field $K$, we extend the notion of the ring class field of an order in $K$ [C. Lv and Y. Deng, SciChina. Math., 2015] to that of an arbitrary number ring in $K$. We give both ideal-theoretic and idele-theoretic description of…
We study when the property that a field is dense in its real and p-adic closures is elementary in the language of rings and deduce that all models of the theory of algebraic fields have this property.
We study elementary equivalence of adele rings and decidability for adele rings of general number fields. We prove that elementary equivalence of adele rings implies isomorphism of the adele rings.
Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.
We give a sufficient condition for a model theoretic structure $B$ to 'inherit' quantifier elimination from another structure $A$. This yields an alternative proof of one of the main result from \cite{kle}, namely quantifier elimination for…
We estimate, in a number field, the number of elements and the maximal number of linearly independent elements, with prescribed bounds on their valuations. As a by-product, we obtain new bounds for the successive minima of ideal lattices.…
We show that the theories of some (ordered) central simple algebras with involution over real closed fields are model-complete or admit quantifier elimination, and characterize positive cones in terms of morphisms into models of some of…
Let $T$ be a complete strongly geometric theory of fields with quantifier elimination. We show that the theory of lovely pairs of $T$ has quantifier elimination in Delon's definitional expansion by predicates for linear independence and…
The adele ring of a number field is a central object in modern number theory. Its status as a locally compact topological ring is one of the key reasons why. We describe a formal proof that the adele ring of a number field is locally…
In their paper 'p-adic and real subanalytic sets, J. Denef and L. van den Dries prove that the theory of the ring of p-adic integers admits the elimination of quantifiers in the language of p-adic restricted analytic functions expanded by a…
We prove some results about the model theory of fields with a derivation of the Frobenius map, especially that the model companion of this theory is axiomatizable by axioms used by Wood in the case of the theory $\operatorname{DCF}_p$ and…
Outside of the framework of geometric theories, we exhibit complete, respectively model-complete theories of rings whose corresponding theory of pairs is complete, respectively model-complete, using transfer results proven in the seventies…
In this paper, we give appropriate languages in which the theory of tame fields (of any characteristic) admits (relative) quantifier elimination.
The first-order model theory of modules has been studied for decades. More recently, the model theoretic study of nonelementary classes of modules--especially Abstract Elementary Classes of modules--has produced interesting results. This…
We study the distribution of principal ideals generated by irreducible elements in an algebraic number field.
In this paper we extend the characterisation of kernels in semirings as subtractive ideals to general algebras. We then analyse the counterparts of ``subtractive'' and ``ideal'' in several different algebraic settings.