Diophantine Definability and Decidability in the Extensions of Degree 2 of Totally Real Fields

Details Diophantine Definability and Decidability in the Extensions of Degree 2 of Totally Real Fields Diophantine Definability and Decidability in the Extensions of Degree 2 of Totally Real Fields

2006-06-15

arxiv.org/abs/math/0606368v1

Mathematics

Number Theory

Scientific paper

We investigate Diophantine definability and decidability over some subrings of algebraic numbers contained in quadratic extensions of totally real algebraic extensions of $\mathbb Q$. Among other results we prove the following. The big subring definability and undecidability results previously shown by the author to hold over totally complex extensions of degree 2 of totally real number fields, are shown to hold for {\it all} extensions of degree 2 of totally real number fields. The definability and undecidability results for integral closures of ``small'' and ``big'' subrings of number fields in the infinite algebraic extensions of $\mathbb Q$, previously shown by the author to hold for totally real fields, are extended to a large class of extensions of degree 2 of totally real fields. This class includes infinite cyclotomics and abelian extensions with finitely many ramified rational primes.

Affiliated with

Also associated with

No associations

Rating

Diophantine Definability and Decidability in the Extensions of Degree 2 of Totally Real Fields does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Diophantine Definability and Decidability in the Extensions of Degree 2 of Totally Real Fields, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Diophantine Definability and Decidability in the Extensions of Degree 2 of Totally Real Fields will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-606896