Some supplements to Feferman-Vaught related to the model theory of adeles

Author: 

Derakhshan, J
Macintyre, A

Last Updated: 

2019-08-25T10:41:45.63+01:00

abstract: 

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 interpretable therein. In particular we give a systematic treatment of
the product valuation and the valuation monoid. Deeper results are given for
the adelic version of Krasner's hyperfields, relating them to the
Basarab-Kuhlmann formalism.

Symplectic id: 

446388

Download URL: 

Submitted to ORA: 

Not Submitted

Publication Type: 

Journal Article