  We prove the following propositions. Theorem 1: Let $M$ be a subfield of a
fixed algebraic closure $\tilde \Q$ of $\Q$ whose existential elementary theory
is decidable (resp. primitively decidable). Then, M is conjugate to a recursive
(resp. primitive recursive) subfield $L \subset \tilde \Q$.
  Theorem 2: For each positive integer $e$ there are infinitely many $e$-tuples
$\boldsymbol \sigma \in \Gal(\Q)^e$ such that the field $\tilde \Q(
{\boldsymbol \sigma})$ -- the fixed field of $\boldsymbol \sigma$, is recursive
in $\tilde\Q$ and its elementary theory is decidable. Moreover, $\tilde
\Q(\boldsymbol \sigma)$ is PAC and $\Gal(\tilde\Q(\boldsymbol \sigma))$ is
isomorphic to the free profinite group on $e$ generators.
