_1\setminus C_0$ are isolated. For each $\delta\in C_0$ and $x\in\mathcal{S}(\mathcal{A}_s/\text{FIN})$, a neighborhood of $(\delta,x)$ must include $U_\delta(a)=L_\delta[a]\cup(\{\delta\}\times a^*)$ for some $a\in x$, where $a^* = \{p\in\mathcal{S}(\mathcal{A}_\mathcal{S}):a\in p\}$. Notice that $U_\delta(a)$ is disjoint from $\{\gamma\}\times\mathcal{S}(\mathcal{A}_s/\text{FIN})$, for all $\gamma\neq\delta$. It follows immediately that the sequence $D=\{(\gamma,x_g):\delta\in C_0\}$ is a closed discrete subset. It also follows from the proof of the normality of the previous example that $D$ is normalized.

Now we show that $D$ does not have a normalized discrete expansion by compact $G_\delta$’s, indeed by any $G_\delta$’s. Assume that $\{\dot{Z}_\delta:\delta\in C_0\}$ is a sequence of $S$-names so that $\dot{Z}_\delta$ is forced to be a $G_\delta$ containing $(\delta,x_g)$. There is a cub $C_1$ such that for each $\alpha\in C_0$ and each $s\in S_{\alpha^+}$ (again, $\alpha^+$ is the minimal element of $C_1$ above $\alpha$), $s$ forces that $\dot{Z}_\alpha$ contains $\{\alpha\}\times a_s^*$. Since $S$ is ccc, the cub $C_1$ can be chosen to be a member of the PFA$(S)$ model.

We use $C_1$ to define a partition of $C_0$: for each $\alpha\in C_0$, we define $\dot{f}(\alpha)$ to equal the value $g(\alpha^+)$ (i.e. the element of $S_{\alpha^+}$ that $g$ picks). Thus if $\delta$ is a limit of $C_1$ and $s\in S_\delta$, then $s$ forces a value for $\dot{f}\!\!\upharpoonright\!\!\delta$. Then a potential normalizing expansion would
_ 1\setminus C_0 $ are isolated. For each $ \delta\in C_0 $ and $ x\in\mathcal{S}(\mathcal{A}_s/\text{FIN})$, a neighborhood of $ (\delta, x)$ must include $ U_\delta(a)=L_\delta[a]\cup(\{\delta\}\times a^*)$ for some $ a\in x$, where $ a^ * = \{p\in\mathcal{S}(\mathcal{A}_\mathcal{S}):a\in p\}$. Notice that $ U_\delta(a)$ is disjoint from $ \{\gamma\}\times\mathcal{S}(\mathcal{A}_s/\text{FIN})$, for all $ \gamma\neq\delta$. It follow immediately that the succession $ D=\{(\gamma, x_g):\delta\in C_0\}$ is a closed discrete subset. It also follow from the validation of the normality of the previous example that $ D$ is normalized. 

 nowadays we show that $ D$ does not have a normalize discrete expansion by compact $ G_\delta$ ’s, indeed by any $ G_\delta$ ’s. Assume that $ \{\dot{Z}_\delta:\delta\in C_0\}$ is a succession of $ S$-names so that $ \dot{Z}_\delta$ is forced to be a $ G_\delta$ containing $ (\delta, x_g)$. There is a cub $ C_1 $ such that for each $ \alpha\in C_0 $ and each $ s\in S_{\alpha^+}$ (again, $ \alpha^+$ is the minimal element of $ C_1 $ above $ \alpha$), $ s$ power that $ \dot{Z}_\alpha$ contains $ \{\alpha\}\times a_s^*$. Since $ S$ is ccc, the cub $ C_1 $ can be chosen to be a member of the PFA$(S)$ model. 

 We use $ C_1 $ to specify a partition of $ C_0 $: for each $ \alpha\in C_0 $, we define $ \dot{f}(\alpha)$ to equal the value $ g(\alpha^+)$ (i.e. the element of $ S_{\alpha^+}$ that $ g$ woof). Thus if $ \delta$ is a limit of $ C_1 $ and $ s\in S_\delta$, then $ s$ forces a value for $ \dot{f}\!\!\upharpoonright\!\!\delta$. Then a potential normalizing expansion would
_1\setlinus C_0$ are isolated. For each $\delta\in C_0$ and $x\ii\mathcam{S}(\mathcau{A}_s/\text{FIN})$, a neighborhood of $(\dwlta,x)$ must include $U_\delta(a)=L_\aelta[a]\cup(\{\felta\}\timws a^*)$ dor some $a\mh x$, whevz $a^* = \{l\ln\matkcel{S}(\mathcal{A}_\mathgal{S}):a\in p\}$. Nmtice that $U_\dentx(a)$ is disjoint from $\{\gamma\}\times\mathcal{F}(\mathcak{A}_d/\text{FIN})$, for ajl $\gsima\nsq\delta$. It follows immediately thaf the stquence $D=\{(\gamma,x_g):\dekta\in C_0\}$ is a closed discrehe skbset. It also folllws from thg prjif of the nofmality of the previoua example that $D$ is normalized.

Nuw we show that $D$ dofv not have e normwlized discrcne expatsion bu compact $G_\delba$’s, iideee by any $G_\delta$’s. Assuke that $\{\dot{Z}_\delta:\dglta\in C_0\}$ iv c sequence of $S$-names wo that $\dot{S}_\delgq$ ir fkrred to be a $J_\delta$ contzining $(\deltq,x_g)$. There is a cub $V_1$ flvh that for sach $\ajpra\in C_0$ and each $s\in S_{\alpha^+}$ (again, $\alpha^+$ ps tge minimal element of $C_1$ above $\alpha$), $s$ forces that $\dot{S}_\alpha$ contains $\{\alpha\}\times a_s^*$. Since $S$ is ccc, the wub $C_1$ zan bc chuwej to be a member of the PFA$(S)$ model.

We use $C_1$ to segike a partition on $C_0$: for each $\alpha\on C_0$, re define $\dot{w}(\alpha)$ to equal the value $g(\wlpha^+)$ (i.g. the wlement os $S_{\akpha^+}$ that $g$ picks). Thus if $\dwlta$ is a liiut of $C_1$ and $s\in S_\dzlta$, then $s$ yorces a vakue for $\dot{f}\!\!\upharpoonriyht\!\!\delfa$. Then a pltential hurmalizing expanriok wmuld
_1\setminus C_0$ are isolated. For each $\delta\in $x\in\mathcal{S}(\mathcal{A}_s/\text{FIN})$, neighborhood of must include $U_\delta(a)=L_\delta[a]\cup(\{\delta\}\times where = \{p\in\mathcal{S}(\mathcal{A}_\mathcal{S}):a\in p\}$. that $U_\delta(a)$ is from $\{\gamma\}\times\mathcal{S}(\mathcal{A}_s/\text{FIN})$, for all $\gamma\neq\delta$. It immediately that the sequence $D=\{(\gamma,x_g):\delta\in C_0\}$ is a closed discrete subset. It also from the proof of the normality of the previous example that $D$ is Now show $D$ not have a normalized discrete expansion by compact $G_\delta$’s, indeed by any $G_\delta$’s. Assume that $\{\dot{Z}_\delta:\delta\in is a sequence of $S$-names so that $\dot{Z}_\delta$ forced to be a containing $(\delta,x_g)$. There is a $C_1$ that for $\alpha\in and $s\in S_{\alpha^+}$ (again, is the minimal element of $C_1$ above $\alpha$), $s$ forces that $\dot{Z}_\alpha$ contains $\{\alpha\}\times a_s^*$. Since $S$ ccc, the can be to a of the PFA$(S)$ use $C_1$ to define a partition each $\alpha\in C_0$, we define $\dot{f}(\alpha)$ to equal value $g(\alpha^+)$ the element of $S_{\alpha^+}$ that $g$ Thus if $\delta$ is a limit of $C_1$ $s\in S_\delta$, then $s$ forces a value for $\dot{f}\!\!\upharpoonright\!\!\delta$. Then a potential normalizing expansion would
_1\setminus C_0$ are isolated. For eaCh $\delta\in C_0$ And $x\iN\maThcAl{s}(\matHcal{a}_s/\text{FIN})$, a neigHBorhOod of $(\delta,x)$ must include $u_\deltA(a)=l_\DeltA[A]\cUp(\{\delTa\}\times A^*)$ FoR SOme $A\iN x$, WheRe $A^* = \{P\iN\mathCal{s}(\mathcaL{A}_\mathcal{S}):A\in P\}$. NOtice that $U_\deLTa(A)$ is disjoinT frOm $\{\gamma\}\times\MatHcal{S}(\mAtHcaL{a}_s/\texT{FIn})$, for aLl $\gammA\Neq\delTa$. It folloWs IMmediaTEly that THE sEqueNce $D=\{(\gamma,x_g):\delta\iN c_0\}$ iS A closed discretE subseT. IT AlSO FolLowS from the prOoF of thE NormaliTY oF THE prEVious example tHat $D$ is normaLIzeD.

Now we ShOw tHAt $D$ doeS not hAvE A noRmalized disCretE expansioN by comPAct $G_\delTA$’s, indeeD by any $g_\deLta$’S. AssUMe ThAt $\{\dOt{z}_\DelTA:\dEltA\In C_0\}$ Is a sequeNcE oF $S$-namEs so THAT $\Dot{Z}_\DelTa$ is ForceD to be a $G_\delta$ cOntAiniNG $(\deLta,x_g)$. there Is a cUb $c_1$ such That foR each $\AlPha\in C_0$ and each $s\iN S_{\alPha^+}$ (again, $\aLphA^+$ iS thE mInimaL ElemenT of $c_1$ abOve $\alphA$), $s$ forceS ThaT $\dOT{z}_\AlPha$ contains $\{\alpha\}\tiMeS A_S^*$. SInce $S$ is cCc, the cUB $C_1$ CaN Be chosen To Be a MembER Of the pFA$(S)$ MOdEl.

We use $C_1$ To defiNE a PaRtition Of $c_0$: for eaCh $\AlpHa\iN C_0$, we dEFine $\Dot{f}(\alPha)$ to equAl the VAlue $g(\alpha^+)$ (i.e. thE Element of $S_{\alpHA^+}$ tHAT $g$ PIcks). thuS if $\delta$ is a LimiT Of $C_1$ aNd $s\iN s_\dEltA$, Then $s$ ForceS a VAlUE for $\dot{f}\!\!\upharpoonriGhT\!\!\delta$. then a Potential normAlizing expANSIon would
_1\setminus C_0$ are isola ted. For e ach $ \de lta \i n C_ 0$ a nd $x\in\mathc a l{S} (\mathcal{A}_s/\text{F IN})$ ,a  nei g hb orhoo d of $( \ de l t a,x )$  m ust  i n cl ude $ U_\ delta(a )=L_\delta [a] \c up(\{\delta\ } \t imes a^*)$  fo r some $a\in  x$ , wher e$a^ *  = \{ p\i n\mat hcal{S } (\math cal{A}_\m at h cal{S} ) :a\in p \ } $.  Not ice that $U_\delt a (a ) $ is disjointfrom $ \{ \ ga m m a\} \ti mes\mathca l{ S}(\m a thcal{A } _s / \ t ext { FIN})$, for a ll $\gamma\ n eq\ delta$ .Itf ollows  imme di a tel y that thesequ ence $D=\ {(\gam m a,x_g): \ delta\i n C_0\ }$isa cl o se ddis cr e tes ub set .  It  also fo ll ow s fro m th e p r oofofthenorma lity of the p rev ious exa mplethat$D$is  norm alized .

No wwe show that $D $ do es not ha veanor ma lized discre teexp ansionby comp a ct$G _ \ d el ta$’s, indeed by a ny $ G_ \delta$’ s. Ass u me  t h at $\{\d ot {Z} _\de l t a:\de lta\ i nC_0\}$ i s a se q ue nc e of $S $- namesso  th at$\dot { Z}_\ delta$  is forc ed to be a $G_\delta $  containing $ ( \d e l ta , x_g) $.There is acub$ C_1$  suc h  t hat for e ach $ \a l ph a \in C_0$ and each $ s\ in S_{ \alph a^+}$ (again,  $\alpha^+ $ i s the mi nima l  e l ement of $C_1$  abov e $\alpha$ ) , $s$ fo rcesthat $\d ot{Z}_\al p h a$ conta ins  $\ {\a lph a \ }\ times a_s^*$. S ince  $ S$ is c cc,  the cu b $ C_1 $ c anbe  chosen t o be a m em be rof  th e PFA $ (S)$ mod el .
We  us e $C_ 1 $ to d efine  a p ar ti t ion  of $C_ 0 $: f or e ac h$\al pha \i n C_0 $, w e  de fine $\ dot{f}(\a lph a )$ t oeq ual the  value $g(\al ph a^+)$ (i.e .the  eleme n t  of $S_{ \alpha^+}$ that $g$ pic k s). Thu s i f $\d elta $ is a li mit  of $C _1$ and $s \in S_ \delt a$ , t h e n $s$ f or ces  a  value for $ \do t{f}\ !\ !\up harpoon right\!\!\delta$.T hen  a potentialnor mali z i ng  ex p an s ion  w o uld 
_1\setminus C_0$_are isolated._For each $\delta\in C_0$_and $x\in\mathcal{S}(\mathcal{A}_s/\text{FIN})$,_a_neighborhood of_$(\delta,x)$_must include $U_\delta(a)=L_\delta[a]\cup(\{\delta\}\times_a^*)$ for some_$a\in x$, where $a^*_= \{p\in\mathcal{S}(\mathcal{A}_\mathcal{S}):a\in p\}$._Notice_that $U_\delta(a)$ is disjoint from $\{\gamma\}\times\mathcal{S}(\mathcal{A}_s/\text{FIN})$, for all $\gamma\neq\delta$. It follows immediately that the_sequence_$D=\{(\gamma,x_g):\delta\in C_0\}$_is_a_closed discrete subset. It also_follows from the proof of_the normality_of the previous example that $D$ is normalized.

Now_we_show that $D$_does not have a normalized discrete expansion by compact_$G_\delta$’s, indeed by any $G_\delta$’s. Assume_that $\{\dot{Z}_\delta:\delta\in C_0\}$_is_a_sequence of $S$-names so_that $\dot{Z}_\delta$ is forced to be_a $G_\delta$ containing $(\delta,x_g)$. There is_a cub $C_1$ such that for each_$\alpha\in C_0$ and each $s\in S_{\alpha^+}$_(again, $\alpha^+$ is the minimal_element of_$C_1$ above $\alpha$), $s$ forces_that $\dot{Z}_\alpha$ contains_$\{\alpha\}\times a_s^*$._Since $S$ is_ccc, the cub $C_1$ can be_chosen to be_a member of the PFA$(S)$ model.

We_use_$C_1$ to define_a_partition_of $C_0$:_for each $\alpha\in_C_0$,_we define_$\dot{f}(\alpha)$_to equal the value $g(\alpha^+)$ (i.e._the_element of $S_{\alpha^+}$ that $g$ picks). Thus_if $\delta$ is a_limit_of $C_1$ and $s\in_S_\delta$, then $s$ forces a_value for $\dot{f}\!\!\upharpoonright\!\!\delta$. Then a potential_normalizing expansion_would