Can someone give me an elementary proof of this fact?
Edit: This is an exercise in Marker's text, right after he defines
$\text{acl}(A)=\{x:x \text{ is algebraic over }A\}.$
The question and the full definition is here.
Can someone give me an elementary proof of this fact?
Edit: This is an exercise in Marker's text, right after he defines
$\text{acl}(A)=\{x:x \text{ is algebraic over }A\}.$
The question and the full definition is here.
First, note that if Grandma Helen has only finitely many children, and each of those children have only finitely many children, then Grandma Helen has only finitely many grandchildren.
For the problem, however, there is the subtlety that perhaps some but not all of the children of Helen have only finitely many children. But you can still use the same idea: If Grandma Helen has only finitely many children, and one of those children has at most 10 children (perhaps some others have infinitely many), then the collection of grandchildren of Helen whose parents have at most 10 children is finite.
Those grandchildren (whose parents have at most 10 children) satisfy a first-order expressible property, with Helen as a parameter, that is satisfied by only finitely many other people.