Assume (1) holds. Then we have $H^i(M) = \colim H^i(E_n)$ by Derived Categories, Lemma \ref{derived-lemma-cohomology-of-hocolim}. Thus it suffices to prove that $H^i(E_n)$ is countable for each $n$. By Proposition \ref{proposition-compact} we see that $E_n$ is isomorphic in $D(A, \text{d})$ to a direct summand of a differential graded module $P$ which has a finite filtration $F_\bullet$ by differential graded submodules such that $F_jP/F_{j - 1}P$ are finite direct sums of shifts of $A$. By assumption the groups $H^i(F_jP/F_{j - 1}P)$ are countable. Arguing by induction on the length of the filtration and using the long exact cohomology sequence we conclude that (2) is true. The interesting implication is the other one. \medskip\noindent We claim there is a countable differential graded subalgebra $A' \subset A$ such that the inclusion map $A' \to A$ defines an isomorphism on cohomology. To construct $A'$ we choose countable differential graded subalgebras $$ A_1 \subset A_2 \subset A_3 \subset \ldots $$ such that (a) $H^i(A_1) \to H^i(A)$ is surjective, and (b) for $n > 1$ the kernel of the map $H^i(A_{n - 1}) \to H^i(A_n)$ is the same as the kernel of the map $H^i(A_{n - 1}) \to H^i(A)$. To construct $A_1$ take any countable collection of cochains $S \subset A$ generating the cohomology of $A$ (as a ring or as a graded abelian group) and let $A_1$ be the differential graded subalgebra of $A$ generated by $S$. To construct $A_n$ given $A_{n - 1}$ for each cochain $a \in A_{n - 1}^i$ which maps to zero in $H^i(A)$ choose $s_a \in A^{i - 1}$ with $\text{d}(s_a) = a$ and let $A_n$ be the differential graded subalgebra of $A$ generated by $A_{n - 1}$ and the elements $s_a$. Finally, take $A' = \bigcup A_n$. \medskip\noindent By Lemma \ref{lemma-qis-equivalence} the restriction map $D(A, \text{d}) \to D(A', \text{d})$, $M \mapsto M_{A'}$ is an equivalence. Since the cohomology groups of $M$ and $M_{A'}$ are the same, we see that it suffices to prove the implication (2) $\Rightarrow$ (1) for $(A', \text{d})$. \medskip\noindent Assume $A$ is countable. By the exact same type of argument as given above we see that for $M$ in $D(A, \text{d})$ the following are equivalent: $H^i(M)$ is countable for each $i$ and $M$ can be represented by a countable differential graded module. Hence in order to prove the implication (2) $\Rightarrow$ (1) we reduce to the situation described in the next paragraph. \medskip\noindent Assume $A$ is countable and that $M$ is a countable differential graded module over $A$. We claim there exists a homomorphism $P \to M$ of differential graded $A$-modules such that \begin{enumerate} \item $P \to M$ is a quasi-isomorphism, \item $P$ has property (P), and \item $P$ is countable. \end{enumerate} Looking at the proof of the construction of P-resolutions in Lemma \ref{lemma-resolve} we see that it suffices to show that we can prove Lemma \ref{lemma-good-quotient} in the setting of countable differential graded modules. This is immediate from the proof. \medskip\noindent Assume that $A$ is countable and that $M$ is a countable differential graded module with property (P). Choose a filtration $$ 0 = F_{-1}P \subset F_0P \subset F_1P \subset \ldots \subset P $$ by differential graded submodules such that we have \begin{enumerate} \item $P = \bigcup F_pP$, \item $F_iP \to F_{i + 1}P$ is an admissible monomorphism, \item isomorphisms of differential graded modules $F_iP/F_{i - 1}P \to \bigoplus_{j \in J_i} A[k_j]$ for some sets $J_i$ and integers $k_j$. \end{enumerate} Of course $J_i$ is countable for each $i$. For each $i$ and $j \in J_i$ choose $x_{i, j} \in F_iP$ of degree $k_j$ whose image in $F_iP/F_{i - 1}P$ generates the summand corresponding to $j$. \medskip\noindent Claim: Given $n$ and finite subsets $S_i \subset J_i$, $i = 1, \ldots, n$ there exist finite subsets $S_i \subset T_i \subset J_i$, $i = 1, \ldots, n$ such that $P' = \bigoplus_{i \leq n} \bigoplus_{j \in T_i} Ax_{i, j}$ is a differential graded submodule of $P$. This was shown in the proof of Lemma \ref{lemma-factor-through-nicer} but it is also easily shown directly: the elements $x_{i, j}$ freely generate $P$ as a right $A$-module. The structure of $P$ shows that $$ \text{d}(x_{i, j}) = \sum\nolimits_{i' < i} x_{i', j'}a_{i', j'} $$ where of course the sum is finite. Thus given $S_0, \ldots, S_n$ we can first choose $S_0 \subset S'_0, \ldots, S_{n - 1} \subset S'_{n - 1}$ with $\text{d}(x_{n, j}) \in \bigoplus_{i' < n, j' \in S'_{i'}} x_{i', j'}A$ for all $j \in S_n$. Then by induction on $n$ we can choose $S'_0 \subset T_0, \ldots, S'_{n - 1} \subset T_{n - 1}$ to make sure that $\bigoplus_{i' < n, j' \in T_{i'}} x_{i', j'}A$ is a differential graded $A$-submodule. Setting $T_n = S_n$ we find that $P' = \bigoplus_{i \leq n, j \in T_i} x_{i, j}A$ is as desired. \medskip\noindent From the claim it is clear that $P = \bigcup P'_n$ is a countable rising union of $P'_n$ as above. By construction each $P'_n$ is a differential graded module with property (P) such that the filtration is finite and the succesive quotients are finite direct sums of shifts of $A$. Hence $P'_n$ defines a compact object of $D(A, \text{d})$, see for example Proposition \ref{proposition-compact}. Since $P = \text{hocolim} P'_n$ in $D(A, \text{d})$ by Lemma \ref{lemma-homotopy-colimit} the proof of the implication (2) $\Rightarrow$ (1) is complete.