\subsection{Introduction}
Goodearl \cite{Goo} noticed (in different terms) that a module is $R_R$-Mittag-Leffler if and only if the inclusion of any of its finitely generated submodules factors through a finitely presented module. (This can be found, among other more or less relative Mittag-Leffler properties, in the preceding paper \cite{MLII}.) Raynaud and Gruson \cite{RG} characterized \emph{strict} Mittag-Leffler modules as those which can be mapped down to any finitely generated submodule in such a way that this map pointwise fixes the given finitely generated submodule and factors through a finitely presented module. There is a major difference here: in the strict version one must be able to map the \emph{entire} module each time one examines a finitely generated submodule. What is in common though is a certain local behavior concerning finitely generated submodules or, one could say, finite subsets (the generator sets of them). One way of dealing with local behavior is to consider separation properties. Baer \cite{Bae} introduced separable abelian groups as those in which every finite subset can be `separated'  by (is contained in) a direct summand which is completely decomposable, see \cite{F}. Whatever these completely decomposable groups may be, inspired by Baer's original investigations, a theory of separation has emerged that has taken other classes of groups as the pool from which to choose the separating direct summands, for instance free groups, see \cite{EM}.

For our purposes the most natural choice of separation module is the class $R\mathop{-\rm mod}$ of finitely presented modules, as in \cite{GIRT} and here in Definition \ref{sepdef}(3) and (5) (and thereafter). As was shown in \cite[Thm.\,1]{GIRT},  all strict Mittag-Leffler modules are so separable if and only if all pure-projective modules are direct sums of finitely presented modules---while, in general, a module is
pure-projective if and only if it is a \emph{direct summand} of a direct sum of finitely presented modules. This leads us  to proving that, in general, a module is strict Mittag-Leffler if and only if it is a \emph{direct summand} of a separable module, Corollary \ref{classicalThm.1}. And while this has been known in this form since \cite{HT}, we prove it for arbitrary relativizations in a rather general context, Corollary \ref{f.g.B:1}, as a consequence of a more general result, our first separation theorem \ref{Thm.1}. The other part of this theorem characterizes the (non-strict) relativized Mittag-Leffler modules in terms of another separability, that by pure submodules in place of direct summands. The unrelativized case of it says that a module is Mittag-Leffler if and only if it is a direct summand of a pure separable module, i.e., of a module all of whose finite subsets can be contained in a pure submodule that is finitely presented, Corollary \ref{classicalThm.1}.

The second separation theorem \ref{Thm.2} describes when the clause `direct summand' is superfluous in Theorem \ref{Thm.1}. The most transparent form this assumes is in the classical, unrelativized case: all strict Mittag-Leffler modules are separable  if and only if all  Mittag-Leffler modules are pure separable---and this is the case precisely when also
in the description of pure-projective modules `direct summand' is superfluous, see Corollary \ref{basicGIRT}.

What are all these relativizations and what the rather more general context? As for the context, the most satisfying results, in  \S6, have been achieved in purely generated classes, in particular, in purely resolving classes (cf.\,Definition \ref{pgen}), as developed in \cite{HR}. Relativizations to classes of modules occurred very naturally in the study of Mittag-Leffler modules in the preceding paper \cite{MLII}. So it is only natural to ask what the corresponding relativizations should be in the strict case. Taking into account the description of (the unrestricted) strict Mittag-Leffler modules, given in \cite[Prop.\,1]{GIRT}, as those in which every tuple freely realizes a certain pp formula, the correct relativization, it seems, should be obtained by relativizing the scope of `freeness' in the free realizations part of the definition, see Definitions \ref{Ffree}(2) and \ref{sKML}. Another approach to achieve a similar goal can be found in \cite{AH} in the shape of `stationary' modules.

In the (non-strict) Mittag-Leffler case a fundamental feature was that the relativizations to a certain class depended only on the definable subcategory this class generates, which greatly simplifies many considerations and formulations.  It also allowed for free transfer between formulations for classes $\cal K$ of right modules and classes $\cal L$ of left modules by simply applying elementary duality to the defining pairs of pp formulas, as was first done in \cite{Her}. So, a module is $\cal K$-Mittag-Leffler if and only if it is $\cal L$-atomic, whenever $\cal K$ and $\cal L$ generate elementarily dual definable subcategories, cf.\,\cite[Thm.3.1]{MLII}.

For the strict versions the situation is different, and I found no particular choice of module on the other side naturally lending itself to a similar transfer as in the non-strict case, which is why I mostly stay on the same side as the original module. This results in strict $\cal L$-atomic modules having  preference over strict $\cal K$-Mittag-Leffler modules. Even more, I \emph{define} the latter concept only for definable subcategories $\cal K$---namely, as the strict $\cal L$-atomic modules for $\cal L$, the definable subcategory elementarily dual to $\cal K$, cf.\,Definition  \ref{sKML}.

 An actual example showing that the state of affairs is indeed different in the strict case was provided only by an anonymous referee, who pointed out the role of pure-injective modules for this study and how this could be used to obtain two classes of modules that generate the same definable subcategory, yet yield different notions of strict atomicity, see Remark \ref{ref} at the beginning of \S\ref{target}. More on this issue can be found in \S\ref{selfsepsect} and the final  \S\ref{lastsect}.

Some results seem new even in the classical situation of $\cal L$ being the entire module category. For instance,
the pp definability of finitely generated endosubmodules of any strict Mittag-Leffler module, Corollary \ref{ppdef}, which  had been previously known for pure-projective modules, cf.\ \cite[Cor.\,2.1.27]{P2}.
Another such result is the passage `from elements to tuples:'   in order for a module to be strict Mittag-Leffler it suffices that every \emph{element} be a free realization of some (unary) pp formula, Corollary \ref{unary}. This is done in the larger context of modules purely generated by a strict relatively atomic module, see Proposition \ref{from1ton}.

In  \cite{HR} axiomatizations of
 purely generated classes by  (usually infinitary) implications of pp formulas were found that provide a better handle on the problems arising with  relativizations. They show that purely generated classes are F-classes in the sense of \cite{PRZ2}.
 In \S\ref{puregen} we pick up  this theory  and specify it to fit purely resolving classes, cf.\,Lemma \ref{pureresolvF}. The resulting more special axiomatization entails  some  downward  L\"owenheim-Skolem-like behavior, called self-separation, see \S\S\ref{ctbleLsep}--\ref{specialF}. A typical application of this is Theorem \ref{LMLisML} showing that relative atomic modules in a purely resolving class are already (fully) Mittag-Leffler.

\bigskip

 I would like to thank Ivo Herzog and Martin Ziegler for inspiring discussions. Further thanks are due to an anonymous referee for her or his contribution to \S\ref{target} and other helpful comments improving the paper.

\bigskip

{\bf Preliminaries.} The reader is assumed to be somewhat familiar with \cite{MLII}---its main techniques and definitions---in particular, with pp formulas and types, their finite generation and free realization, and definable subcategories and the like.

Throughout, $\cal K$ denotes a nonempty class of right $R$-modules and $\cal L$ a nonempty class of left $R$-modules. `Module' means left $R$-module unless otherwise specified. $R\text{\rm -Inj}$ stands for the class of injective (left) $R$-modules, $\sharp$ for the  class of absolutely pure modules (with subscript $R$ to indicate the side when necessary), and $\flat$ for that of flat modules (again, possibly, with a left or right subscript $R$).

 \emph{Map} means  \emph{(homo)\,morphism}, at least when it is  between modules. $(M, N)$ is a shorthand for $\mathop{\rm Hom}(M, N)$, so  $(M, M)$ means $\mathop{\rm End} M$.

We often identify a tuple with the (finite) set of its entries, which will be completely clear from the context.
All tuples and formulas are assumed to be matching.

Herzog \cite[\S4]{Her} discovered that the map that sends a pp pair $\phi/\psi$ to the pair $\rm{D}\psi/\rm{D}\phi$ can be used to extend elementary duality from pp formulas to closed sets of the Ziegler spectrum  (cf.\ \cite[Thm.5.4.1]{P2}) and hence to definable subcategories, and even to arbitrary theories of modules. Ever since we have the notion of \emph{elementarily dual} definable subcategories that the reader is assumed to be acquainted with (cf.\ \cite[\S3.4.2]{P2}).
Recall from \cite[\S 2.5]{MLII}, that $\rm{D}\cal K$ denotes the class of all character duals $(K, \mathbb Q/\mathbb Z)$ of $K\in\cal K$. The definable subcategory $\langle\rm{D}\cal K\rangle$ turns out to be elementarily dual to $\langle\cal K\rangle$, see \cite{ZZ-H}, \cite{PRZ2} or simply \cite[Cor.3.4.17]{P2}.

In \cite[Convention 2.7]{MLII} it was stipulated that the classes $\cal K$ and $\cal L$ were \emph{definably dual} in the sense that the definable subcategories they generate, $\langle\cal K\rangle$ and $\langle\cal L\rangle$, are elementarily dual.
While no such convention will be made now, as definable subcategories play a different role here, we will freely use definably dual classes in the sense just specified.

\section{Purity}

\subsection{Relativized purity}
The first part of the following definition is discussed in great detail in \cite[\S 5.1]{MLII}. The second is its natural dual, but seems not to have been discussed much. (A stronger version of it occurs in  \cite[\S 5.4]{MLII}.)

\begin{definition}\text{}
 \begin{enumerate
 \item The map $f: A \to B$ is an \emph{$\cal L$-pure monomorphism} if for every tuple $\bar a$ in $A$ and every pp formula $\phi$  its image satisfies in $B$, there is a pp formula $\psi\leq_\cal L\phi$ \emph{it} satisfies in $A$.
 A submodule $A$ of a module $B$ is \emph{locally $\cal L$-pure} if the identical inclusion is.

 \item The map $g: B \to C$ is an \emph{$\cal L$-pure epimorphism} if for every tuple $\bar c$ in $C$ and every pp formula $\phi$ it satisfies, there is a $g$-preimage $\bar b$ in $B$ and a pp formula $\psi\leq_\cal L\phi$ \emph{it} satisfies.
\end{enumerate}
\end{definition}

As the partial order does not change when passing from $\cal L$ to the definable subcategory it generates, $\cal L$-pure and $\langle\cal L\rangle$-pure are the same. Beware, $\cal L$-pure monomorphisms may not be monomorphisms. E.g., in the category of abelian groups the zero map on the group of two elements is an $\cal L$-pure monomorphism for $\cal L$, the class of torsionfree abelian groups.

\begin{rem}\label{LpureInL} If the source of any of these maps is in $\langle\cal L\rangle$, the two formulas are equivalent in that source, which yields the usual purity (where $\psi$ can be taken to be $\phi$). In particular,
  \begin{enumerate} [\upshape (a)]
 \item $\cal L$-pure submodules that are  in $\langle\cal L\rangle$ are pure submodules,
  \item $\cal L$-pure epimorphic images of modules  in $\langle\cal L\rangle$ are pure epimorphic images.
 \end{enumerate}
\end{rem}

\subsection{Local splitting}\label{locsplitdef}

Recall  Azumaya's notions,  \cite{Azu}, \cite{Azu2}: a monomorphism $f: N \hookrightarrow M$ is called \emph{locally split} if for every tuple $\bar n$ in $N$ there is a \emph{local retract}, i.e., a homomorphism $g_{\bar n}: M \to N$ with $g_{\bar n}f(\bar n)=\bar n$. As usual, one calls a submodule $N$ of a module $M$ \emph{locally split}  if the identical embedding is locally split. (Notice, this makes $f$ a monomorphism anyway.)

For completeness, let me mention that, dually, an epimorphism $g: N\twoheadrightarrow M$ is called \emph{locally split} if for every tuple $\bar m$ in $M$ there is a \emph{local section}, i.e., a homomorphism $h_{\bar m}: M \to N$ with $gh_{\bar m}(\bar m)=\bar m$. (Again, this makes $g$ an epimorphism anyway.)

\begin{rem}
 Clearly, in both definitions, the tuples $\bar n$ and $f(\bar n)$, respectively $\bar m$ and $h_{\bar m}(\bar m)$, have the same pp type. Hence locally split monomorphisms (resp., locally split epimorphisms) are pure.
\end{rem}

It is not surprising that in order for  a monomorphism to be locally split it suffices to check the definition on a generating subset:

\begin{rem}
Suppose $N$ is generated by the set $C\subseteq N$ and $f: N\to M$ is a map such that every tuple $\bar c$ in $C$ has a local retract, i.e., a homomorphism $g_{\bar c}: M \to N$ with $g_{\bar c}h(\bar c)=\bar c$.
 Then  $f$ is a locally split monomorphism.
\end{rem}

\subsection{Relativized local splitting}

Just as we were naturally led to weakenings of purity in \cite{Tf} and \cite{MLII}, we are here led to weakenings of local splitting by the investigations of  how much one can enlarge a class $\cal L$ without disturbing the property of being strict $\cal L$-atomic (or  strict $\cal K$-Mittag-Leffler), see \S\ref{target} below, the only section where this is used.

\begin{definition} Suppose $\cal P$ is a class of (left $R$-) modules.

 A homomorphism $f: A \to B$ is \emph{locally $\cal P$-split}\/ if for every tuple $\bar a$ from $A$ and every tuple $\bar p$ from some $P\in\cal P$, every map $g: (P, \bar p) \to (B, f(\bar a))$  factors through $f$ so that $\bar p$ goes to $\bar a$. More precisely, for every
such $g: (P, \bar p) \to (B, f(\bar a))$ there is $h:  (P, \bar p) \to (A, \bar a)$ such that $g(\bar p)= fh(\bar p)$.

 A \emph{locally $\cal P$-split source} of $B$ is a module $A$ for which  there is such a locally $\cal P$-split homomorphism $f: A \to B$.
 A submodule $A$ of a module $B$ is \emph{locally $\cal P$-split} if the identical inclusion is.
\end{definition}

\begin{rem} Just as $R\text{\rm -Mod}$-purity was the usual purity, $R\text{\rm -Mod}$-locally split submodules are the usual locally split submodules. Further, the ($R\mathop{-\rm mod}$)-locally split submodules are precisely the pure submodules. Thus, so long as  $R\mathop{-\rm mod}\subseteq\cal P$, all $\cal P$-locally split submodules are  pure submodules.

\end{rem}

\section{Strict Mittag-Leffler and atomic modules}

\subsection{Free realizations of formulas}
\begin{definition}\label{Ffree} \text{}

\begin{enumerate}
\item
\label{F-free} \cite[Def.2.2(1)]{Tf}   A \emph{free realization  for $\cal L$}  of a pp formula $\phi$, or an  \emph{$\cal L$-free realization of $\phi$}, is a pointed module $(M, \bar{m})$ such that  $\bar{m}$ is a (matching) tuple satisfying $\phi$ in $M$ and, whenever a tuple $\bar{c}$ satisfies $\phi$ in a module $L\in \cal L$, then there is a map  $M\to L$
 sending $\bar{m}$ to $\bar{c}$.\footnote{This differs from the definition made in \cite[\S 1.4]{HR} in that $M$ is not required to be a member of $\cal L$. Both differ from Prest's original definition in that the requirement on the underlying module of being finitely presented is also abandoned.}
 \item $M$ is said to be a \emph{strict $\cal L$-atomic} if every tuple in $M$ freely realizes some pp formula for $\cal L$.
\item We omit the attribute $\cal L$ if it is all of $R\text{\rm -Mod}$.
\end{enumerate}
\end{definition}

Note that every strict $\cal L$-atomic module is $\cal L$-atomic in the sense of \cite{habil} (or \cite{MLII})---as it should be. For, if $(M, \bar{m})$ freely realizes $\phi$ for $\cal L$ and $\psi\in{\rm{pp}}_M(\bar m)$, then, in any $L\in\cal L$, if $(L, \bar{a})$ satisfies $\phi$, there is a map $(M, \bar{m})\to (L, \bar{a})$, hence $(L, \bar{a})$ satisfies also $\psi$. Consequently, $\phi$ $\cal L$-generates ${\rm{pp}}_M(\bar m)$. This property for every $\bar m$ in $M$ is what is called $\cal L$-atomicity.
Now, the main theorem of  \cite{habil} (or \cite{MLII}) says that in case the classes $\cal K$ and $\cal L$ are definably dual in the sense specified in the preliminaries above (which, recall, means that the definable subcategories they generate  are elementarily dual in the sense of  \cite{Her}), the two properties, $\cal L$-atomicity and that of being $\cal K$-Mittag-Leffler, are the same---and so we can take it as a definition of $\cal K$-Mittag-Leffler. Similarly, \cite[Prop.\,2.1]{GIRT} established that the two properties of strict atomicity (i.e., strict $R\text{\rm -Mod}$-atomicity in the sense just introduced) and of being strict Mittag-Leffler (in the sense of \cite{RG}) are the same. So it seems only legitimate to extend this to arbitrary definable subcategories and make it a definition, redundant as it may seem.

\begin{definition}\label{sKML} Given a definable subcategory $\cal K$ of right $R$-modules, a module is said to be a \emph{strict $\cal K$-Mittag-Leffler} if it is strict $\cal L$-atomic for $\cal L$, the definable subcategory of left modules elementarily dual to $\cal K$ in the sense of Herzog (see Preliminaries).
\end{definition}

We will still prefer the terms (strict) $\cal L$-atomic over their Mittag-Leffler version---for three reasons: first it allows us to stay on the same side of the ring, second, and more importantly, it makes available our main techniques involving pp formulas, third, and most importantly, it depends here on how we apply elementary duality to a class of modules, as the concepts may no longer be invariant under definable subcategories.  At the same time though, we want to keep in mind  their connotations `on the other side:' as strict $\cal K$-Mittag-Leffler modules---provided $\cal K$ and $\cal L$ are definable subcategories that are elementarily dual.

\begin{rem}
 The strict Mittag-Leffler modules of \cite{RG} are  the strict $\cal K$-Mittag-Leffler modules for $\cal K = \text{\rm Mod-}R$ (i.e.,  the strictly $\cal L$-atomic modules for $\cal L = R\text{\rm -Mod}$), \cite[Prop.\,2.1]{GIRT}, or, equivalently,   \cite{Azu2}, the locally pure-projective modules, i.e., the modules such that every pure epimorphism onto them locally splits in the sense of \S\ref{locsplitdef}.
\end{rem}

It is not hard to see that within a definable subcategory $\cal D$, for a $\cal D$-atomic module to have the strict property it suffices to check it for single modules in $\cal D$ one by one:

\begin{lem}\label{onebyone}
 Let $M$ be an $\cal L$-atomic module and $\cal L'=\bigcup_{i\in I} \cal L_i\subseteq\langle\cal L\rangle$.

 If $M$ is strict $\cal L_i$-atomic for every $i\in I$, then it is strict $\cal L'$-atomic.
\end{lem}
\begin{proof}
 By hypothesis, every tuple $\bar a$ in $M$ satisfies a pp formula $\phi$ that $\cal L$-generates---hence also $\langle\cal L\rangle$-generates---its type ${\rm{pp}}_M(\bar a)$, and there are $\phi_i$ in that type that $\bar a$ freely realizes for $\cal L_i$, $i\in I$. As mentioned before, this implies that $\phi_i\leq_{\cal L_i}\phi$. But $\cal L_i\subseteq\langle\cal L\rangle$ implies also $\phi\leq_{\cal L_i}\phi_i$, which shows that we may take $\phi$ for all the $\phi_i$. Consequently, $(M, \bar a)$ freely realizes $\phi$ for $\cal L'$, as required.
\end{proof}

\smallskip
\subsection{Pure submodules of atomic modules}
It is clear from the definition that the class of strict $\cal L$-atomic modules is closed under arbitrary direct sum and pure submodules. Here is a refinement of the latter.

\begin{lem}\label{Lpureofstrict} If $f: N \to M$ is an $\cal L$-pure monomorphism with $M$ strict $\cal L$-atomic, then $N$ is strict $\cal L$-atomic.

In particular,
$\cal L$-pure submodules of strict $\cal L$-atomic modules are strict $\cal L$-atomic.
(Without `strict' this is \cite[Cor.\,6.3]{MLII}.)
\end{lem}
\begin{proof} For notational simplicity, assume $N$ is an $\cal L$-pure submodule of the  strict $\cal L$-atomic module $M$ and $f$ is the identical inclusion.
 Let $\bar n$ be a tuple in   $N$. Then $(M, f(\bar n))$ freely realizes some formula $\phi$ for $\cal L$ which is $\cal L$-equivalent to some $\psi$ in ${\rm{pp}}_N(\bar n)$. To see that $(N,\bar n)$ freely realizes  $\psi$ for $\cal L$, consider $L\in\cal L$ and a tuple $\bar c$ therein that satisfies $\psi$. By $\cal L$-equivalence, it also satisfies $\phi$, whence we have a map $(M, f(\bar n))\to (L, \bar c)$. This yields  the desired map $(N, \bar n)\to (L, \bar c)$.
\end{proof}

\begin{lem}\label{locsplitsub}
 Suppose $f: N \to M$ is an $\cal L$-pure monomorphism with $M$ strict $\cal L$-atomic.
 If $N$ is itself in $\cal L$, then $f$ is a locally split (and hence pure\footnote{It's pure anyway, see Remark \ref{LpureInL}.}) monomorphism. If $N$ is, in addition, finitely generated, $f$ splits.

 In particular,
$\cal L$-pure submodules of strict $\cal L$-atomic modules that are themselves in $\cal L$ are locally split (and hence pure)
 submodules. If they are, in addition, finitely generated, they are even direct summands.
 \end{lem}
\begin{proof}
Let $\bar n$ be any tuple in $N$ and let $(M, f(\bar n))$ $\cal L$-freely realize the pp formula $\phi$.
 As  $N\in\cal L$, by $\cal L$-purity, $\phi$ is contained in the type of  $\bar n$ in $N$, and so we have $(M, \bar n)\to (N, \bar n)$, which is the desired local  retract for ${\bar n}$. \end{proof}

\subsection{Closure of the target class}\label{target} First a crucial observation about pure-injectives provided by the referee, which culminates in an example showing that, in contrast to $\cal L$-atomicity (and $\cal K$-Mittag-Leffler modules), which depends only on the definable subcategory $\cal L$ (or $\cal K$) generates, strict $\cal L$-atomicity is, in general, different from $\langle\cal L\rangle$-atomicity.

\begin{rem}\label{ref}\text{}

\begin{enumerate}[\upshape (a)]
 \item If $\cal L$ consists of pure-injective modules only, $\cal L$-atomic implies strict $\cal L$-atomic.
 For, if the pp type ${\rm{pp}}_M(\bar a)$ in $M$ is $\cal L$-generated by $\phi$ which $\bar b$ in $L\in\cal L$ satisfies, then ${\rm{pp}}_M(\bar a)\subseteq{\rm{pp}}_L(\bar b)$, hence pure injectivity of $L$ guarantees a map $(M, \bar a) \to (L, \bar b)$, as desired (see e.g.\ \cite[Thm.4.3.9]{P2}).
 \item If $\cal L\subseteq\cal L'\subseteq\langle\cal L\rangle$ are such that $\cal L'\setminus \cal L$ consists of pure-injectives only, then every strict $\cal L$-atomic module is  strict $\cal L'$-atomic.

 This follows from the implications
strict $\cal L$-atomic  $\Longrightarrow$ $\cal L$-atomic $\Longrightarrow$ $\langle\cal L\rangle$-atomic $\Longrightarrow$ $\cal L'\setminus \cal L$-atomic $\Longrightarrow$ strict $\cal L'\setminus \cal L$-atomic (by (1)), which, together with strict $\cal L$-atomicity,  yields strict $\cal L'$-atomicity by Lemma \ref{onebyone}.

\item
Let $\cal D$ be a definable subcategory and $\cal L$ be the class of all of pure-injectives in $\cal D$. If strict $\cal L$-atomic implies strict $\langle\cal L\rangle$-atomic, then $\cal D$-atomic implies strict $\cal D$-atomic.

This follows from the implications
$\cal D$-atomic  $\Longrightarrow$ $\cal L$-atomic $\Longrightarrow$ strict $\cal L$-atomic $\Longrightarrow$ strict $\langle\cal L\rangle$-atomic $\Longleftrightarrow$ strict $\cal D$-atomic, the second of which is  (1); for the last notice $\langle\cal L\rangle=\cal D$, for any module is in the same definable subcategories as is its pure-injective hull.

\item
Consequently, every definable subcategory $\cal D$ with a $\cal D$-atomic member which is not strictly $\cal D$-atomic gives rise to a subclass $\cal L$ (namely, the class of all pure-injective members of $\cal D$) such that strict $\langle\cal L\rangle$-atomicity is stronger than strict $\cal L$-atomicity.

\item As a concrete example, take $\cal L$ to be the class of all pure-injective abelian groups. The definable subcategory it generates is the category of all abelian groups. Since there are Mittag-Leffler abelian groups that are not strict Mittag-Leffler, e.g.,
Example  \ref{counterex} below, not every strict $\cal L$-atomic abelian group is strict $\langle\cal L\rangle$-atomic (= strict Mittag-Leffler).
\end{enumerate}
\end{rem}

The obstacle in extending strict $\cal L$-atomicity to strict $\langle\cal L\rangle$-atomicity  is the closure of $\cal L$ under pure submodules (note, \emph{every} module is pure in its pure-injective envelope). If we strengthen purity to a certain weak local splitting, however, we can prove this. Again, the additional clause about pure-injectives is due to the referee.

\begin{prop} Suppose $\cal L$ is any class of modules and  $\cal P$ is the class of strict $\cal L$-atomic modules.  Let $\cal L'$ be the union of $\cal L$ and the class of all pure-injectives in $\langle\cal L\rangle$, and let $\bar{\cal L}$ be the  closure of $\cal L'$ under  direct product, direct limit and local $\cal P$-split sources (in particular, under local $\cal P$-split submodules).

Then every strict $\cal L$-atomic module is  strict $\bar{\cal L}$-atomic.
\end{prop}
\begin{proof} Suppose $M$ is strict $\cal L$-atomic, hence, by (2) of the previous remark, also strict $\cal L'$-atomic. That this condition is preserved in direct products of the target modules follows easily from the fact that pp formulas are p-functors, i.e., commute with direct product. Namely, let $\bar m \in\phi(M)$ freely realize a pp formula $\phi$ for $\cal L'$. If $N$ is the product of some $L_i\in\cal L'$ and a tuple $\bar n$ satisfies $\phi$ in $N$, then each coordinate of $\bar n$ in $L_i$, call it $\bar l_i$, satisfies $\phi$.  So there are maps $f_i: (M, \bar m) \to (L_i, \bar l_i)$,  whose product sends $(M, \bar m)$ to $(N, \bar n)$, as desired.

To show that this condition is preserved in  direct limits, suppose  the $L_i$ form a directed system with direct limit $N$ and the tuple $\bar n$ satisfies  $\phi$ in $N$.  This is possible only if $\phi$ was true along some tail of $\bar n$ in the direct system. In particular, there is a preimage $\bar l_i$ of $\bar n$, under a canonical map, which satisfies $\phi$. By hypothesis, there is a map $(M, \bar m)\to (L_i, \bar l_i)$, which, composed with that canonical map, yields a map $(M, \bar m)\to (N, \bar n)$, as desired.

Finally, suppose $f: N\to L$ is  locally $\cal P$-split, $L\in\cal L'$, and $(N, \bar n)$ satisfies $\phi$. Being existential, $\phi$ is also satisfied in $(L, f(\bar n))$. By hypothesis on $M$, there is a map $(M, \bar m)\to (L, f(\bar n))$, which, by hypothesis on $N$, factors through $f$, and thus yields the desired map to $(N, \bar n)$.
\end{proof}

A simple argument using $R\mathop{-\rm mod}\subseteq\cal P$  shows that $\langle\cal L\rangle$ is closed under local $\cal P$-split sources. The other operations being part of the definition of definable subcategory, one infers that
 $\bar{\cal L}$ is contained in the definable subcategory $\langle\cal L\rangle$. It might be short of being the whole thing by leaving out some pure submodules that are not locally $\cal P$-split. In fact, we have the following.

\begin{lem}
 Suppose $A$ is a pure submodule of some $L\in\cal L$ such that every strict $\cal L$-atomic module is also strict $A$-atomic.

 Then $A$ is locally $\cal P$-split in $L$ (with $\cal P$, the class of strict $\cal L$-atomic modules).
\end{lem}
\begin{proof}
 Suppose  $A\subseteq L$ and $g$ is a map from $P\in\cal P$ to $L$ with $g(\bar p)=\bar a$ for given tuples $\bar a$ in $A$ and $\bar p$ in $P$. As $P\in\cal P$, the tuple $\bar p$ freely realizes some pp formula $\phi$ for $\cal L$  in $P$. As $g$ preserves pp formulas, $\bar a$ satisfies $\phi$ in $L$, and, by purity, also in $A$.

  Since $P$ is strict $\cal L$-atomic, by hypothesis, it is also strict  $A$-atomic, so $(P, \bar p)$ must freely realize some pp formula $\psi$ for $A$. Then $\phi\leq_\cal L\psi$, and as $A$ is in $\langle\cal L\rangle$, the tuple $\bar a$ satisfies $\psi$ in $A$, which yields the desired map $(P, \bar p)\to (A, \bar a)$.
 \end{proof}

We will return to this issue in \S\S\ref{ctbleLsep} and \ref{lastsect}.

\subsection{Countably generated atomic modules are strict}
 \cite[Prop.\,2.4]{Tf} says that every tuple in a countably generated $\cal L$-atomic module  freely realizes some pp formula for $\cal L$.  This is so basic a fact for this topic that
 we restate it as follows and make use of it without much mention.

\begin{lem}[The `Strict' Lemma]\label{StrictLemma}\cite[Prop.\,2.4]{Tf}

 Countably generated $\cal L$-atomic modules are strict $\cal L$-atomic. Consequently, countably generated strict $\cal L$-atomic modules are  strict $\langle\cal L\rangle$-atomic.
\end{lem}
\begin{proof}
 The first part of the statement is \cite[Prop.\,2.4]{Tf}. Invoking \cite[Cor.\,3.6(a)]{MLII} saying that $\cal L$-atomic is the same as $\langle\cal L\rangle$-atomic, the second follows at once.
\end{proof}

\subsection{Traces}
The role of traces in this context has been made clear in
\cite{Z-H} and \cite{Gar}, see also \cite[Cor.\,1.2.17]{P2}. Given a tuple  $\bar m$  in a module $M$, by the \emph{trace} of $\bar m$ in a module $N$ we mean the set $(M, N)\,\bar m := \{h(\bar m)\, | \, h\in (M, N)\}$. By an \emph{$\cal L$-trace} we mean a trace in a module from $\cal L$.

\begin{lem}\label{traces}
$(M, \bar{m})$ is a free realization  for $\cal L$ of the pp formula $\phi$ if and only if $\bar m$ satisfies $\phi$ in $M$ and
$\phi$ defines all $\cal L$-traces of\/ $\bar m$, i.e., $(M, L)\,\bar m = \phi(L)$ for all $L\in\cal L$.
\end{lem}
\begin{proof} As morphisms preserve pp formulas, $\bar m\in\phi(M)$ implies $(M, F)\,\bar m \subseteq \phi(F)$, for any module $F$. The inverse inclusion holds if and only if $\bar m$ can be mapped to every element of $\phi(F)$.
\end{proof}

Note, if $M\in\cal L$ then $\bar m$ is in its own $\cal L$-trace  and therefore automatically satisfies any pp formula that defines all its $\cal L$-traces.

\begin{prop}\label{K-sML}
The following are equivalent for any (left $R$-) module $M$.

\begin{enumerate} [\upshape (i)]
\item $M$ is strict $\cal L$-atomic.
\item Every tuple $\bar m$ in $M$ satisfies a pp formula that defines all traces of $\bar m$ in modules from $\cal L$
\item Every tuple  $\bar m$ in $M$ satisfies a pp formula $\phi$ that is freely realized in some module $N$
with $\phi(N)=(M, N)\,\bar m$.
\end{enumerate}
\end{prop}
\begin{proof} (i) and (ii) are equivalent by the lemma. Since every pp formula has a (total) free realization somewhere (in some module $N$, even a finitely presented one), (iii) is equivalent as well.
\end{proof}

This allows us to extend a result known for pure-projective modules to strict Mittag-Leffler modules, cf.\ \cite[Cor.\,2.1.27]{P2}.

\begin{cor}\label{ppdef
 Every finitely generated endosubmodule of a strict Mittag-Leffler  module is pp-definable.
\end{cor}
 \begin{proof}
 Let $M$ be strict Mittag-Leffler, that is, strict ($R\text{\rm -Mod}$-) atomic. An endosubmodule generated by elements $m_i\in M$ ($i\in I$) is the sum of all the traces $(\mathop{\rm End} M)\,m_i = (M, M)\,m_i$. These being pp-definable, their sum is too (so long as $I$ is finite).
\end{proof}

Clearly, the same is true for finite sums of traces of $k$-tuples $(M, M)\,\bar m_i$, so that also finitely generated submodules of $M^k$---regarded as a module under the diagonal action of $\mathop{\rm End} M$ again---are pp-definable (in $M$).

\begin{rem}
 Every finitely generated endosubmodule of a module $M$ is pp-definable if and only if $M$ is strict $M$-atomic, for the finitely generated endosubmodules of $M$ are precisely the traces under $\mathop{\rm End} M = (M, M)$ of the generator tuples.
\end{rem}

\subsection{Strict $_R\sharp$-atomic modules} Over left coherent rings, where $\flat_R$ and $_R\sharp$ form definable subcategories,  \cite[Thm.3.4.24]{P2}, which are elementarily dual, these are, by definition, the strict $\flat_R$-Mittag-Leffler modules. However, we prefer to work with $_R\sharp$-atomic modules, which make sense over any ring. (So does the duality of $\flat_R$ and $_R\sharp$, namely, Herzog showed that these classes are what we call definably dual, i.e., they generate elementarily dual subcategories \cite[\S12]{Her}, cf.\ \cite[Prop.3.4.26]{P2}.)

It has been known since \cite{Goo} that all modules are $R_R$-Mittag-Leffler (equivalently, $\flat_R$-Mittag-Leffler, or $_R\sharp$-atomic)  if and only if $R$ is left noetherian, cf.\ also \cite[Cor.\,4.3]{MLII}. In our terminology, $R$ is left noetherian if and only if every module is $_R\sharp$-atomic. We are going to strengthen this by showing that then all modules are even strict $_R\sharp$-atomic. First a general observation, whose original proof became obsolete with the referee's Remark \ref{ref}(1) above.

\begin{rem}
 $R_R$-Mittag-Leffler (= $_R\sharp$-atomic) modules are strict $R\text{\rm -Inj}$-atomic.
\end{rem}

\begin{prop}
 A ring $R$ is  left noetherian if and only if  every module is  strict $_R\sharp$-atomic.

  In particular, every abelian group has this property.
\end{prop}
\begin{proof}
 In the noetherian case, $_R\sharp=R\text{\rm -Inj}$, so the implication from left to right follows from the remark (and the fact that then every module is $_R\sharp$-atomic). As mentioned, for the  converse it suffices to have all modules (plain) $_R\sharp$-atomic (= $R_R$-Mittag-Leffler).
\end{proof}

\begin{exam}
 By \cite[Prop.\,7]{AF}, an abelian group $M$ is Mittag-Leffler iff it has trivial first Ulm group (i.e., the intersection of all $nM$ is $0$) and $M/{\rm{t}} M$ is Mittag-Leffler. Hence no divisible group is Mittag-Leffler. But all of them are strict $_R\sharp$-atomic.
\end{exam}

\subsection{Strict $_R\flat$-atomic modules} Dually to what was said at the beginning of the previous section, now it is the right coherent rings over which these are the strict $\sharp_R$-Mittag-Leffler modules. But again, we wish to work with arbitrary rings and stick to  strict $_R\flat$-atomic modules instead.

\begin{exam} (Of strict $_R\flat$-atomic abelian groups that are not Mittag-Leffler.)
 By \cite[Prop.\,5.1]{Tf}, every torsion abelian group is $_R\flat$-atomic---in fact, by \cite[Thm.\,6.8 or Cor.\,6.12]{Tf}, every group $M$ with $M/{\rm{t}}(M)$ Mittag-Leffler is.
 Hence every countable such group is even strict $_R\flat$-atomic, cf.\ Lemma \ref{StrictLemma}. Now one gets a host of such groups which are not Mittag-Leffler from \cite[Prop.\,7]{AF}, see the previous Example. Namely,   take any countable torsion group with non-trivial first Ulm group, like the Pr\"ufer groups.
\end{exam}

In contrast, flat strict $_R\flat$-atomic modules turn out to be always strict atomic (i.e., strict Mittag-Leffler), as will be shown in Corollary \ref{flatISstrict} below. More  will be said in the introduction to \S\ref{flatcase} as a consequence  of some separation results for purely generated classes.

\section{Pure generation}\label{puregen}

\begin{definition}\cite[\S 2]{HR}\label{pgen}
\begin{enumerate
 \item  A module  is \emph{purely generated} by a class $\cal B$ if it is a pure epimorphic image of a direct sum of modules from $\cal B$. A class is  \emph{purely generated by  $\cal B$} if every module in it is. The class of \emph{all}\/ modules purely generated by  $\cal B$ is denoted $\text{\rm PGen}\cal B$.
 \item Following \cite[\S 2]{HR},  we let $\cal C=\mathop{{\rm Add}}\nolimits\cal B$  and  $\tilde{C}$ be the class of all pure epimorphic images of modules from $\cal C$ (equivalently, from $\oplus\cal B$). So  $\tilde{C}$ is a shorthand for
 $\text{\rm PGen}\cal B$.

\item  \cite[Rem.\,2.4(a)]{HR}. A class is \emph{purely resolving} if it is purely generated by  pure-projective modules.
\item For the ease of exposition, we always assume $\cal B$ to be closed under finite direct sum.
\end{enumerate}
\end{definition}

Note, a class is pure resolving whenever it is purely generated by  \emph{locally} pure-projective  modules, \cite[Cor.\,2.5]{HR}, which means we may allow $\cal B$ to consist of strict Mittag-Leffler modules and still have $\tilde{C}=\text{\rm PGen}\cal B$ purely resolving.

\subsection{Basic properties}

\begin{prop}
Suppose $M$ is a pure-epimorphic image of a strict $\cal G$-atomic module $L\in \cal L$.

 If a tuple $\bar m$ in $M$ freely realizes some pp formula for $\cal L$, then it  freely realizes also some (possibly different) pp formula for $\cal G$.

 Consequently, if $M$ is strict $\cal L$-atomic,  it is also  strict $\cal G$-atomic.
\end{prop}
\begin{proof}
 Consider a pure epimorphism $h: L \to M$. Let $\bar m$ (in $M$) freely realizes a pp formula $\phi$ for $\cal L$ and choose a preimage $\bar l\in\phi(L)$ of $\bar m$ by purity. By hypothesis on $\phi$, there is a map $f: (M,  \bar m)\to (L, \bar l)$. Being strict $\cal G$-atomic, $(L, \bar l)$ freely realizes a pp formula $\psi$ for $\cal G$. Application of $h$ shows that $(M,  \bar m)$ also satisfies $\psi$. To see that it does so freely for $\cal G$, let $G\in\cal G$ and $\bar g$ be a tuple that satisfies $\psi$ in $G$. Then there is a map $(L,  \bar l) \to (G, \bar g)$. Composed with $f$, this yields the desired map $(M,  \bar m) \to (G, \bar g)$.
\end{proof}

\begin{cor}
Let $\cal L$ be a class of strict $\cal G$-atomic modules and $\tilde{C}$  a class purely generated by  $\cal L$, \cite[\S 2]{HR}.

Then every strict  $\cal L$-atomic member of $\tilde{C}$  is   strict $\cal G$-atomic.
\end{cor}

Special cases are:

\begin{cor}\label{pureresolvISstrict}
 If $\cal L$ is a purely resolving class,
 then every strict $\cal L$-atomic member of $\cal L$ is strict atomic, i.e., strict Mittag-Leffler.\qed
\end{cor}

\begin{cor}\label{flatISstrict}
Every flat strict $_R\flat$-atomic module is strict atomic, hence strict Mittag-Leffler.
\end{cor}
\begin{proof}
The class $_R\flat$ of flat modules is purely resolving, in fact, purely generated by the finitely generated projectives, cf.\, \cite [before Thm.2.1]{HR}. Now the previous corollary applies.
 \end{proof}

 Compare this to \cite[Thm.\,3.10]{Tf}, which says the same without `strict.'

\subsection{From elements to tuples}

It is always desirable to reduce a condition on tuples  to the same condition on just elements.

\begin{prop}\label{from1ton} Suppose $M$ is a pure-epimorphic image of a strict $\cal L$-atomic module in $\cal L$.
 Then the following are equivalent.

 \begin{enumerate}[\upshape (i)]
\item $M$ is strict $\cal L$-atomic.
    \item Every \emph{element}  in $M$ freely realizes a certain pp formula for $\cal L$.
\end{enumerate}
\end{prop}
\begin{proof}
 We prove the nontrivial direction by induction on the length of the tuple. Suppose $\bar m_0$ is a tuple in $M$ $\cal L$-freely realizing  a pp formula $\phi_0$ and $m\in M$. We are going to find a pp formula $\phi$ that the concatenated tuple $(\bar m_0, m)$ freely realizes  for $\cal L$ (in $M$).

By hypothesis, there is a pure epimorphism $g$ from a strict $\cal L$-atomic module $L\in\cal L$  onto $M$. Using purity of $g$, choose a preimage $\bar b_0$ of $\bar m_0$ in $L$ satisfying $\phi_0$. By choice of  $\phi_0$, there's a map $f_0: (M, \bar m_0)\to (L, \bar b_0)$. Note, $gf_0(\bar m_0)=\bar m_0$.

By (ii), there is a pp formula $\phi'$ that the element $m':= m - gf_0(m)$ freely realizes   for $\cal L$ in $M$, and, by purity of $g$ again, a preimage $b'$ in $L$ realizing it. Then there is a map $f': (M, m')\to (L, b')$. Again, $gf'(m')=m'$.

Let $f$ be the map $f' + f_0 - f'gf_0$. An easy calculation shows that $f(\bar m_0)=\bar b_0$ and $f(m) =  f'(m')+ f_0(m)$, and another one that therefore $gf$ fixes both $\bar m_0$ and $m$. Thus $(\bar m_0, m)$ and $f(\bar m_0, m)$ have the same pp type (in $M$ and $L$, resp.).

It remains to note that, by choice of $L$,  the latter type is generated by a single pp formula, say $\phi=\phi(\bar x_0, x)$,  that $(L, \bar b_0, f(m))$ freely realizes for $\cal L$. Composing with the map $f$, we finally conclude that $(M, \bar m_0, m)$ freely realizes that same $\phi$  for $\cal L$, as desired.
\end{proof}

Warfield showed every module is a pure-epimorphic image of a pure-projective module (one can, in fact, take a direct sum of finitely presented modules), \cite[33.5]{W}.  Hence the lemma holds for $\cal L=R\text{\rm -Mod}$.

\begin{cor}\label{unary}
 A module is strict Mittag-Leffler if and only if every \emph{element} freely realizes some (unary) pp formula.\qed
\end{cor}

\subsection{Axiomatizability}\label{Ax} Consider  \emph{F-classes} as introduced in \cite{PRZ2}, which are classes of modules that can be axiomatized by \emph{F-sentences}, i.e., implications of the form  $\phi \to \bigvee \phi_i$, where $\phi$ and the $\phi_i$ are pp formulas. Here the conclusio is allowed to be an  infinitary disjunction, but such that the $\phi_i$ are closed under finite sum so that this implication is equivalent to the implication $\phi \to \sum \phi_i$, cf.\,\cite [\S 2]{HR}. The `F' comes from flat, for the class of flat modules is an F-class, see next section.

\cite[Thm.\,2.1]{HR} exhibits an axiomatization of purely resolving classes by F-sentences. To describe the specific axioms, consider such a class, $\tilde{C}=\text{\rm PGen}\cal B$. Let ${\rm{ppf}}_\cal B$ stand for the set of pp formulas that are freely realized (for \emph{all} of $R\text{\rm -Mod}$) by a tuple in some module from  $\cal B$. Given a pp formula $\phi$, let ${\rm{ppf}}_\cal B\phi$ be the set of all formulas (of same arity) in ${\rm{ppf}}_\cal B$ that are below $\phi$, i.e.,  ${\rm{ppf}}_\cal B\phi =\{\theta\in {\rm{ppf}}_\cal B\,\, | \,\, \theta \leq\phi\}$.  The axioms for $\tilde{C}$ are now all F-sentences of the form $\phi \to \bigvee {\rm{ppf}}_\cal B\phi$, where $\phi$ runs over all pp formulas (it suffices to consider $1$-place pp formulas).

The overall assumption that $\cal B$ be closed under finite direct sum guarantees that ${\rm{ppf}}_\cal B$ (hence also ${\rm{ppf}}_\cal B\phi$) is closed under (finite) sums of pp formulas, so that the disjunction in the conclusio can, again, be replaced by the sum. In other words, the above axiom is equivalent to  $\phi \to \sum {\rm{ppf}}_\cal B\phi$.

\begin{rem}
 One can generalize this axiomatization result to classes that are purely generated by relativized strict atomic modules, however those will no longer have the special features singled out in the next section.
\end{rem}

\subsection{Special F-classes}\label{specialFdef}
In general, one may take $\phi_i\wedge \phi$ in the conclusio of an F-sentence, to ensure that the implication's converse is automatically true: then the implication $\phi \to \bigvee \phi_i$ entails the equivalence of $\phi$ and $\bigvee \phi_i$.

(Beware, this may lead outside the realm of a specific shape of formula. For instance, the conjunction of a formula from ${\rm{ppf}}_\cal B$ with an arbitrary pp formula $\phi$ may no longer be in ${\rm{ppf}}_\cal B$. This is the reason, why,  in \S\ref{Ax}, we worked with ${\rm{ppf}}_\cal B\phi$ instead, cf.\ the proof of Lemma \ref{pureresolvF} below.)

We will see shortly that  $_R\flat$ is so axiomatized. But the axioms for the class of  flat modules have yet another special feature. Given another such axiom, $\psi \to \bigvee \psi_i$ with $\psi_i\leq\psi$, if every disjunct $\phi_i$ of $\phi$ is equivalent to one of the $\psi_i$, then $\phi \to \bigvee \phi_i$ implies $\phi\to\psi$. Plainly speaking, one disjunction (trivially) implies another disjunction provided all disjuncts of the former are disjuncts of the latter. The special feature we are after now is when this is the only way that the former disjunction can imply the latter. Here is the precise definition.

\begin{definition}\text{}

\begin{enumerate}
 \item An F-sentence $\phi \to \bigvee \phi_i$ is in \emph{standard form} if $\phi_i\leq \phi$ for every $i$.
 \item Given F-sentences in standard form,  $\phi \to \bigvee \phi_i$ and $\psi \to \bigvee \psi_j$, we say \emph{$\phi$ trivially implies $\psi$ (in $\cal F$)} if every disjunct $\phi_i$ (of $\phi$) (logically) implies some disjunct $\psi_j$ (of $\psi$), i.e., for all $i$ there is a $j$ with $\phi_i\leq\psi_j$.
 \item  An F-class $\cal F$ is \emph{special} if  it has a set of F-axioms $\phi \to \bigvee \phi_i$ in standard form, one for each pp formula $\phi$ (this is important!), and  such that for every two axioms $\phi \to \bigvee \phi_i$ and $\psi \to \bigvee \psi_j$ from that set, we have $\phi \leq_\cal F \psi$ (if and) only if $\phi$ trivially implies $\psi$.
 \end{enumerate}

 The standard form of $\phi \to \bigvee \phi_i$ guarantees that $\phi$ is $\cal F$-equivalent to the disjunction of the $\phi_i$, and similarly for $\psi$.
 Hence, if every disjunct of $\phi$  implies some disjunct $\psi_j$ in the above $\phi$ and $\psi$, then $\phi$ does imply $\psi$ in $\cal F$ (trivially), thus justifying  the terminology.

\end{definition}

\begin{rem}
 $_R\flat$ is a special F-class.  This follows from \cite{Zim},  see \cite[Thm.\,2.3.9]{P2} or the explicit axioms in \cite{PRZ2} or \cite[Fact 1.3]{Tf}, which are in standard form---each disjunct of the conclusio implies the premise.

  Is the class of torsion-free modules a special F-class?
 It is an F-class, cf.\ \cite{Tf}. However, one has F-axioms only for annihilation formulas $\phi$, so not \emph{every} pp formula may end up being equivalent to such a disjunction. I have no counterexample at hand, but certainly the proof below breaks down  when not \emph{every} pp formula occurs as a premise.

\end{rem}

\begin{lem}\label{pureresolvF}
 Purely resolving classes are special F-classes.
\end{lem}
\begin{proof} As all formulas in ${\rm{ppf}}_\cal B\phi$ are below $\phi$, the axioms given in the previous sections are in standard form.

To verify that they are special in the sense of the above definition, consider two axioms $\phi \to \bigvee {\rm{ppf}}_\cal B\phi$ and $\psi \to \bigvee {\rm{ppf}}_\cal B\psi$ with $\phi\leq_{\tilde{C}}\psi$. All we need is ${\rm{ppf}}_\cal B\phi\subseteq{\rm{ppf}}_\cal B\psi$.

So let
$\theta \in {\rm{ppf}}_\cal B$ be below $\phi$. To show that it is also below $\psi$, let
 $(M, \bar m)$ realize $\theta$. Pick a free realization  $(B, \bar b)$ of $\theta$ with $B\in \cal B$, send it to $(M, \bar m)$ and observe that it remains to see that $\psi$ is already satisfied in $(B, \bar b)$. But this follows from   $B\in\cal B\subseteq\tilde{C}$ and  the assumption $\phi\leq_{\tilde{C}}\psi$.
 \end{proof}

This will be used in \S \ref{basicS}.

\section{Separation}

Reinhold Baer introduced separability in abelian groups---of finite subsets by direct summands that are completely decomposable, see \cite{F}.

\subsection{Separabilities}

We distinguish several types of separation---according to three different coordinates,  cardinality of sets to be separated, the form of separation, and the kind of submodules to perform the separation. In Baer's original separation, the second coordinate, the form of separation, was by direct summand, which is what one usually sees in the literature in the various types, see \cite{EM}. This can be relaxed to Azumaya's locally split,\footnote{also to his finitely split submodules,} or to pure  submodules, called \emph{local separation} and \emph{pure separation}, respectively. On top of that, we will have an entire family of relativized pure separabilities.

Generalizing e.g.\ \cite[\S 4]{GIRT}, we make the following, essentially three, definitions.

\begin{definition}\label{sepdef}
 Let $\kappa$ be an infinite regular cardinal and $\cal S$ a class of modules.

\begin{enumerate}
 \item  A module $M$ is $\kappa$-\emph{separable by (modules from) $\cal S$}, or \emph{$(\kappa, \cal S)$-separable} for short, if every subset of $M$ of cardinality $<\kappa$ is contained in a submodule from  $\cal S$ that is a direct summand of $M$.
 \item We say \emph{locally} (resp., \emph{$\cal L$-pure}) $\kappa$-\emph{separable by (modules from) $\cal S$}, or \emph{locally} (resp., \emph{$\cal L$-pure}) \emph{$(\kappa, \cal S)$-separable}, if `direct summand' is replaced by `locally split submodule' (resp., by  `$\cal L$-pure submodule').
  \item If  $\kappa=\aleph_0$, we simply omit it or say \emph{finite separability} (for whichever version of separability at hand).
 \item  If $\kappa=\aleph_1$, we  speak of  \emph{countable separability}.
 \item  We omit the reference  to the class $\cal S$ when it is $R\mathop{-\rm mod}$.
\end{enumerate}
   \end{definition}

By these conventions,  \emph{local separability by $\cal S$}, or  \emph{local $\cal S$-separability}, is local $(\aleph_0, \cal S)$-separability, while  \emph{$\cal L$-pure  separability by $\cal S$}, or \emph{$\cal L$-pure $\cal S$-separability}, is $\cal L$-pure $(\aleph_0, \cal S)$-separability. And, for instance,   a \emph{separable module} is one all of whose finite subsets  are contained in a finitely presented direct summand---beware, this is often handled differently in the literature, cf.\  \cite {EM} and \cite{F}.

\begin{rem}\text{}
\begin{enumerate} [\upshape (a)]
 \item Bear's original separability is (finite) separability---by completely decomposable submodules, cf.\,\cite{F}.
 \item Clearly, any of the $\kappa$-separabilities entail the corresponding $\lambda$-separability for every $\lambda\leq\kappa$.
 \item Clearly, direct summand $\Longrightarrow$ locally split submodule $\Longrightarrow$ pure submodule $\Longrightarrow$ $\cal L$-pure submodule, hence

 separable $\Longrightarrow$ locally  separable  $\Longrightarrow$ pure  separable $\Longrightarrow$ $\cal L$-pure  separable.
\end{enumerate}

\end{rem}

 Our interest in separation  lies in the following facts, which we single out for reference.

\begin{lem}\label{basicfact}\text{}
\begin{enumerate}
 \item If $M$ is  $\cal L$-pure separable by $\cal L$-atomic modules, $M$ is $\cal L$-atomic (hence $\langle\cal L\rangle$-atomic).

 \item If $M$ is locally  separable by strict $\cal L$-atomic modules, $M$ is strict $\cal L$-atomic.
 \item  If $M$ is locally  separable by countably generated strict $\cal L$-atomic modules, $M$ is strict $\langle\cal L\rangle$-atomic.
\end{enumerate}
\end{lem}
\begin{proof}
 (1) By definition $N\subseteq M$ is $\cal L$-pure iff the pp types of all tuples in $N$ are $\cal L$-equivalent, whether taken in $N$ or in $M$, which is, by the Main Theorem of \cite{habil} or \cite{MLII} all we need.

 (2) First separate a  given tuple in $M$ by a locally split submodule $N$ that is strict $\cal L$-atomic. Inside $N$, that tuple $\cal L$-freely realizes a certain pp formula $\phi$. The same formula generates the tuple's pp type in $M$, for locally split submodules are pure. To see that this tuple freely realizes $\phi$ also in $M$,  simply combine the tuple's local retract from $M$ to $N$ by any of the `free' maps from $N$ to a realization of $\phi$ in any other module from $\cal L$.

 (3) Apply the (stronger half of the) `Strict' Lemma and (2) above.
\end{proof}

The question of a converse arises at once. This will be addressed in \S \ref{SepPGen}, especially in Theorem \ref{Thm.1}.
We conclude this section with some general observations.

\begin{lem}\label{locsep}
Suppose $\cal B\subseteq \cal L$ and $M$ a strict $\cal L$-atomic module.

\begin{enumerate
\item
The following are equivalent for any infinite cardinal
$\kappa$.

\begin{enumerate}[ (i)]

 \item $M$ is $\cal L$-pure $\kappa$-separable by $\cal B$.
 \item $M$ is pure $\kappa$-separable by $\cal B$.
 \item$M$ is locally $\kappa$-separable by $\cal B$.
\end{enumerate}
\item If all members of $\cal B$ are finitely generated, $M$ is $\kappa$-separable by $\cal B$ in that case.
\end{enumerate}
\end{lem}
\begin{proof}
 As $\cal B\subseteq\cal L$,  for submodules that are in $\cal B$, $\cal L$-purity is the same as purity, Rem.\ref{LpureInL}. So the first two conditions are equivalent (and this does not require atomicity of $M$). To see they imply the third, and for (2), refer to Lemma \ref{locsplitsub}.
\end{proof}

\subsection{Separation and definable subcategories}
Next we show that in the situation of the previous lemma, $M$ belongs to the definable subcategory generated by $\cal L$.

\begin{lem}\label{sepInL} \text{
 \begin{enumerate
  \item If $M$ is $\cal L$-pure separable by $\cal L$ (hence pure separable by $\cal L$), then $M\in\langle\cal L\rangle$.
 \item  Suppose $\cal L$ is axiomatizable by implications of the form $\Phi\to\Psi$, where $\Phi$ is a possibly infinite conjunction of possibly infinite disjunctions of pp formulas and $\Psi$ a possibly infinite disjunction of possibly infinite conjunctions of existential formulas,

 all in the same finitely many variables.

  If $M$ is $\cal L$-pure separable by $\cal L$ (hence pure separable by $\cal L$), then $M$ satisfies all those implications  that are true in $\cal L$.
 \end{enumerate}
\end{lem}
\begin{proof} (1) is the special case of (2) where both $\Phi$ and $\Psi$ are single pp formulas. To prove (2) consider one such implication $\Phi\to\Psi$ and assume the tuple $\bar m$ satisfies the antecedent  $\Phi$. We may $\cal L$-pure separate it by some $L\in\cal L$, which is actually pure in $M$, Remark \ref{LpureInL}.

Now $\bar m$ satisfies all conjuncts of $\Phi$ and hence one disjunct for each of these in $M$. Being pp, these latter are, by purity, satisfied by $\bar m$ in $L$ as well. It is easy to see that $\bar m$ satisfies all of $\Phi$ in $L$. But being in $\cal L$, $L$ satisfies the implication, hence  $\bar m$ satisfies $\Psi$ in $L$.  Being existential, $\Psi$ it is also true of that very tuple in the original $M$, as desired.
\end{proof}

\section{Countable self-separation}\label{selfsepsect}

\subsection{A general fact}

 As shown in \cite[Prop.\,3.5]{Tf} or \cite[Cor.\,6.5]{MLII}, a module is $\cal K$-Mittag-Leffler if and only if each of its countable subsets is contained in a countably generated $\cal L$-pure submodule that is $\cal K$-Mittag-Leffler (where $\cal K$ and $\cal L$ are assumed to be mutually dual). Because of the stronger half of the `Strict' Lemma \ref{StrictLemma}, we can say that $\cal K$-Mittag-Leffler modules are countably $\cal L$-pure separable by strict $\langle\cal K\rangle$-Mittag-Leffler modules. (The easy direction also follows from Lemma \ref{basicfact}.)
 This fundamental separation result  characterizing  $\cal K$-Mittag-Leffler modules we now formulate as follows.

\begin{fact}\label{ctblesep}
A module is $\cal L$-atomic if and only if it is countably $\cal L$-pure separable by countably generated strict $\cal L$-atomic modules (even strict $\langle\cal L\rangle$-atomic modules).

\end{fact}

\subsection{Countable self-separation}\label{ctbleLsep}
A principal deficiency in the above general fact is that one has no reason to expect the strict $\cal L$-atomic separating submodules to be themselves in $\cal L$, even if the original module was. The L\"owenheim-Skolem Theorem of first-order model theory springs to mind as a remedy, and we are going to pursue this in \S\ref{ctblerings}. In order to avoid repeating a mouthful let us make a definition.

\begin{definition}
 We call a class $\cal L$ \emph{(countably) self-separating} if
 every $\cal L$-atomic module in $\cal L$ is countably $\cal L$-pure separable by countably generated (strict) $\cal L$-atomic modules \emph{in} $\cal L$.
\end{definition}

\begin{lem} Suppose $\cal L$ is self-separating.
\begin{enumerate}
 \item Every strict $\cal L$-atomic module in $\cal L$ is countably locally separable by countably generated (strict) $\cal L$-atomic modules in $\cal L$, hence by strict $\langle\cal L\rangle$-atomic submodules in $\cal L$.
\item Every strict $\cal L$-atomic  module in $\cal L$ is  strict $\langle\cal L\rangle$-atomic.
\end{enumerate}
\end{lem}
\begin{proof}
For (1) use the `Strict' Lemma \ref{StrictLemma} and Lemma \ref{locsep}(1). For (2) use (1) and Lemma \ref{basicfact}(3).
\end{proof}

\subsection{Elementary classes}\label{ctblerings} Recall that a class axiomatized by finitary first-order axioms is called \emph{elementary}.

\begin{lem}
 Suppose $\cal L$ is an elementary class and $\kappa=max(|R|, \aleph_0)$. Let $\cal B$ be the class of strict $\cal L$-atomic modules in $\cal L$ of power $\leq\kappa$.

\begin{enumerate}
 \item Every $\cal L$-atomic module in $\cal L$ is pure $\kappa^+$-separable by $\cal L$-atomic modules in $\cal L$ of power $\kappa$.
 \item  Every strict $\cal L$-atomic module in $\cal L$ is locally $\kappa^+$-separable by $\cal B$.
\end{enumerate}
\end{lem}
\begin{proof}
 By the L\"owenheim-Skolem Theorem, every subset of a module $M$ of power at most $\kappa$ is contained in an elementary substructure $N$ of $M$ of power   $\kappa$. Then $N$ is in $\cal L$ and a pure submodule of $M$, hence  $\cal L$-atomic. This proves (1). For (2) apply Lemma \ref{Lpureofstrict} to see that $N$ is strict $\cal L$-atomic and thus in $\cal B$.
 In that case, Lemma \ref{locsplitsub} yields that $N$  is locally split in $M$.
\end{proof}

\begin{prop}  Suppose $\cal L$ is an elementary class and $R$ is countable.

 A module  in $\cal L$ is strict $\cal L$-atomic  if and only if it is locally countably separable by countable strict $\cal L$-atomic modules in $\cal L$.

 In particular, elementary classes over countable rings are self-separating.
 \end{prop}
\begin{proof}
 One direction follows from the lemma (for $\kappa=\aleph_0$) and the `Strict'Lemma \ref{StrictLemma}.  The other is immediate from (2) of Lemma \ref{basicfact}.
\end{proof}

This can be slightly strengthened  if the axiomatization of $\cal L$ is of a specific kind.

\begin{cor} Suppose $R$ is countable and $\cal L$ is axiomatizable by implications as in Lemma \ref{sepInL} (2), but finitary (so that L\"owenheim-Skolem applies).

 A module is strict $\cal L$-atomic and  in $\cal L$ if and only if it is locally countably separable by countable strict $\cal L$-atomic modules in $\cal L$.
\end{cor}
\begin{proof}
 All that's missing in the proposition is that if $M$ is so separable, it has to be in $\cal L$. But this follows from Lemma \ref{sepInL} (2).
\end{proof}

For definable subcategories this can  be reformulated as follows.

\begin{cor}
Suppose $R$ is countable, $\cal L$ is a definable subcategory (i.e., $\cal L=\langle\cal L\rangle$) and  $\cal K$ is its elementary dual.

 A module $M$ is strict $\cal L$-atomic (= strict $\cal K$-Mittag-Leffler) and a member of $\cal L$ if and only if it is countably locally separable by countably generated strict  $\cal L$-atomic modules that are members of $\cal L$.
  \qed
 \end{cor}

\begin{qu}
 Is this true over uncountable rings?
\end{qu}

\subsection{Special F-classes}\label{specialF} For $\cal L$, the class $_R\langle\flat\rangle$ of \emph{quasi-flat} modules, the previous proposition implies that, over a countable ring, a quasi-flat module is strict $_R\langle\flat\rangle$-atomic if and only if it is countably separable by countably generated strict $_R\langle\flat\rangle$-atomic modules. However, we can drop the countability assumption on $R$ in this case, as follows from \cite[Prop.3.7]{Tf} and get a better separation result at the same time---namely by flats rather than quasi-flats. Analyzing that proof, we have arrived at the following abstract version that tells the gist of it. We will work in special F-class as introduced in \S\ref{specialFdef} with terminology and notation from Definition \ref{pgen}.
 This is the abstract version of \cite[Prop.\,3.7]{Tf}:

\begin{prop}
Every special F-class is (countably) self-separating.
\end{prop}
 \begin{proof} Referring to
 the proof of \cite[Prop.\,3.7]{Tf}, we start also here by modifying the $\cal F$-generator $\phi$ of the type ${\rm{pp}}_M(a)$ from the proof of \cite[Prop.\,3.5]{Tf}  (= Fact \ref{ctblesep}) by a disjunct $\phi_{i_a}\in{\rm{pp}}_M(a)$ of the conclusio, which too is an $\cal F$-generator of ${\rm{pp}}_M(a)$. Taking witnesses for $\phi_{i_a}$ in each of the countable steps and then closing off by the countably generated submodule $N$ of $M$, we see, as in \cite[Prop.\,3.7]{Tf}, that $N$ is $\cal F$-atomic and $\cal F$-pure in $M$. It remains to verify that $N\in\cal F$, for which we will verify the axioms.

Let  $\psi \to \bigvee \psi_j$
  be one of them. Suppose $a\in N$ satisfies  $\psi$. We have to show, $a$ also satisfies one of the $ \psi_{j}$ in $N$.

 As $\psi\in{\rm{pp}}_M(a)$, we have  $\phi\leq_\cal F \psi$ (even $\phi_{i_a}\leq_\cal F \psi$). Since $\cal F$ is special, this can happen only if every disjunct $\phi_{i}$ of $\phi$ implies some disjunct of $\psi$. In particular, $\phi_{i_a}$ does, which shows that $a$ satisfies  some disjunct of $\psi$, as desired.
 \end{proof}

\begin{cor}\label{pureresolvself} Every purely resolving class is (countably) self-separating.
\end{cor}
\begin{proof}
Use Lemma \ref{pureresolvF}.
\end{proof}

\begin{cor}\cite[Prop.\,3.7]{Tf}
Every flat $_R\flat$-atomic module is countably $_R\flat$-pure separable by countably generated flat (strict) $_R\flat$-atomic modules
\end{cor}
\begin{proof}
By Corollary \ref{flatISstrict}, $_R\flat$ is purely resolving.
\end{proof}

\subsection{Relative Mittag-Leffler modules in purely resolving classes} Recall from Corollary \ref{pureresolvISstrict}: strict $\cal L$-atomic modules are strict atomic---i.e., strict Mittag-Leffler---provided they are members of $\cal L$ and $\cal L$ is purely resolving. We are going to show the same for the non-stict version.

\begin{thm}\label{LMLisML}
 Suppose $\cal L$ is purely resolving.

 $\cal L$-atomic modules in $\cal L$ are Mittag-Leffler.
\end{thm}
\begin{proof}
Let $M$ be   $\cal L$-atomic. By Corollary \ref{pureresolvself}, $M$ is countably $\cal L$-pure separable by strict $\cal L$-atomic modules in $\cal L$. As these are strict atomic and $\cal L$-purity is just purity by Remark \ref{LpureInL}, the module $M$ is pure separable by atomic modules, hence atomic itself, which means Mittag-Leffler.
\end{proof}

\begin{cor} \cite[Thm.\,3.10]{Tf}
 Flat $\flat$-atomic modules are Mittag-Leffler.\qed
\end{cor}

\section{Finite separation in
purely generated classes}\label{SepPGen}

\subsection{The first separation theorem}

\begin{definition}\textbf{}

\begin{enumerate}
 \item A \emph{separation pair} is an ordered pair $(\cal L, \cal B)$ of classes of modules, $\cal B\subseteq\cal L$, where $\cal L$ is  closed under direct sum and $\cal L$-pure epimorphic images and $\cal B$ is a \emph{small}\,\footnote{I.e., containing only a set of distinct isomorphism types, in other words, $\cal B/$$\cong$ is a set.} class of strict $\cal L$-atomic modules closed under finite direct sum.

 \item  A \emph{$\cal B$-free module} is simply a direct sum of modules from $\cal B$. The class of all of them is denoted $\oplus\cal B$.
\item A \emph{large $\cal B$-free module} is a direct sum of direct powers of infinitely many copies of each isomorphism type of modules from $\cal B$, i.e., a module of the form $\oplus_{B\in\cal B^*} B^{(\kappa_\cal B)}$ with all $\kappa_\cal B$ infinite, where $\cal B^*$ is any transversal in $\cal B/$$\cong$.
\item We denote by $P^*$ the large $\cal B$-free module $\oplus_{B\in\cal B^*} B^{(\omega)}$.
\end{enumerate}
\end{definition}

\begin{notat}\label{setting}  Throughout this subsection,  $(\cal L, \cal B)$ is a separation pair. Following \cite[\S 2]{HR},  we let $\cal C=\mathop{{\rm Add}}\nolimits\cal B$  and  $\tilde{C}$ be the class of all pure epimorphic images of modules from $\cal C$ (equivalently, from $\oplus\cal B$),  i.e., the class purely generated by $\cal B$, which  is therefore also denoted $\text{\rm PGen}\cal B$.
\end{notat}

\begin{rem}\text{}
\begin{enumerate}[\upshape (a)]
 \item As $\cal B$ is closed under finite direct sum, $\cal B$-free modules are (finitely) $\cal B$-separable.
 \item Relaxing pure generation to $\cal L$-pure generation would not gain one anything, for $\cal C\subseteq\cal L$, and $\cal L$-pure epimorphisms emanating from modules in $\cal L$ are pure epimorphisms.
\end{enumerate}

\end{rem}

\begin{lem}\label{Add}  \cite[Prop.2.5]{Tf}.
 Every countably generated (strict) $\cal L$-atomic module  in $\text{\rm PGen}\cal B$ is contained in $\mathop{{\rm Add}}\nolimits \cal B$, i.e., a direct summand of a $\cal B$-free module (which can be taken to be large) and thus a direct summand of a module (finitely) separable by  $\cal B$.
 \end{lem}
\begin{proof}
 Being in $\text{\rm PGen}\cal B$, the module $N$ is a pure epimorphic image of a $\cal B$-free module $P$. But pure epimorphisms emanating from $\cal L$---this is where $\cal B\subseteq\cal L$ is needed---onto countably generated  $\cal L$-atomic modules split by \cite[Prop.2.5]{Tf}.
 \end{proof}

\begin{lem}[Eilenberg's Trick]
For every  $\cal L$-atomic module $N\in \text{\rm PGen}\cal B$ there is a large $\cal B$-free module $P$ such that $N\oplus P \cong P$.

If $N$ is, in addition, countably generated, then $N\oplus P^*\cong P^*$.
 \end{lem}
 \begin{proof}  By the previous lemma, we have  $P=N\oplus M$ for some $M$. Now comes Eilenberg's trick: as $P^{(\omega)}\cong P$ we may rewrite  $P$ as $(N\oplus M)^{(\omega)}\cong N\oplus (M\oplus N)^{(\omega)}\cong N\oplus P$. In case $N$ is countably generated, $P=P^*$ works.
\end{proof}

\begin{lem} [The Separation Lemma]\textbf{}
If $M$ is an $\cal L$-atomic module in $\text{\rm PGen}\cal B$, then $M\oplus P^*$ is  $\cal L$-pure separable by  $\cal B$.
\end{lem}
\begin{proof}
  Consider a finite subset (a tuple) of $M\oplus P^{*}$ and denote its projections onto $M$ and $P^{*}$ by $\bar m$ and $\bar p$, respectively. As $P^{*}$ is separable by modules from $\cal B$, the tuple $\bar p$ is contained in a  direct summand $B\in\cal B$ of $P^{*}$. By the basic properties of $P^{*}$, we can split it into $P^{*}_{0} \oplus B$, where $P^{*}_{0}\cong P^{*}$, and then write $M\oplus P^{*}=M\oplus P^{*}_{0} \oplus B$. It remains to $\cal L$-pure-separate $\bar m$ in $M\oplus P^{*}_{0}\cong M\oplus P^{*}$ by a  module from $\cal B$.

By hypothesis, we can $\cal L$-pure separate  $\bar m$ in $M$ by a countably generated $\cal L$-atomic module $N\in \text{\rm PGen}\cal B$, an $\cal L$-pure submodule of $M$.

Then $N\oplus P^{*}$ is an $\cal L$-pure submodule of $M\oplus P^{*}$ containing $\bar m$, and it therefore suffices to $\cal L$-pure-separate $\bar m$ by a  module from $\cal B$ in $N\oplus P^{*}$.
Now Eilenberg's trick shows us that $N\oplus P^{*}$ is isomorphic to $P^*$ and thus (even) separable by  $\cal B$.
\end{proof}

\begin{thm}\label{Thm.1} Suppose $(\cal L, \cal B)$ is a separation pair.

\begin{enumerate
 \item  Every $\cal L$-atomic module in $\text{\rm PGen}\cal B$ is a  direct summand of a module that is (finitely) $\cal L$-pure separable by $\cal B$ (and conversely).

 \item Every  strict $\cal L$-atomic module in $\text{\rm PGen}\cal B$ is a   direct summand of  a module that is locally separable by $\cal B$ (and conversely).

\end{enumerate}
\end{thm}
\begin{proof}
The direction from left to right in (1) follows from the Separation Lemma. Namely, if $M$ is $\cal L$-atomic, $M\oplus P^*$ is $\cal L$-pure separable by $\cal B$. For (2), notice that then  $M\oplus P^*$ is even strict $\cal L$-atomic, hence even locally $\cal B$-separable by Lemma \ref{locsep}.

The converses follow from Lemma \ref{basicfact} (together with  Lemma \ref{Lpureofstrict}).
\end{proof}

See Corollary \ref{classicalThm.1} for the case of the classical separation pair $(R\text{\rm -Mod}, R\mathop{-\rm mod})$.

\begin{cor}\label{f.g.B:1} Suppose $(\cal L, \cal B)$ is a separation pair with all modules in $\cal B$  finitely generated.

 Then every strict $\cal L$-atomic module in $\text{\rm PGen}\cal B$ is a direct summand of  a (finitely) $\cal B$-separable module (and conversely).

\end{cor}
\begin{proof}
Employ Lemma \ref{locsep}(2).
\end{proof}

\begin{rem} \text{}

\begin{enumerate}[\upshape (a)]
 \item One may be tempted to think that the following is true even without $\cal B\subseteq\cal L$:\\
  $\cal L$-atomic modules in $\text{\rm PGen}\cal B$ are  direct summands of modules that are (finitely) $\cal L$-pure separable by $\cal B$.
 However, the entire series of lemmas leading to the theorem is based on the first one, Lemma \ref{Add}, which does need it.
 \item   The converses of the theorem are true only within $\text{\rm PGen}\cal B$, for the separabilities in question only imply inclusion in $\cal L$, not necessarily in  $\text{\rm PGen}\cal B$.
 \item Remember also, that $\text{\rm PGen}\cal B\subseteq\cal L$, so the theorems are only about $\cal L$-atomic modules belonging to $\cal L$ (even $\text{\rm PGen}\cal B$, which may be less).
\end{enumerate}
\end{rem}

\subsection{Finite separation and direct sum decomposition}
Baer made exactly the following argument---in his special case.

\begin{lem}\label{countablesplit}{\rm [Baer's Lemma]}
 Let $\cal G$ be a class of modules closed under direct summand  and such that  every module in  $\cal G$  is (finitely) $\cal B$-separable.
\begin{enumerate}
\item  Every module in  $\cal G$  is countably locally separable by (countable) direct sums of modules from $\cal B$.

\item Countably generated modules from   $\cal G$ are direct sums of modules from $\cal B$.
\end{enumerate}

\end{lem}
\begin{proof} Let $C$ be a countable subset in $G\in\cal G$.
(1) List the set $C$ as $c_{i}$ ($i < \omega$).  Set $G_{0}=G$ and $b_{0}=c_{0}$.  As $G_{0}$ is $\cal B$-separable, $b_{0}$ is contained in a direct summand $B_{0}\in \cal B$ of $G_{0}$. Write $G_{0}= B_{0}\oplus G_{1}$ and $c_{1}=a_{1} + b_{1}$ accordingly. Since $G_{1}$ is again in $\cal G$, hence $\cal B$-separable, $b_{1}$ is contained in a direct summand $B_{1}\in \cal B$ of $G_{1}$.  Successively we decompose $G$ into $\oplus_{i<n}B_i\oplus G_{n}$ where each $B_{i}$ is in $\cal B$ and so that the sum of the first $n$ summands $B_{i}$ contains the first $n$ elements of $C$. Eventually, $C$ is contained in the direct sum $B_\omega:=\oplus_{n < \omega}B_n$. And while $B_\omega$  may not be a direct summand of $G$, it certainly is a locally split submodule.

(2) If $C$ happens to generate all of $G$, then inevitably, $G=B_\omega$.
\end{proof}

Applying this to $\cal G=\mathop{{\rm Add}}\nolimits(\cal B)$, the situation considerably simplifies  when all the generating modules are countably generated, cf.\ \cite[Lemma 7]{GIRT}.

\begin{cor}
 Suppose $\cal B$ is a class of countably generated  modules closed under finite direct sum.

 The following assertions are equivalent.
\begin{enumerate}[(i)]
\item Every module in $\mathop{{\rm Add}}\nolimits(\cal B)$ is (finitely) $\cal B$-separable.
\item Every module in $\mathop{{\rm Add}}\nolimits(\cal B)$ is a direct sum of modules from $\cal B$, i.e., $\mathop{{\rm Add}}\nolimits(\cal B)=\oplus \cal B$.

\end{enumerate}
\end{cor}
\begin{proof}
If $\cal B$ is closed under finite direct sum, all modules in $\oplus \cal B$ are $\cal B$-separable. This yields the easy direction. For the nontrivial direction, note that by Kaplansky's Theorem---which applies due to the hypothesis made on $\cal B$---\emph{every} module in $\mathop{{\rm Add}}\nolimits(\cal B)$ decomposes  into a direct sum of countably generated modules in $\mathop{{\rm Add}}\nolimits(\cal B)$.
\end{proof}

\subsection{Back to countable self-separation}  Applying Baer's Lemma to the class of all strict $\cal L$-atomic modules in $\text{\rm PGen}\cal B$ allows one to  considerably strengthen the fundamental countable separation of Fact \ref{ctblesep} as follows. (Note, from Fact \ref{ctblesep} alone we would not know if the separating module from $\cal L$ was in $\text{\rm PGen}\cal B$, let alone that it was $\cal B$-separable.)

\begin{cor}\label{selfsep}
 Suppose $(\cal L, \cal B)$ is a separation pair and every strict $\cal L$-atomic module in $\text{\rm PGen}\cal B$ is $\cal B$-separable. (This is the case, for instance, if (iii) of \ref{Thm.2} holds and $\cal B$ consists of finitely generated modules only.)

\begin{enumerate}
 \item Then all strict $\cal L$-atomic modules in $\text{\rm PGen}\cal B$  are countably locally separable by countable direct sums of modules in $\cal B$.
 \item In particular,  all strict $\cal L$-atomic modules in $\text{\rm PGen}\cal B$  are countably locally $\cal L$-separable
 \end{enumerate}
\end{cor}

\subsection{The second separation theorem:  when everything is `basic'}\label{basicS} By `basic' we mean that direct summands can be avoided. For instance, we wish to investigate when $\mathop{{\rm Add}}\nolimits\cal B=\oplus \cal B$ and what the effect of that is on the conclusions of Theorem \ref{Thm.1}. In particular, we are interested to see in which cases those will be `basic' too.

\begin{thm}\label{Thm.2}   Suppose  $(\cal L, \cal B)$ is  a separation pair.

\begin{enumerate}
 \item The following are equivalent.
 \begin{enumerate} [(i)]
 \item Every module in $\mathop{{\rm Add}}\nolimits\cal B$ is $\cal L$-pure separable by $\cal B$.

 \item Every module in $\mathop{{\rm Add}}\nolimits\cal B$ is  locally separable by $\cal B$.

 \item Every (countably generated) strict $\cal L$-atomic module in $\tilde{C}$  is locally separable by $\cal B$.
 \end{enumerate}
\item  The next statement implies the above ones. It is equivalent to them, provided $\cal L=\tilde{C}$ (= $\text{\rm PGen}\cal B$) and $\tilde{C}$ is self-separating.

(iv)  Every $\tilde{C}$-atomic module in $\tilde{C}$  is  $\tilde{C}$-pure separable by $\cal B$.
  \end{enumerate}

\end{thm}
\begin{proof}
  (iv) $\Rightarrow$ (iii) follows from Lemma \ref{locsep}, while  (ii) is a special case of (iii), for every module in $\mathop{{\rm Add}}\nolimits\cal B$ is strict $\tilde{C}$-atomic and    $\mathop{{\rm Add}}\nolimits\cal B\subseteq\text{\rm PGen}\cal B$.
    And  (i) and (ii) are equivalent by Lemmas \ref{basicfact}  and \ref{locsep}. We are left with  (ii) $\Rightarrow$ (iv), the only implication where we seem to have to invoke the extra hypotheses of $\cal L$ being   self-separating and of it being equal to $\tilde{C}$.

  For this, first note that (ii) implies, together with Lemma \ref{Add}, the countably generated part of (iii). Now consider a tuple $\bar m$ in a $\tilde{C}$-atomic module $M\in\tilde{C}$. By hypothesis, $\bar m$ is contained in a countably generated $\tilde{C}$-pure submodule $N\in\tilde{C}$ of  $M$ that is strict $\tilde{C}$-atomic, hence, by what has just been said, locally $\cal B$-separable. Consequently, $\bar m$ is contained in a $\tilde{C}$-pure submodule  $B\in\cal B$ of $M$, as desired.
\end{proof}

\begin{rem}
 Finite self-separability of $\cal L$ suffices in (iv).
\end{rem}

Corollary \ref{pureresolvself} now yields

\begin{cor}
 Statements (i) through (iv) of the theorem are equivalent  for any purely resolving class $\cal L=\tilde{C}$.
(But note Theorem \ref{LMLisML}.)
 \qed
\end{cor}

When all members of $\cal B$ are countably generated, Kaplansky's Theorem allows for a slightly different and stronger version of the previous theorem.

\begin{thm}\label{c.g.B:2} Suppose  $(\cal L, \cal B)$ is  a separation pair with all modules in $\cal B$ countably generated.

\begin{enumerate}
 \item The following are equivalent.
\begin{enumerate} [(i)]
 \item Every module in $\mathop{{\rm Add}}\nolimits\cal B$ is separable by $\cal B$.
 \item Every module in $\mathop{{\rm Add}}\nolimits\cal B$ is countably locally separable by $\oplus\cal B$.

 \item $\mathop{{\rm Add}}\nolimits\cal B = \oplus\cal B$.

 \item Every countably generated (strict) $\cal L$-atomic module in $\text{\rm PGen}\cal B$ is in $\oplus\cal B$.

 \item Every strict $\cal L$-atomic module in $\text{\rm PGen}\cal B$ is countably locally separable by $\oplus\cal B$.
\end{enumerate}
\item The following statement implies the previous ones. It is equivalent to them, provided $\cal L=\tilde{C}$ (= $\text{\rm PGen}\cal B$) and $\tilde{C}$ is self-separating.

(vi) Every $\tilde{C}$-atomic module in $\tilde{C}$ is countably  $\tilde{C}$-pure separable by $\oplus\cal B$.

 \end{enumerate}
\end{thm}
\begin{proof}
 (i) $\Rightarrow$ (ii) is Baer's Lemma \ref{countablesplit}.

 (ii) $\Rightarrow$ (iii): first note that (ii) implies that \emph{countably generated} modules in $\mathop{{\rm Add}}\nolimits\cal B$ are in $\oplus\cal B$. To see the same for \emph{all} modules in $\mathop{{\rm Add}}\nolimits\cal B$,
 apply Kaplansky's Theorem, which shows that every module in $\mathop{{\rm Add}}\nolimits\cal B$ is a direct sum of countably generated modules from $\mathop{{\rm Add}}\nolimits\cal B$ (here the countable generation of all members of $\cal B$ is used).

  (iii) $\Rightarrow$ (iv) follows from Lemma \ref{Add},   (iv) $\Rightarrow$ (vi) from the basic Fact \ref{ctblesep}, and  (vi) $\Rightarrow$ (v) from Lemma \ref{locsep}, while (v) $\Rightarrow$ (iv) is trivial.

  Finally, (iv) $\Rightarrow$ (iii) is by Kaplansky's Theorem again.

\end{proof}

\begin{rem}
 \noindent
 (iv) above implies (iv)': every countably generated (strict) $\cal L$-atomic module in $\text{\rm PGen}\cal B$ is separable by $\cal B$.

 \noindent
 (v) above implies (v)': every strict $\cal L$-atomic module in $\text{\rm PGen}\cal B$ is locally separable by $\cal B$.

 \noindent
 (vi) above implies (vi)': every $\cal L$-atomic module in $\text{\rm PGen}\cal B$ is $\cal L$-pure separable by $\cal B$.

 Note, (v)' and (vi)' are  equivalent.
\end{rem}

\begin{cor}\label{f.g.B:2} If all modules in $\cal B$ are finitely generated,  one may replace (in Theorem \ref{c.g.B:2}),

in (v): `countably locally separable by $\oplus\cal B$' by `(finitely) separable by $\cal B$,'

in (vi): `countably  $\tilde{C}$-pure separable by $\oplus\cal B$' by `(finitely) $\tilde{C}$-pure separable by $\cal B$'.

\end{cor}
\begin{proof} Only (v) and (vi) differ from the corresponding statements in the theorem. In fact, they are (v)' and (vi)' from the remark above, which are equivalent to each other and definitely follow from (v) and (vi) in the theorem. But now that $\cal B$ consists entirely of finitely generated modules, (v)' becomes (v) here. Finally, (i) is a special case of (v), so the circle is completed.
\end{proof}

\subsection{The classical case} Here we draw the conclusions of the above theorems for the classical case when $\cal K=\text{\rm Mod-}R=\langle \text{\rm mod-}R\rangle$ and $\cal L=R\text{\rm -Mod}=\langle R\mathop{-\rm mod}\rangle$. This corresponds to the separation pair $(R\text{\rm -Mod}, R\mathop{-\rm mod})$, or the purely resolving class $R\text{\rm -Mod}$. (Remember, (strict) Mittag-Leffler is the same as (strict) atomic.)

Recall our convention: `separable' means `separable by $R\mathop{-\rm mod}$'  here (i.e., separable by finitely presented modules).

\begin{cor}\label{classicalThm.1}\text{

 \begin{enumerate}
\item Every pure-projective $R$-module is a direct summand of a direct sum of finitely presented modules.  {\rm (This  well-known fact is included only to draw the analogy in the next corollaries.)}

 \item \cite[Lemma 3.6(ii)]{HT} Every strict Mittag-Leffler module  is  a direct summand of a separable module.

\item Every Mittag-Leffler module  is  a direct summand of a pure separable module.
 \end{enumerate}
\end{cor}
\begin{proof}
Apply Corollary \ref{f.g.B:1} and Theorem \ref{Thm.1}(1), resp., with $\cal B=R\mathop{-\rm mod}$, $\cal L=R\text{\rm -Mod}$. Recall, strict atomic = strict Mittag-Leffler and atomic = Mittag-Leffler.
\end{proof}

The first two statements in the next corollary were proved to be equivalent in \cite[Thm.\,4.2]{GIRT}.
It says that if `direct summand' can be omitted in any of the three statements of Corollary \ref{classicalThm.1}, it can be omitted in the other two.

\begin{cor}\label{basicGIRT} The following are equivalent.

 \begin{enumerate} [(i)]
 \item Every pure-projective $R$-module is a direct sum of finitely presented modules.

 \item Every strict Mittag-Leffler module  \emph{is} separable.

\item Every Mittag-Leffler module  \emph{is} pure separable.
 \end{enumerate}
\end{cor}
\begin{proof}
 Take $\cal B=R\mathop{-\rm mod}$ and $\cal L=R\text{\rm -Mod}$ in Corollary \ref{f.g.B:2}.
\end{proof}

This is the case over $R=\mathbb Z$ (that is, for abelian groups), over Krull-Schmidt rings, over rings that are one-sided noetherian and two-sided serial, as well as over (two-sided) hereditary noetherian rings, cf.\ \cite{GIRT} or \cite{PR} for references.

\subsection{The flat case}\label{flatcase}

Corollary \ref{f.g.B:1} now reads: Every flat strict $\flat$-atomic module is a direct summand of a $\cal B$-separable module (and conversely), where we can take $\cal B=R{\text{\rm -proj}}$, the finitely generated projectives, or $\cal B=R{\text{\rm -free}}$, the free modules (of finite rank). However,
 we know from Corollary \ref{flatISstrict} already that flat strict $\flat$-atomic are even strict Mittag-Leffler, and similarly, flat $\flat$-atomic (= $\sharp_R$-Mittag-Leffler) modules are Mittag-Leffler, see \cite[Thm.\,3.10]{Tf}.

\begin{cor}\text{}
\begin{enumerate}
 \item Flat strict Mittag-Leffler modules are direct summands of $R{\text{\rm -free}}$-separable modules.
 \item Flat  Mittag-Leffler modules are direct summands of modules that are $\flat$-pure $R{\text{\rm -free}}$-separable.
\end{enumerate}
\end{cor}

 When we apply Theorem \ref{Thm.2} in the shape of Corollary \ref{f.g.B:2} to this situation, we get two different results, one for $\cal B=R{\text{\rm -free}}$, one for $\cal B=R{\text{\rm -proj}}$.
Only the last condition in either one is new though, the other two had been achieved already in \cite[Thms.\,5.1 and 5.3]{GIRT}.

\begin{cor}\label{proj=free} The following are equivalent.

 \begin{enumerate} [(i)]
 \item Every projective $R$-module is free.

 \item Every flat strict Mittag-Leffler module is  $R{\text{\rm -free}}$-separable.

\item Every  flat Mittag-Leffler module  is  $\flat$-pure $R{\text{\rm -free}}$-separable.
 \end{enumerate}

\end{cor}

\begin{cor} The following are equivalent.

\begin{enumerate} [(i)]
 \item Every projective $R$-module is a direct sum of finitely generated projective modules.

 \item Every flat  strict Mittag-Leffler module is  $R{\text{\rm -proj}}$-separable.

\item Every  flat Mittag-Leffler module  is  $\flat$-pure $R{\text{\rm -proj}}$-separable.
 \end{enumerate}
\end{cor}

In \cite[\S5]{GIRT} one may find  lists of rings over which either of these cases take place. For instance, the case of Cor.\ref{proj=free} takes place over the integers. So, a torsionfree (=flat) abelian group is strict Mittag-Leffler iff it is $R{\text{\rm -free}}$-separable (such groups are simply called `separable' in \cite[Def.2.4 and after]{EM}). Correspondingly, \cite[Prop.\,7]{AF} implies that a torsionfree abelian group is Mittag-Leffler iff it is $\aleph_1$-free, which is to say that every countable subgroup is free.

\begin{exam}\label{counterex}
 \cite[Exercise IV.11]{EM} says that ${\mathbb{Z}}^{<\aleph_1}$, the subgroup of ${\mathbb{Z}}^{\aleph_1}$ of all elements with countable support, is $\aleph_1$-free, but not separable (not even torsionless). Thus this group is Mittag-Leffler, but not strict Mittag-Leffler.
\end{exam}

\section{When strict $\cal L$-atomic modules \emph{are} strict $\langle\cal L\rangle$-atomic}\label{lastsect}

Recall from the referee's Remark \ref{ref} that there are strict $\cal L$-atomic modules which are not strict $\langle\cal L\rangle$-atomic.
 I conclude with a proof that in the context of the previous section, the opposite is the case.

\begin{prop}
 Suppose $(\cal L, \cal B)$ is a separation pair such that all modules in $\cal B$ are strict $\langle\cal L\rangle$-atomic (e.g., when all modules in $\cal B$ are countably generated).

Every strict $\cal L$-atomic module in $\text{\rm PGen}\cal B$  is strict $\langle\cal L\rangle$-atomic.
\end{prop}
\begin{proof} Recall from the `Strict' Lemma \ref{StrictLemma} that countably generated strict $\cal L$-atomic modules are strict $\langle\cal L\rangle$-atomic (which explains the parenthetical clause).

Let now $M\in\text{\rm PGen}\cal B$ be strict $\cal L$-atomic.  By Theorem \ref{Thm.1}(2), $M$ is a   direct summand of  a module that is locally separable by $\cal B$. By hypothesis and Lemma \ref{basicfact} (2)---applied to $\langle\cal L\rangle$ rather than $\cal L$, the module $M$ is a direct summand of a strict $\langle\cal L\rangle$-atomic module, hence itself $\langle\cal L\rangle$-atomic.
\end{proof}

\begin{cor}
 Strict $_R\flat$-atomic
 modules are strict $\langle{_R\flat}\rangle$-atomic, i.e., strict $\langle{\sharp_R}\rangle$-Mittag-Leffler.
\end{cor}

\bibliographystyle{amsplain}