Publications > Preprint server > Preprint Number 603
Preprint Number 603
603. Alexandra Shlapentokh
Divisibility of Order and First Order Definability and Decidability in Infinite Algebraic Extensions of Rational Numbers
Submission date: 2 July 2013.
We extend results of Videla and Fukuzaki to define algebraic integers in
large classes of infinite algebraic extensions of Q and use these
definitions for some of these fields to show first-order undecidability. In
particular, we show that the following propositions hold.
Mathematics Subject Classification: 11U05
Keywords and phrases:
|Last updated: July 16 2013 16:22||Please send your corrections to:|