The elementary theory of large fields of totally S-adic numbers
classification
🧮 math.LO
math.NT
keywords
decidabilityelementaryfieldsnumberss-adictheorytotallyalgebraic
read the original abstract
We analyze the elementary theory of certain fields of totally S-adic algebraic numbers that were introduced and studied by Geyer-Jarden and Haran-Jarden-Pop. In particular, we provide an axiomatization of these theories and prove their decidability, thereby giving a common generalization of classical decidability results of Jarden-Kiehne, Fried-Haran-V\"olklein and Ershov.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.