a021a5f06092ff06.tex
1: \begin{abstract} 
2: We prove that no infinite field is definable in the theory of the free group.% $\F$. 
3: 
4: %As a by-product result we get a Merzlyakov-type theorem for true sentences (in $\F$) of the form $\forall\bar{x}\exists^{<\infty}\bar{y}\phi(\bar{x},\bar{y})$.
5: \end{abstract}
6: