} \subseteq \operatorname*{Mod-R}$ corresponding to the homological epimorphism $\lambda: R \rightarrow S$ via Theorem \[T:epiclass\], which in turn corresponds to $\mathcal{X}$ via Theorem \[T:BSepi\], can be written as follows: $$\mathcal{B} = \{M \in \operatorname*{Mod-R}\mid K(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}}) \otimes_R M \text{ is exact for all }(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}}) \in \mathcal{G}(\mathcal{X})\}.$$

Furthermore, we can write $\mathcal{B} = \mathcal{C} \cap \mathcal{D}$, where $\mathcal{C}$ is the cosilting class corresponding to $\mathcal{X}$ via Theorem \[T01\], and $\mathcal{D}$ is the class of those $R$-modules $M$ such that $\operatorname*{F}_{\operatorname*{\mathfrak{q}}}(M) \in \operatorname*{Mod-R_{\operatorname*{\mathfrak{q}}}}$ for each gap $(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}}) \in \mathcal{G}(\mathcal{X})$.

Let us denote $$\mathcal{B}' = \{M \in \operatorname*{Mod-R}\mid K(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}}) \otimes_R M \text{ is exact for all }(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}}) \in \mathcal{G}(\mathcal{X})\},$$ and the goal is to show that $\mathcal{B}=\mathcal{B}'$. We start by proving that $\mathcal{B}'$ is an extension-closed bireflective subcategory of $\operatorname*{Mod-R}$. Note that since $K(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}})$ is a bounded complex of flat $R$-modules, then $\mathcal{B}' = \mathcal{L} \cap \operatorname*{Mod-R}$, where $\mathcal{L}$ is the Bousfield class of all objects $X$ of $\operatorname*{\mathbf{D}}(R)$ such that $K(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}}) \otimes_R^{\mathbf{L}} X = 0$ for all $(\operatorname*{\mathfrak
} \subseteq \operatorname*{Mod - R}$ corresponding to the homological epimorphism $ \lambda: R \rightarrow S$ via Theorem   \[T: epiclass\ ], which in turn correspond to $ \mathcal{X}$ via Theorem   \[T: BSepi\ ], can be write as follows: $ $ \mathcal{B } = \{M \in \operatorname*{Mod - R}\mid K(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p } }) \otimes_R M \text { is accurate for all } (\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p } }) \in \mathcal{G}(\mathcal{X})\}.$$ 

 Furthermore, we can write $ \mathcal{B } = \mathcal{C } \cap \mathcal{D}$, where $ \mathcal{C}$ is the cosilting course corresponding to $ \mathcal{X}$ via Theorem   \[T01\ ], and $ \mathcal{D}$ is the class of those $ R$-modules $ M$ such that $ \operatorname*{F}_{\operatorname*{\mathfrak{q}}}(M) \in \operatorname*{Mod - R_{\operatorname*{\mathfrak{q}}}}$ for each opening $ (\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p } }) \in \mathcal{G}(\mathcal{X})$. 

 Let us denote $ $ \mathcal{B }' = \{M \in \operatorname*{Mod - R}\mid K(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p } }) \otimes_R M \text { is accurate for all } (\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p } }) \in \mathcal{G}(\mathcal{X})\},$$ and the finish is to show that $ \mathcal{B}=\mathcal{B}'$. We start by testify that $ \mathcal{B}'$ is an extension - closed bireflective subcategory of $ \operatorname*{Mod - R}$. Note that since $ K(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}})$ is a bounded complex of flat $ R$-modules, then $ \mathcal{B }' = \mathcal{L } \cap \operatorname*{Mod - R}$, where $ \mathcal{L}$ is the Bousfield class of all object $ X$ of $ \operatorname*{\mathbf{D}}(R)$ such that $ K(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p } }) \otimes_R^{\mathbf{L } } X = 0 $ for all $ (\operatorname*{\mathfrak
} \suhseteq \operatorname*{Mod-R}$ gorresponding to the hokologidal epimurphism $\lambda: R \rightarrow D$ cia Tyeorem \[T:epiclass\], which kn turn clrrespones ti $\mathcal{X}$ tja Theovzm \[T:BSsii\], cau ue written as fpllows: $$\matvcal{B} = \{M \in \oparxtlrname*{Mod-R}\mid K(\operatorname*{\mathfrak{z}},\operatprjame*{\mathfrak{p}}) \jtimts_R M \tsqt{ is exact for all }(\operatornams*{\mathfrek{q}},\operatorname*{\kathfrak{p}}) \in \mathcal{G}(\mathcwl{X})\}.$$

Fkrthermore, we can arite $\mathcql{B} = \nathcal{C} \cap \mathcal{D}$, where $\mathcam{C}$ is the cosilting class correrpondnng to $\mathxao{X}$ gha Theorem \[T01\], and $\iathcal{D}$ is bne clavs of tnose $R$-modules $K$ snch rhat $\operatorname*{F}_{\opecatorname*{\mathfrak{q}}}(M) \yn \operatmruame*{Mod-R_{\operatorname*{\mqtyfrak{x}}}}$ fos eazy gxp $(\kpxrafornamf*{\mavhfrak{q}},\operztorname*{\matyfrak{p}}) \in \mathcal{G}(\mstrbsl{X})$.

Let us dehote $$\mwtrcal{B}' = \{M \in \operatorname*{Mod-R}\mid K(\operatmrnzme*{\mathfrak{q}},\operatornamw*{\mathfrak{p}}) \otimes_R M \jext{ is exwct for all }(\operatorname*{\mathfrak{q}},\operatorname*{\mathxrak{p}}) \kn \nabhcau{T}(\mwthcal{X})\},$$ and the goal is to show that $\mathcal{B}=\iztncsl{B}'$. We start bn proving that $\matncwl{N}'$ is an extenskon-closed bireflective subcwtegory of $\operatornaie*{Moc-R}$. Note that since $K(\operatoename*{\mathfrah{w}},\operatorname*{\mathfxak{p}})$ is a bobnded vomplrx of flat $R$-modules, theu $\mathdal{B}' = \mathcwl{L} \cap \oldratorname*{Mod-R}$, wferv $\madhcal{L}$ is the Bousfield clwss of alo oblects $X$ uf $\okeratorgame*{\mathbf{F}}(R)$ sugv that $K(\operatornale*{\matkfrak{x}},\operatornwme*{\mathfrak{p}}) \otimes_R^{\mathbf{L}} X = 0$ for all $(\operajortamv*{\mathfrak
} \subseteq \operatorname*{Mod-R}$ corresponding to the homological R S$ via \[T:epiclass\], which in Theorem can be written follows: $$\mathcal{B} = \in \operatorname*{Mod-R}\mid K(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}}) \otimes_R M \text{ exact for all }(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}}) \in \mathcal{G}(\mathcal{X})\}.$$ Furthermore, we can write $\mathcal{B} = \mathcal{C} \mathcal{D}$, where $\mathcal{C}$ is the cosilting class corresponding to $\mathcal{X}$ via Theorem \[T01\], $\mathcal{D}$ the of $R$-modules $M$ such that $\operatorname*{F}_{\operatorname*{\mathfrak{q}}}(M) \in \operatorname*{Mod-R_{\operatorname*{\mathfrak{q}}}}$ for each gap $(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}}) \in \mathcal{G}(\mathcal{X})$. Let us denote = \{M \in \operatorname*{Mod-R}\mid K(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}}) \otimes_R M \text{ exact for all }(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}}) \mathcal{G}(\mathcal{X})\},$$ and the goal is show $\mathcal{B}=\mathcal{B}'$. We by that is an extension-closed subcategory of $\operatorname*{Mod-R}$. Note that since $K(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}})$ is a bounded complex of flat $R$-modules, then $\mathcal{B}' = \cap \operatorname*{Mod-R}$, is the class all $X$ of $\operatorname*{\mathbf{D}}(R)$ $K(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}}) \otimes_R^{\mathbf{L}} X = 0$ for
} \subseteq \operatorname*{Mod-R}$ cOrrespondiNg to tHe hOmoLoGicaL epiMorphism $\lambda: r \RighTarrow S$ via Theorem \[T:epicLass\], wHiCH in tURn CorreSponds tO $\MaTHCal{x}$ vIa theOrEM \[T:bSepi\], Can Be writtEn as followS: $$\maThCal{B} = \{M \in \operaTOrName*{Mod-R}\miD K(\oPeratorname*{\mAthFrak{q}},\oPeRatORname*{\MatHfrak{P}}) \otimeS_r M \text{ Is exact foR aLL }(\operaTOrname*{\mATHfRak{q}},\Operatorname*{\mathfRAk{P}}) \In \mathcal{G}(\mathCal{X})\}.$$

FuRtHErMORe, wE caN write $\mathCaL{B} = \matHCal{C} \cap \MAtHCAL{D}$, wHEre $\mathcal{C}$ is The cosiltinG ClaSs corrEsPonDIng to $\mAthcaL{X}$ VIa THeorem \[T01\], and $\mAthcAl{D}$ is the cLass of THose $R$-moDUles $M$ suCh that $\OpeRatOrnaME*{F}_{\OpEraToRNamE*{\MaThfRAk{q}}}(m) \in \operaToRnAme*{MoD-R_{\opERATOrnaMe*{\mAthfRak{q}}}}$ fOr each gap $(\operAtoRnamE*{\MatHfrak{Q}},\operAtorNaMe*{\matHfrak{p}}) \In \matHcAl{G}(\mathcal{X})$.

Let uS denOte $$\mathcaL{B}' = \{M \In \OpeRaTornaME*{Mod-R}\mId K(\OpeRatornaMe*{\mathfRAk{q}},\OpERAToRname*{\mathfrak{p}}) \otimEs_r m \TeXt{ is exacT for alL }(\OpErATorname*{\mAtHfrAk{q}},\oPERatorName*{\MAtHfrak{p}}) \in \MathcaL{g}(\mAtHcal{X})\},$$ anD tHe goal Is To sHow That $\mAThcaL{B}=\mathCal{B}'$. We stArt by PRoving that $\mathCAl{B}'$ is an extensIOn-CLOsED birEflEctive subcaTegoRY of $\oPeraTOrNamE*{mod-R}$. NOte thAt SInCE $K(\operatorname*{\mathfRaK{q}},\operAtornAme*{\mathfrak{p}})$ iS a bounded cOMPLex of flaT $R$-moDUlES, then $\mathcal{B}' = \mAthcaL{L} \cap \operaTOrname*{MoD-R}$, wheRe $\mathcaL{L}$ is the BoUSField claSs oF alL obJecTS $x$ oF $\operatorname*{\MAThbf{d}}(R)$ Such thaT $K(\oPeratorNamE*{\maThfRak{Q}},\oPeratornaMe*{\mathfrAk{P}}) \oTiMeS_R^{\mAthbf{l}} x = 0$ for all $(\oPeRatOrNamE*{\mathFRak
} \subseteq \operatorname* {Mod-R}$ c orres pon din gto t he h omological epi m orph ism $\lambda: R \right arrow  S $  via Th eorem  \[T:ep i cl a s s\] ,wh ich  i n  t urn c orr esponds  to $\math cal {X }$ via Theor e m\[T:BSepi\ ],can be writt enas fol lo ws: $$\ma thc al{B}  = \{M \in \o peratorna me * {Mod-R } \mid K( \ o pe rato rname*{\mathfrak{ q }} , \operatorname* {\math fr a k{ p } })\ot imes_R M \ te xt{ i s  exactf or a l l } ( \operatorname *{\mathfrak { q}} ,\oper at orn a me*{\m athfr ak { p}} ) \in \math cal{ G}(\mathc al{X}) \ }.$$

F u rthermo re, we  ca n w rite $\ ma thc al { B}=  \ mat h cal {C} \cap  \ ma thcal {D}$ , w h ere$\m athc al{C} $ is the cosi lti ng c l ass  corr espon ding  t o $\m athcal {X}$vi a Theorem \[T01 \],and $\mat hca l{ D}$  i s the classoftho se $R$- modules $M$  s u c h  t hat $\operatorname *{ F } _{ \operato rname* { \m at h frak{q}} }( M)\in\ o perat orna m e* {Mod-R_{ \opera t or na me*{\ma th frak{q }} }}$  fo r eac h  gap  $(\op eratorna me*{\ m athfrak{q}},\o p eratorname*{\ m at h f ra k {p}} ) \ in \mathcal {G}( \ math cal{ X }) $.Let u s den ot e  $ $ \mathcal{B}' = \{M\i n \ope rator name*{Mod-R}\ mid K(\ope r a t orname*{ \mat h fr a k{q}},\operato rname *{\mathfra k {p}}) \o times _R M \te xt{ is ex a c t for al l } (\o per ato r n am e*{\mathfrak{ q } },\o pe ratorna me* {\mathf rak {p} })\in  \ mathcal{G }(\mathc al {X }) \} ,$$  andt he goalis  to  s how  that $\math cal{B }=\m at hc a l{B }'$. We st a r t by  p ro ving  th at  $\ma thca l {B} '$ is a n extensi on- c lose dbi reflect ive subcatego ry  of $\oper at orn ame*{M o d -R}$. No te that since $K(\opera t orname* {\m athfr ak{q }},\opera tor name*{ \ma t hfrak{ p}})$is abo und e d  comp l e xoffl at $R$-mod u l es,  then  $ \mat hcal{B} ' = \mathcal{L} \c a p \ operatorname* {Mo d-R} $ ,  w her e  $ \ mat hc a l{L } $  is the Bousfie ld class o fa ll  objects $ X $ o f$\opera torname *{\ma t hbf{D}} (R)$ such  that $K( \o pera t o rna me*{\mathf rak{q}}, \operator n ame*{ \ ma thfra k{p }}) \o ti mes _R^{\ mathbf { L}}  X =0$ for  a ll $(\ opera to rname*{\ mathfrak
} \subseteq_\operatorname*{Mod-R}$ corresponding_to the homological epimorphism_$\lambda: R_\rightarrow_S$ via_Theorem \[T:epiclass\],_which in turn_corresponds to $\mathcal{X}$_via Theorem \[T:BSepi\], can be_written as follows:_$$\mathcal{B}_= \{M \in \operatorname*{Mod-R}\mid K(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}}) \otimes_R M \text{ is exact for all }(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}}) \in_\mathcal{G}(\mathcal{X})\}.$$

Furthermore,_we can_write_$\mathcal{B}_= \mathcal{C} \cap \mathcal{D}$, where_$\mathcal{C}$ is the cosilting class_corresponding to_$\mathcal{X}$ via Theorem \[T01\], and $\mathcal{D}$ is the class_of_those $R$-modules $M$_such that $\operatorname*{F}_{\operatorname*{\mathfrak{q}}}(M) \in \operatorname*{Mod-R_{\operatorname*{\mathfrak{q}}}}$ for each gap $(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}})_\in \mathcal{G}(\mathcal{X})$.

Let us denote $$\mathcal{B}' =_\{M \in \operatorname*{Mod-R}\mid_K(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}})_\otimes_R_M \text{ is exact_for all }(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}}) \in \mathcal{G}(\mathcal{X})\},$$ and_the goal is to show that_$\mathcal{B}=\mathcal{B}'$. We start by proving that $\mathcal{B}'$_is an extension-closed bireflective subcategory of_$\operatorname*{Mod-R}$. Note that since $K(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}})$_is a_bounded complex of flat $R$-modules,_then $\mathcal{B}' =_\mathcal{L} \cap_\operatorname*{Mod-R}$, where $\mathcal{L}$_is the Bousfield class of all_objects $X$ of_$\operatorname*{\mathbf{D}}(R)$ such that $K(\operatorname*{\mathfrak{q}},\operatorname*{\mathfrak{p}}) \otimes_R^{\mathbf{L}} X_=_0$ for all_$(\operatorname*{\mathfrak