The elementary theory of e-free PAC domains

Annals of Pure and Applied Logic 103 (1-3):55-95 (2000)
  Copy   BIBTEX

Abstract

We prove that the theory of all sentences in the language of rings which are true in for almost all is decidable. Here is the field of all algebraic numbers; is the ring of all algebraic integers; is the absolute Galois group of ; for each , is the fixed field of σ1,…,σe in ; and the clause ‘almost all’ is used in the sense of the Haar measure of

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(99)00023-8

Other Versions

No versions found

Links

PhilArchive

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

Denseness results in the theory of algebraic fields.Sylvy Anscombe, Philip Dittmann & Arno Fehm - 2021 - Annals of Pure and Applied Logic 172 (8):102973.
Computational complexity of quantifier-free negationless theory of field of rational numbers.Nikolai Kossovski - 2001 - Annals of Pure and Applied Logic 113 (1-3):175-180.
Definability of the ring of integers in some infinite algebraic extensions of the rationals.Kenji Fukuzaki - 2012 - Mathematical Logic Quarterly 58 (4-5):317-332.
Decidability of the theory of modules over commutative valuation domains.Gennadi Puninski, Vera Puninskaya & Carlo Toffalori - 2007 - Annals of Pure and Applied Logic 145 (3):258-275.
The model theory of unitriangular groups.Oleg V. Belegradek - 1994 - Annals of Pure and Applied Logic 68 (3):225-261.
On algebraic closure in pseudofinite fields.Özlem Beyarslan & Ehud Hrushovski - 2012 - Journal of Symbolic Logic 77 (4):1057-1066.
Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of Q.Alexandra Shlapentokh - 1994 - Annals of Pure and Applied Logic 68 (3):299-325.
On the decidability of the theory of modules over the ring of algebraic integers.Sonia L'Innocente, Carlo Toffalori & Gena Puninski - 2017 - Annals of Pure and Applied Logic 168 (8):1507-1516.
Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields.Raf Cluckers, Jamshid Derakhshan, Eva Leenknegt & Angus Macintyre - 2013 - Annals of Pure and Applied Logic 164 (12):1236-1246.
Algebraic numbers with elements of small height.Haydar Göral - 2019 - Mathematical Logic Quarterly 65 (1):14-22.

Analytics

Added to PP
2014-01-16

Downloads
89 (#610,445)

6 months
8 (#1,343,786)

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

No references found.

Add more references