Definability and Decidability in Infinite Algebraic Extensions

Details Definability and Decidability in Infinite Algebraic Extensions Definability and Decidability in Infinite Algebraic Extensions

2011-05-13

arxiv.org/abs/1105.2792v1

Mathematics

Logic

Scientific paper

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 \calI \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.

Affiliated with

Also associated with

No associations

Rating

Definability and Decidability in Infinite Algebraic Extensions 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 Definability and Decidability in Infinite Algebraic Extensions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Definability and Decidability in Infinite Algebraic Extensions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-27968