 starting point is the following classification of homological ring epimorphism from [@BS]:

*([@BS Theorem 5.23])*\[T:BSepi\] Let $R$ be a valuation domain. Then there is a bijection between:

1.  non-dense admissible systems $\mathcal{X}$ in $\operatorname*{Spec}(R)$, and

2.  epiclasses of homological ring epimorphisms $\lambda: R \rightarrow S$.

The bijection consists of two mutually inverse assignments:

$(i) \rightarrow (ii)$: [@BS Proposition 5.5(2)] assigns to $\lambda$ the set of all intervals obtained as follows: For each maximal ideal $\operatorname*{\mathfrak{n}}\in \operatorname*{mSpec}(S)$, the composition map $R \xrightarrow{\lambda} S \xrightarrow{\text{can}} S_{\operatorname*{\mathfrak{n}}}$ is equivalent to the natural map $R \rightarrow R_{\operatorname*{\mathfrak{q}}}/\operatorname*{\mathfrak{p}}$ for some interval $[\operatorname*{\mathfrak{p}},\operatorname*{\mathfrak{q}}]$ in $\operatorname*{Spec}(R)$ with $\operatorname*{\mathfrak{p}}$ idempotent. Then $\mathcal{X}$ is the collection of all intervals obtained by going through all maximal ideals of the commutative ring $S$.

$(ii) \rightarrow (i)$: [@BS Construction 5.22] constructs a homological ring epimorphism $\lambda: R \rightarrow S$ from $\mathcal{X}$ by taking certain direct limits of finite products of copies of modules of the form $R_{\operatorname*{\mathfrak{q}}}/\operatorname*{\mathfrak{p}}$ running over intervals $[\operatorname*{\mathfrak{p}},\operatorname*{\mathfrak{q}}] \in \mathcal{X}$.

Combining Theorem \[T:BSepi\] and Theorem \[T:epiclass\], we see that non-dense admissible systems in $\operatorname*{Spec}(R)$ correspond to extension-closed bireflective subcategories of $\operatorname*{Mod-R}$. The next step is to compute these subcategories.

\[L:birefl\] Let $R$ be a valuation domain and $\mathcal{X}$ be a non-dense admissible system in $\operatorname*{Spec}(R)$. Then the extension-closed bireflective subcategory $\operatorname*{Mod-S}\simeq \mathcal{B
starting point is the following classification of homologic gang epimorphism from [ @BS ]: 

 * ([ @BS Theorem 5.23])*\[T: BSepi\ ] Let $ R$ be a valuation knowledge domain. Then there be a bijection between: 

 1.   non - dense admissible systems $ \mathcal{X}$ in $ \operatorname*{Spec}(R)$, and 

 2.   epiclasses of homological band epimorphisms $ \lambda: R \rightarrow S$. 

 The bijection consist of two mutually inverse assignments: 

 $ (iodine) \rightarrow (ii)$: [ @BS Proposition 5.5(2) ] assigns to $ \lambda$ the set of all intervals prevail as follows: For each maximal ideal $ \operatorname*{\mathfrak{n}}\in \operatorname*{mSpec}(S)$, the composition function $ R \xrightarrow{\lambda } S \xrightarrow{\text{can } } S_{\operatorname*{\mathfrak{n}}}$ is equivalent to the natural function $ R \rightarrow R_{\operatorname*{\mathfrak{q}}}/\operatorname*{\mathfrak{p}}$ for some time interval $ [ \operatorname*{\mathfrak{p}},\operatorname*{\mathfrak{q}}]$ in $ \operatorname*{Spec}(R)$ with $ \operatorname*{\mathfrak{p}}$ idempotent. Then $ \mathcal{X}$ is the solicitation of all intervals obtained by going through all maximal ideals of the commutative band $ S$. 

 $ (ii) \rightarrow (i)$: [ @BS Construction 5.22 ] constructs a homological ring epimorphism $ \lambda: roentgen \rightarrow S$ from $ \mathcal{X}$ by taking certain direct limits of finite products of copy of modules of the form $ R_{\operatorname*{\mathfrak{q}}}/\operatorname*{\mathfrak{p}}$ running over intervals $ [ \operatorname*{\mathfrak{p}},\operatorname*{\mathfrak{q } } ] \in \mathcal{X}$. 

 Combining Theorem   \[T: BSepi\ ] and Theorem   \[T: epiclass\ ], we see that non - dense admissible systems in $ \operatorname*{Spec}(R)$ correspond to extension - closed bireflective subcategories of $ \operatorname*{Mod - R}$. The next step is to compute these subcategories. 

 \[L: birefl\ ] Let $ R$ be a valuation domain and $ \mathcal{X}$ be a non - dense admissible system in $ \operatorname*{Spec}(R)$. Then the extension - close bireflective subcategory $ \operatorname*{Mod - S}\simeq \mathcal{B
 stwrting point is the folluwing classificcrion oh homolkgical rkng epimorphism from [@BS]:

*([@BS Thxoren 5.23])*\[T:BStii\] Let $R$ be a valuatiun domain. Then thwre ms a bijection bxfween:

1.  kjn-dehde abmmssible systems $\mathcal{X}$ hn $\operatornama*{Soee}(R)$, and

2.  epiclasses of homological rigg epimprohisms $\lambda: T \rignearrkw S$.

The bijection consists of two jutuallj inverse assignmrnts:

$(i) \rightarrow (ii)$: [@BS Prooosihion 5.5(2)] assigns to $\lwmbda$ the sgf os all intervaus obtained as follows: For each maximal ideal $\operatofname*{\kathfrak{n}}\ib \ipegdtorname*{mSpxc}(S)$, thv composition map $R \xsightartow{\lambda} S \xrlghtacrow{\rext{can}} S_{\operatorname*{\kathfrak{n}}}$ is equivwlent to dhz natural map $R \rightqreow R_{\mperdtorvqme*{\oatgfcak{s}}}/\operahoriame*{\mathfrai{p}}$ for some interval $[\operatornsmq*{\nathfrak{p}},\operztornaie*{\iathfrak{q}}]$ in $\operatorname*{Spec}(R)$ with $\opegatodname*{\mathfrak{p}}$ idempotebt. Then $\mathcal{X}$ is tje colleceion of all intervals obtained by going through anl maeioal iqdqld of the commutative ring $S$.

$(ii) \rightarrow (i)$: [@BS Domsnruction 5.22] construgts a homological tijg gpimorphism $\laobda: R \rifhtarrow S$ from $\mahhcal{X}$ fy tajing certwin cirect limits of finite proeucts of coppes if modules of the yorm $R_{\operaturnake*{\matnfrak{q}}}/\operatorname*{\mathfxak{p}}$ rhnning over intervala $[\operatorname*{\matffrsk{[}},\operatorname*{\mathfrak{q}}] \in \iathcal{X}$.

Cimbiuing Theurem \[J:BSepi\] wnd Theorel \[T:epignass\], we see that nln-dende admissiblf systems in $\operatorname*{Spec}(R)$ rprrespond to eftetsion-clofed blreflective subsategories of $\pperatoxname*{Mud-R}$. The neqt step iv to computq these subcadggories.

\[L:birefn\] Let $R$ fe a valyation aumain and $\mathval{X}$ be a non-dense qdmissible system ln $\opgrztorname*{Spec}(R)$. Tktn uhw extension-cloxed biwevlxctivq subcategory $\opefatutname*{Ood-S}\simtz \nxthcsl{B
starting point is the following classification of epimorphism [@BS]: *([@BS 5.23])*\[T:BSepi\] Let $R$ there a bijection between: non-dense admissible systems in $\operatorname*{Spec}(R)$, and 2. epiclasses of ring epimorphisms $\lambda: R \rightarrow S$. The bijection consists of two mutually inverse $(i) \rightarrow (ii)$: [@BS Proposition 5.5(2)] assigns to $\lambda$ the set of all obtained follows: each ideal $\operatorname*{\mathfrak{n}}\in \operatorname*{mSpec}(S)$, the composition map $R \xrightarrow{\lambda} S \xrightarrow{\text{can}} S_{\operatorname*{\mathfrak{n}}}$ is equivalent to the natural $R \rightarrow R_{\operatorname*{\mathfrak{q}}}/\operatorname*{\mathfrak{p}}$ for some interval $[\operatorname*{\mathfrak{p}},\operatorname*{\mathfrak{q}}]$ in with $\operatorname*{\mathfrak{p}}$ idempotent. Then is the collection of all obtained going through maximal of commutative ring $S$. \rightarrow (i)$: [@BS Construction 5.22] constructs a homological ring epimorphism $\lambda: R \rightarrow S$ from $\mathcal{X}$ by certain direct finite products copies modules the form $R_{\operatorname*{\mathfrak{q}}}/\operatorname*{\mathfrak{p}}$ intervals $[\operatorname*{\mathfrak{p}},\operatorname*{\mathfrak{q}}] \in \mathcal{X}$. Combining Theorem \[T:epiclass\], we see that non-dense admissible systems in correspond to bireflective subcategories of $\operatorname*{Mod-R}$. The next is to compute these subcategories. \[L:birefl\] Let $R$ a valuation domain and $\mathcal{X}$ be a non-dense admissible system in $\operatorname*{Spec}(R)$. Then the extension-closed $\operatorname*{Mod-S}\simeq \mathcal{B
 starting point is the followiNg classifiCatioN of HomOlOgicAl riNg epimorphism fROm [@BS]:

*([@bS Theorem 5.23])*\[T:BSepi\] Let $R$ be a ValuaTiON domAIn. then tHere is a BIjECTioN bEtWeeN:

1.  nON-dEnse aDmiSsible sYstems $\mathCal{x}$ iN $\operatornamE*{spEc}(R)$, and

2.  epicLasSes of homologIcaL ring ePiMorPHisms $\LamBda: R \rIghtarROw S$.

The Bijection CoNSists oF Two mutuALLy InveRse assignments:

$(i) \riGHtARrow (ii)$: [@BS ProposItion 5.5(2)] aSsIGnS TO $\laMbdA$ the set of aLl InterVAls obtaINeD AS FolLOws: For each maxImal ideal $\opERatOrname*{\MaThfRAk{n}}\in \oPeratOrNAme*{MSpec}(S)$, the coMposItion map $R \XrightARrow{\lamBDa} S \xrigHtarroW{\teXt{cAn}} S_{\oPErAtOrnAmE*{\MatHFrAk{n}}}$ IS eqUivalent To ThE natuRal mAP $r \RIghtArrOw R_{\oPeratOrname*{\mathfraK{q}}}/\oPeraTOrnAme*{\maThfraK{p}}$ foR sOme inTerval $[\OperaToRname*{\mathfrak{p}},\oPeraTorname*{\maThfRaK{q}}]$ iN $\oPeratORname*{SPec}(r)$ wiTh $\operaTorname*{\MAthFrAK{P}}$ IdEmpotent. Then $\mathcaL{X}$ IS ThE collectIon of aLL iNtERvals obtAiNed By goING throUgh aLL mAximal idEals of THe CoMmutatiVe Ring $S$.

$(iI) \rIghTarRow (i)$: [@Bs consTructiOn 5.22] constrUcts a HOmological ring EPimorphism $\lamBDa: r \RIgHTarrOw S$ From $\mathcal{x}$ by tAKing CertAIn DirECt limIts of FiNItE Products of copies of mOdUles of The foRm $R_{\operatornaMe*{\mathfrak{Q}}}/\OPEratornaMe*{\maTHfRAk{p}}$ running over InterVals $[\operatORname*{\matHfrak{P}},\operatoRname*{\mathFRAk{q}}] \in \matHcaL{X}$.

COmbIniNG thEorem \[T:BSepi\] anD tHeorEm \[t:epiclaSs\], wE see thaT noN-deNse AdmIsSible systEms in $\opeRaToRnAmE*{SpEc}(R)$ coRRespond tO eXteNsIon-CloseD BireflEctivE subCaTeGOriEs of $\opeRAtORName*{moD-R}$. the nExt StEp is tO comPUte These suBcategoriEs.

\[L:BIrefL\] LEt $r$ be a valUation domain aNd $\Mathcal{X}$ be A nOn-dEnse adMISsible syStem in $\operatorname*{Spec}(R)$. tHen the eXteNsion-ClosEd birefleCtiVe subcAteGOry $\opeRatornAme*{MoD-S}\SimEQ \MathcAL{b
 starting point is the fol lowing cla ssifi cat ion  o f ho molo gical ring epi m orph ism from [@BS]:

*([@B S The or e m 5. 2 3] )*\[T :BSepi\ ]  L e t  $R $be  ava l ua tiondom ain. Th en there i s a  b ijection bet w ee n:

1.  no n-d ense admissi ble  syste ms  $\ m athca l{X }$ in  $\ope r atorna me*{Spec} (R ) $, and 
2.  ep i c la sses  of homological r i ng epimorphisms $ \lambd a: R\ r igh tar row S$.

T he  bije c tion co n si s t s  of two mutuallyinverse ass i gnm ents:
$ (i) \right arrow  ( i i)$ : [@BS Prop osit ion 5.5(2 )] ass i gns to$ \lambda $ theset  of  all in te rva ls obt a in eda s f ollows:Fo reachmaxi m a l idea l $ \ope rator name*{\mathfr ak{ n}}\ i n \ opera torna me*{ mS pec}( S)$, t he co mp osition map $R\xri ghtarrow{ \la mb da}  S  \xri g htarro w{\ tex t{can}}  S_{\op e rat or n a m e* {\mathfrak{n}}}$ i se q ui valent t o then at ur a l map $R  \ rig htar r o w R_{ \ope r at orname*{ \mathf r ak {q }}}/\op er atorna me *{\ mat hfrak { p}}$  for s ome inte rval$ [\operatorname * {\mathfrak{p} } ,\ o p er a torn ame *{\mathfrak {q}} ] $ in  $\o p er ato r name* {Spec }( R )$ with $\operatorname *{ \mathf rak{p }}$ idempoten t. Then $\ m a t hcal{X}$  ist he collection ofall i ntervals o b tained b y goi ng throu gh all ma x i mal idea lsofthe  co m m ut ative ring $S $ . 

$( ii ) \righ tar row (i) $:[@B S C ons tr uction 5. 22] cons tr uc ts  a  ho molog i cal ring  e pim or phi sm $\ l ambda:  R \r ight ar ro w  S$  from $ \ ma t h cal{ X} $by t aki ng  cert aind ire ct limi ts of fin ite prod uc ts  of cop ies of module sof the for m$R_ {\oper a t orname*{ \mathfrak{q}}}/\operato r name*{\ mat hfrak {p}} $ running  ov er int erv a ls $[\ operat ornam e* {\m a t hfrak { p }} ,\o pe ratorname* { \ mat hfrak {q }}]\in \ma thcal{X}$.

Combin i ngTheorem \[T:B Sep i\]a n dThe o re m  \[ T: e pic l a ss\], we see th at non-den se ad missible s y ste ms  in $\o perator name* { Spec}(R )$ corres pond to e xt ensi o n -cl osed biref lectivesubcatego r ies o f  $ \oper ato rname* {M od- R}$.The ne x t s tep i s to c om pute t hesesu bcategor ies.

\[L:birefl\] Let$R$ be  a va lua tion doma ina nd$\mathcal {X}$  be a non- den seadmis sib l e sys temi n$\o p erato rnam e *{Spec}(R ) $.  Th e n  t he extensio n - c los ed bi ref l ective  sub category $\operat o rname*{Mod-S}\ sime q \ma thc a l{B
 starting_point is_the following classification of_homological ring_epimorphism_from [@BS]:

*([@BS_Theorem_5.23])*\[T:BSepi\] Let $R$_be a valuation_domain. Then there is_a bijection between:

1.__non-dense admissible systems $\mathcal{X}$ in $\operatorname*{Spec}(R)$, and

2.  epiclasses of homological ring epimorphisms $\lambda:_R_\rightarrow S$.

The_bijection_consists_of two mutually inverse assignments:

$(i)_\rightarrow (ii)$: [@BS Proposition 5.5(2)]_assigns to_$\lambda$ the set of all intervals obtained as_follows:_For each maximal_ideal $\operatorname*{\mathfrak{n}}\in \operatorname*{mSpec}(S)$, the composition map $R \xrightarrow{\lambda} S_\xrightarrow{\text{can}} S_{\operatorname*{\mathfrak{n}}}$ is equivalent to the_natural map $R_\rightarrow_R_{\operatorname*{\mathfrak{q}}}/\operatorname*{\mathfrak{p}}$_for some interval $[\operatorname*{\mathfrak{p}},\operatorname*{\mathfrak{q}}]$_in $\operatorname*{Spec}(R)$ with $\operatorname*{\mathfrak{p}}$ idempotent. Then_$\mathcal{X}$ is the collection of all_intervals obtained by going through all maximal_ideals of the commutative ring $S$.

$(ii)_\rightarrow (i)$: [@BS Construction 5.22]_constructs a_homological ring epimorphism $\lambda: R_\rightarrow S$ from_$\mathcal{X}$ by_taking certain direct_limits of finite products of copies_of modules of_the form $R_{\operatorname*{\mathfrak{q}}}/\operatorname*{\mathfrak{p}}$ running over intervals_$[\operatorname*{\mathfrak{p}},\operatorname*{\mathfrak{q}}]_\in \mathcal{X}$.

Combining Theorem \[T:BSepi\]_and_Theorem \[T:epiclass\],_we see_that non-dense admissible_systems_in $\operatorname*{Spec}(R)$_correspond_to extension-closed bireflective subcategories of $\operatorname*{Mod-R}$._The_next step is to compute these subcategories.

\[L:birefl\]_Let $R$ be a_valuation_domain and $\mathcal{X}$ be_a non-dense admissible system in_$\operatorname*{Spec}(R)$. Then the extension-closed bireflective subcategory_$\operatorname*{Mod-S}\simeq \mathcal{B