Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661717 | Annals of Pure and Applied Logic | 2014 | 41 Pages |
Abstract
We give foundational results for the model theory of AKfin, 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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Jamshid Derakhshan, Angus Macintyre,