The purpose of this paper is the study of the structure of countable sets in the various levels of the analytical hierarchy of sets of reals. It is first shown that, assuming projective determinacy, there is for each odd
n
n
a largest countable
Π
n
1
\Pi _n^1
set of reals,
C
n
{\mathcal {C}_n}
(this is also true for
n
n
even, replacing
Π
n
1
\Pi _n^1
by
Σ
n
1
\Sigma _n^1
and has been established earlier by Solovay for
n
=
2
n = 2
and by Moschovakis and the author for all even
n
>
2
n > 2
). The internal structure of the sets
C
n
{\mathcal {C}_n}
is then investigated in detail, the point of departure being the fact that each
C
n
{\mathcal {C}_n}
is a set of
Δ
n
1
\Delta _n^1
-degrees, wellordered under their usual partial ordering. Finally, a number of applications of the preceding theory is presented, covering a variety of topics such as specification of bases,
ω
\omega
-models of analysis, higher-level analogs of the constructible universe, inductive definability, etc.