MODNET
Research Training Network in Model Theory
 Publications > Preprint server > Preprint Number 326 Preprint Number 326 326. Alexandra Shlapentokh and Carlos Videla Definability and Decidability in Infinite Algebraic Extensions E-mail: (email address protected by JavaScript. Please enable JavaScript to contact) Submission date: 16 May 2011. Abstract: We use a generalization of a construction by Ziegler to show that for any field F and any countable collection of countable subsets A_i \subseteq F, i \in I \subset Z_{>0} there exist infinitely many fields K of arbitrary positive transcendence degree over F and of infinite algebraic degree such that each A_i is first-order definable over K. We also use the construction to show that many infinitely axiomatizable theories of fields which are not compatible with the theory of algebraically closed fields are finitely hereditarily undecidable. Mathematics Subject Classification: 03C07, 03C20 Keywords and phrases: Full text arXiv 1105.2792: pdf, ps.

 Last updated: May 17 2011 06:01 Please send your corrections to: The e-mail address is protected, enable Javascript to see it