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: 92,168

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

d-computable Categoricity for Algebraic Fields.Russell Miller - 2009 - Journal of Symbolic Logic 74 (4):1325 - 1351.
Effective algebraicity.Rebecca M. Steiner - 2013 - Archive for Mathematical Logic 52 (1-2):91-112.
Schlanke Körper (Slim fields).Markus Junker & Jochen Koenigsmann - 2010 - Journal of Symbolic Logic 75 (2):481-500.
On algebraic closure in pseudofinite fields.Özlem Beyarslan & Ehud Hrushovski - 2012 - Journal of Symbolic Logic 77 (4):1057-1066.
A Note on Defining Transcendentals in Function Fields.Arno Fehm & Wulf-Dieter Geyer - 2009 - Journal of Symbolic Logic 74 (4):1206 - 1210.
Sur la théorie élémentaire Des corps de fonctions.Jean-Louis Duret - 1986 - Journal of Symbolic Logic 51 (4):948-956.
The Algebraic Theory of Switching Circuits.Grigore C. Moisil - 1969 - Pergamon Press.
The collaboration of Emil Artin and George Whaples: Artin’s mathematical circle extends to America.Joachim Schwermer & Della Dumbaugh - 2012 - Archive for History of Exact Sciences 66 (5):465-484.
Arithmetic definability by formulas with two quantifiers.Shih Ping Tung - 1992 - Journal of Symbolic Logic 57 (1):1-11.
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.
Definability and decidability in infinite algebraic extensions.Alexandra Shlapentokh & Carlos Videla - 2014 - Annals of Pure and Applied Logic 165 (7-8):1243-1262.
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
The model theory of m‐ordered differential fields.Cédric Rivière - 2006 - Mathematical Logic Quarterly 52 (4):331-339.
Amalgamation Theorems in Algebraic Logic, an overview.Tarek Sayed-Ahmed - 2005 - Logic Journal of the IGPL 13 (3):277-286.
The Early Development of the Algebraic Theory of Semigroups.Christopher Hollings - 2009 - Archive for History of Exact Sciences 63 (5):497-536.

Analytics

Added to PP
2021-04-21

Downloads
27 (#592,003)

6 months
9 (#314,693)

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