Denseness results in the theory of algebraic fields

, &
Annals of Pure and Applied Logic 172 (8):102973 (2021)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2021.102973

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Computable valued fields.Matthew Harrison-Trainor - 2018 - Archive for Mathematical Logic 57 (5-6):473-495.
Quantifier elimination in Tame infinite p-adic fields.Ingo Brigandt - 2001 - Journal of Symbolic Logic 66 (3):1493-1503.
Model completion of scaled lattices and co‐Heyting algebras of p‐adic semi‐algebraic sets.Luck Darnière - 2019 - Mathematical Logic Quarterly 65 (3):305-331.
An undecidability result for the asymptotic theory of p-adic fields.Konstantinos Kartas - 2023 - Annals of Pure and Applied Logic 174 (2):103203.
On algebraic closure in pseudofinite fields.Özlem Beyarslan & Ehud Hrushovski - 2012 - Journal of Symbolic Logic 77 (4):1057-1066.
Definably topological dynamics of p-adic algebraic groups.Jiaqi Bao & Ningyuan Yao - 2022 - Annals of Pure and Applied Logic 173 (4):103077.
Schlanke Körper (Slim fields).Markus Junker & Jochen Koenigsmann - 2010 - Journal of Symbolic Logic 75 (2):481-500.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Definable valuations induced by multiplicative subgroups and NIP fields.Katharina Dupont, Assaf Hasson & Salma Kuhlmann - 2019 - Archive for Mathematical Logic 58 (7-8):819-839.
Dimension of definable sets, algebraic boundedness and Henselian fields.Lou Van den Dries - 1989 - Annals of Pure and Applied Logic 45 (2):189-209.

Analytics

Added to PP
2021-04-21

Downloads
27 (#609,326)

6 months
9 (#355,272)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Elementary geometric local–global principles for fields.Arno Fehm - 2013 - Annals of Pure and Applied Logic 164 (10):989-1008.
Cauchyfolgen Höheren Typus in Angeordneten Körpern.Kurt Hauschild - 1967 - Mathematical Logic Quarterly 13 (3-5):55-66.
Cauchyfolgen Höheren Typus in Angeordneten Körpern.Kurt Hauschild - 1967 - Mathematical Logic Quarterly 13 (3‐5):55-66.

Add more references