1}$ for each $n \in \mathbb{Z}$, meaning that for any $\chi \in \mathcal{X}_n$ there is $\xi \in \mathcal{X}_{n+1}$ such that $\chi \subseteq \xi$.

2.  ([degreewise non-density]{}) For any $n \in \mathbb{Z}$, and for any dense interval $\chi < \xi$ in $\mathcal{X}_n$, there is $\mu \in \mathcal{X}_{n+1}$ such that $\chi,\xi \subseteq \mu$.

\[P:coaislestointervals\] Let $R$ be a valuation domain. Definition \[D:phipsi\] defines an assignment $$\Theta: \left \{ \begin{tabular}{ccc} \text{ definable coaisles $\mathcal{V}$} \\ \text{in $\operatorname*{\mathbf{D}}(R)$} \end{tabular}\right \}  \rightarrow  \left \{ \begin{tabular}{ccc} \text{ admissible filtrations $\mathbb{X}$ } \\ \text{ in $\operatorname*{Spec}(R)$} \end{tabular}\right \}.$$

Let $\mathcal{V}$ be a definable coaisle in $\operatorname*{\mathbf{D}}(R)$. Then $\mathcal{V}$ is a coaisle of a homotopically smashing t-structure, and thus Definition \[D:phipsi\] assigns a sequence $\mathbb{X} = (\mathcal{X}_n \mid n \in \mathbb{Z})$ of admissible systems in $\operatorname*{Spec}(R)$ by Corollary \[C:admissible\]. Because $\mathcal{V}_n \subseteq \mathcal{V}_{n+1}$ for all $n \in \mathbb{Z}$, the sequence $\mathbb{X}$ is clearly nested. It remains to prove the degreewise non-density property for $\mathbb{X}$.

Fix $n \in \mathbb{Z}$ and suppose that $\chi<\xi$ is a dense interval in $\mathcal{X}_n$. Let $\mathcal{Y} = \{\tau \in \mathcal{X}_n \mid \chi \leq \tau \leq \xi\}$. Note that $\mathcal{Y}$ is naturally an admissible system in the spectrum of the valuation domain $U = R_{\operatorname*{\mathfrak{q}}_\xi}/\operatorname*
1}$ for each $ n \in \mathbb{Z}$, meaning that for any $ \chi \in \mathcal{X}_n$ there is $ \xi \in \mathcal{X}_{n+1}$ such that $ \chi \subseteq \xi$. 

 2.   ([ degreewise non - density ] { }) For any $ newton \in \mathbb{Z}$, and for any dense time interval $ \chi < \xi$ in $ \mathcal{X}_n$, there is $ \mu \in \mathcal{X}_{n+1}$ such that $ \chi,\xi \subseteq \mu$. 

 \[P: coaislestointervals\ ] Let $ R$ be a evaluation domain. Definition   \[D: phipsi\ ] define an assignment $ $ \Theta: \left \ { \begin{tabular}{ccc } \text { definable coaisles $ \mathcal{V}$ } \\ \text{in $ \operatorname*{\mathbf{D}}(R)$ } \end{tabular}\right \ }   \rightarrow   \left \ { \begin{tabular}{ccc } \text { admissible filtration $ \mathbb{X}$ } \\ \text { in $ \operatorname*{Spec}(R)$ } \end{tabular}\right \}.$$ 

 get $ \mathcal{V}$ be a definable coaisle in $ \operatorname*{\mathbf{D}}(R)$. Then $ \mathcal{V}$ is a coaisle of a homotopically smashing t - structure, and thus Definition   \[D: phipsi\ ] assign a sequence $ \mathbb{X } = (\mathcal{X}_n \mid n \in \mathbb{Z})$ of admissible systems in $ \operatorname*{Spec}(R)$ by Corollary   \[C: admissible\ ]. Because $ \mathcal{V}_n \subseteq \mathcal{V}_{n+1}$ for all $ north \in \mathbb{Z}$, the succession $ \mathbb{X}$ is clearly nested. It remain to prove the degreewise non - density property for $ \mathbb{X}$. 

 Fix $ nitrogen \in \mathbb{Z}$ and suppose that $ \chi<\xi$ is a dense interval in $ \mathcal{X}_n$. Let $ \mathcal{Y } = \{\tau \in \mathcal{X}_n \mid \chi \leq \tau \leq \xi\}$. Note that $ \mathcal{Y}$ is naturally an admissible organization in the spectrum of the valuation domain $ U = R_{\operatorname*{\mathfrak{q}}_\xi}/\operatorname *
1}$ fog each $n \in \mathbb{Z}$, meanlng that for any $\chi \in \mathczl{X}_n$ thefe is $\xi \in \mathcal{X}_{n+1}$ such tiat $\xhi \sybseteq \xi$.

2.  ([degreewise non-densiny]{}) For ant $n \mn \mathbb{Z}$, and for any dcuse ihbervan $\chi < \xi$ in $\majhcal{X}_n$, thera is $\mu \in \matvcxl{R}_{n+1}$ such that $\chi,\xi \subseteq \mu$.

\[P:coaisjestoinyegvals\] Let $R$ be a vsjuatjon domain. Definition \[D:phipsi\] definss an avsignment $$\Theya: \left \{ \begin{tabular}{ccc} \tfxt{ fefinable coaisles $\mathcal{V}$} \\ \jsxt{yb $\operatornaoe*{\mathbf{D}}(R)$} \end{tabular}\rjght \}  \rightarrow  \left \{ \begin{txbulax}{ccc} \text{ aemussltle filtratmons $\mwthbb{X}$ } \\ \texb{ in $\oparatornsme*{Spec}(R)$} \end{tanular}\cighr \}.$$

Let $\mathcal{V}$ be a dxfinable coaisle in $\jperatorndmz*{\mathbf{D}}(R)$. Then $\mathcao{V}$ is a coahsle if x hkmptkpicalpy amashing t-atructure, abd thus Definition \[D:khi[wi\] assigns a aequense $\mathbb{X} = (\mathcal{X}_n \mid n \in \mathbb{Z})$ of adjissible systems in $\opeeatorname*{Spec}(R)$ by Corlllary \[C:adiissible\]. Because $\mathcal{V}_n \subseteq \mathcal{V}_{n+1}$ for all $i \kn \nabhbb{X}$, tje sequence $\mathbb{X}$ is clearly nested. It remayhs tp prove the denreewise non-densitu orpkerty for $\mathcb{X}$.

Fix $n \jn \mathbb{Z}$ and supoose thwt $\chu<\xi$ is a qensr interval in $\mathcal{X}_n$. Let $\mathcal{Y} = \{\tcu \un \mathcal{X}_n \mid \cki \leq \tau \lzq \xi\}$. Mote yhat $\mathcal{Y}$ is naturauly zn admissibpe system kn the spectrum uf nhe ealuation domain $U = R_{\operaeorname*{\mavhfral{q}}_\xi}/\opefatotname*
1}$ for each $n \in \mathbb{Z}$, meaning any \in \mathcal{X}_n$ is $\xi \in \xi$. ([degreewise non-density]{}) For $n \in \mathbb{Z}$, for any dense interval $\chi < in $\mathcal{X}_n$, there is $\mu \in \mathcal{X}_{n+1}$ such that $\chi,\xi \subseteq \mu$. \[P:coaislestointervals\] $R$ be a valuation domain. Definition \[D:phipsi\] defines an assignment $$\Theta: \left \{ \text{ coaisles \\ $\operatorname*{\mathbf{D}}(R)$} \end{tabular}\right \} \rightarrow \left \{ \begin{tabular}{ccc} \text{ admissible filtrations $\mathbb{X}$ } \\ \text{ in $\operatorname*{Spec}(R)$} \}.$$ Let $\mathcal{V}$ be a definable coaisle in Then $\mathcal{V}$ is a of a homotopically smashing t-structure, thus \[D:phipsi\] assigns sequence = \mid n \in of admissible systems in $\operatorname*{Spec}(R)$ by Corollary \[C:admissible\]. Because $\mathcal{V}_n \subseteq \mathcal{V}_{n+1}$ for all $n \in \mathbb{Z}$, sequence $\mathbb{X}$ nested. It to the non-density property for $n \in \mathbb{Z}$ and suppose that dense interval in $\mathcal{X}_n$. Let $\mathcal{Y} = \{\tau \mathcal{X}_n \mid \leq \tau \leq \xi\}$. Note that is naturally an admissible system in the spectrum the valuation domain $U = R_{\operatorname*{\mathfrak{q}}_\xi}/\operatorname*
1}$ for each $n \in \mathbb{Z}$, meaning tHat for any $\cHi \in \mAthCal{x}_n$ TherE is $\xI \in \mathcal{X}_{n+1}$ suCH thaT $\chi \subseteq \xi$.

2.  ([degreewiSe non-DeNSity]{}) fOr Any $n \iN \mathbb{z}$, AnD FOr aNy DeNse InTErVal $\chI < \xi$ In $\mathcAl{X}_n$, there iS $\mu \In \Mathcal{X}_{n+1}$ sucH ThAt $\chi,\xi \subSetEq \mu$.

\[P:coaisleStoIntervAlS\] LeT $r$ be a vAluAtion Domain. dEfinitIon \[D:phipsI\] dEFines aN AssignmENT $$\THeta: \Left \{ \begin{tabular}{cCC} \tEXt{ definable coaIsles $\mAtHCaL{v}$} \\ \TexT{in $\OperatornaMe*{\MathbF{d}}(R)$} \end{taBUlAR}\RIghT \}  \Rightarrow  \lefT \{ \begin{tabulAR}{ccC} \text{ aDmIssIBle filTratiOnS $\MatHbb{X}$ } \\ \text{ in $\oPeraTorname*{SpEc}(R)$} \end{TAbular}\rIGht \}.$$

Let $\mAthcal{v}$ be A deFinaBLe CoAisLe IN $\opERaTorNAme*{\Mathbf{D}}(R)$. thEn $\MathcAl{V}$ iS A COAislE of A homOtopiCally smashing T-stRuctURe, aNd thuS DefiNitiOn \[d:phipSi\] assiGns a sEqUence $\mathbb{X} = (\matHcal{x}_n \mid n \in \mAthBb{z})$ of AdMissiBLe systEms In $\oPeratorName*{SpeC}(r)$ by coROLLaRy \[C:admissible\]. BecauSe $\MAThCal{V}_n \subSeteq \mAThCaL{v}_{n+1}$ for all $N \iN \maThbb{z}$, THe seqUencE $\MaThbb{X}$ is cLearly NEsTeD. It remaInS to proVe The DegReewiSE non-DensitY propertY for $\mAThbb{X}$.

Fix $n \in \matHBb{Z}$ and suppose THaT $\CHi<\XI$ is a DenSe interval iN $\matHCal{X}_N$. Let $\MAtHcaL{y} = \{\tau \iN \mathCaL{x}_n \MId \chi \leq \tau \leq \xi\}$. NotE tHat $\matHcal{Y}$ Is naturally an Admissible SYSTem in the SpecTRuM Of the valuation DomaiN $U = R_{\operatoRName*{\mathFrak{q}}_\Xi}/\operatOrname*
1}$ for each $n \in \mathb b{Z}$, mea ningtha t f or  any  $\c hi \in \mathca l {X}_ n$ there is $\xi \in \ mathc al { X}_{ n +1 }$ su ch that $\ c h i \ su bs ete q\ xi $.

2 . ([degre ewise non- den si ty]{}) For a n y$n \in \ma thb b{Z}$, and f orany de ns e i n terva l $ \chi< \xi$ in $\m athcal{X} _n $ , ther e  is $\m u \i n \m athcal{X}_{n+1}$s uc h  that $\chi,\x i \sub se t eq \ mu$ .
\[P:coaisl es toint e rvals\] Le t $ R$b e a valuation  domain. De f ini tion \ [D :ph i psi\]defin es anassignment$$\T heta: \le ft \{\ begin{t a bular}{ ccc} \ tex t{defi n ab le  co ai s les $\ mat h cal {V}$} \\  \ te xt{in  $\o p e r a torn ame *{\m athbf {D}}(R)$} \en d{t abul a r}\ right  \} \rig ht arrow   \lef t \{\b egin{tabular}{c cc}\text{ ad mis si ble  f iltra t ions $ \ma thb b{X}$ }  \\ \te x t{in $ \ op eratorname*{Spec}( R) $ }  \ end{tabu lar}\r i gh t\ }.$$

Le t$\m athc a l {V}$be a de finablecoaisl e  i n$\opera to rname* {\ mat hbf {D}}( R )$.Then $ \mathcal {V}$i s a coaisle of a homotopical l ys m as h ingt-s tructure, a nd t h us D efin i ti on\ [D:ph ipsi\ ]a ss i gns a sequence $\ma th bb{X}= (\m athcal{X}_n \ mid n \in\ m a thbb{Z}) $ of ad m issible system s in$\operator n ame*{Spe c}(R) $ by Cor ollary \[ C : admissib le\ ].Bec aus e $\ mathcal{V}_n\ s ubse te q \math cal {V}_{n+ 1}$  fo r a ll$n  \in \mat hbb{Z}$,  t he  s eq uen ce $\ m athbb{X} $iscl ear ly ne s ted. I t rem ains  t op rov e the d e gr e e wise  n on -den sit yprope rtyf or$\mathb b{X}$.

F ix$ n \i n\m athbb{Z }$ and suppos ethat $\chi <\ xi$  is ad e nse inte rval in $\mathcal{X}_n$ .  Let $\ mat hcal{ Y} =  \{\tau \ in\mathc al{ X }_n \m id \ch i \le q\ta u \leq\ x i\ }$.  N ote that $ \ m ath cal{Y }$  isnatural ly an admissible s y ste m in the spec tru m of t he  va l ua t ion  d o mai n $U = R_{\operat orname*{\m at h fr ak{q}}_\xi } /\o pe ratorna me*
1}$ for_each $n_\in \mathbb{Z}$, meaning that_for any_$\chi_\in \mathcal{X}_n$_there_is $\xi \in_\mathcal{X}_{n+1}$ such that_$\chi \subseteq \xi$.

2. _([degreewise non-density]{}) For_any_$n \in \mathbb{Z}$, and for any dense interval $\chi < \xi$ in $\mathcal{X}_n$, there_is_$\mu \in_\mathcal{X}_{n+1}$_such_that $\chi,\xi \subseteq \mu$.

\[P:coaislestointervals\] Let_$R$ be a valuation domain._Definition \[D:phipsi\] defines_an assignment $$\Theta: \left \{ \begin{tabular}{ccc} \text{ definable_coaisles_$\mathcal{V}$} \\ \text{in_$\operatorname*{\mathbf{D}}(R)$} \end{tabular}\right \}  \rightarrow  \left \{ \begin{tabular}{ccc}_\text{ admissible filtrations $\mathbb{X}$ } \\_\text{ in $\operatorname*{Spec}(R)$}_\end{tabular}\right_\}.$$

Let_$\mathcal{V}$ be a definable_coaisle in $\operatorname*{\mathbf{D}}(R)$. Then $\mathcal{V}$ is_a coaisle of a homotopically smashing_t-structure, and thus Definition \[D:phipsi\] assigns a sequence_$\mathbb{X} = (\mathcal{X}_n \mid n \in_\mathbb{Z})$ of admissible systems in_$\operatorname*{Spec}(R)$ by_Corollary \[C:admissible\]. Because $\mathcal{V}_n \subseteq \mathcal{V}_{n+1}$_for all $n_\in \mathbb{Z}$,_the sequence $\mathbb{X}$_is clearly nested. It remains to_prove the degreewise_non-density property for $\mathbb{X}$.

Fix $n \in_\mathbb{Z}$_and suppose that_$\chi<\xi$_is_a dense_interval in $\mathcal{X}_n$._Let_$\mathcal{Y} =_\{\tau_\in \mathcal{X}_n \mid \chi \leq \tau_\leq_\xi\}$. Note that $\mathcal{Y}$ is naturally an_admissible system in the_spectrum_of the valuation domain_$U = R_{\operatorname*{\mathfrak{q}}_\xi}/\operatorname*