) - f(\xi ^{'})  | \leq  \| \xi  - \xi ^{'} \| _{*}. $

### For continuity of $g$: {#for-continuity-of-g.unnumbered}

We follow the same argument as above.

Let $\Phi$ be an internal function such that condition $(1)$ holds. To show that $(1) \Rightarrow (2)$, fix $\varepsilon \gg 0$. We shall show there exists a $\delta$ for this $\varepsilon$ as in condition $(2)$. Since $\Phi$ is internal, the set $$I = \left\lbrace \delta \in  { }^{*} \mathbb{R}_{>0}: \text{ }\forall \omega^{'} \in { }^{*}\Omega \text{ } ( { }^{*} \| \omega - \omega^{'} \|_{\infty} < \delta \Rightarrow { }^{*} |\Phi (\omega)-  \Phi (\omega ^{'})| < \varepsilon ) \right\rbrace,$$ is internal by the Internal Definition Principle and also contains every positive infinitesimal. By Overspill (cf. @Albeverio [Proposition $1.27$]) $I$ must then contain some positive $\delta \in \mathbb{R}$.\
Conversely, suppose condition (1) does not hold, that is, there exists some $\omega^{'} \in { }^{*}\Omega$ such that $${ }^{*} \| \omega - \omega^{'} \|_{\infty} \simeq 0 \text{ and }  { }^{*} |\Phi (\omega)- \Phi (\omega ^{'})| \text{ is not infinitesimal}.$$ If $\varepsilon = \min(1, { }^{*}| \Phi (\omega)- \Phi (\omega ^{'})|/2),$ we know that for each standard $\delta >0,$ there is a point $\omega ^{'}$ within $\delta$ of $\omega$ at which $\Phi (\omega ^{'})$ is farther than $\varepsilon$ from $\Phi (\omega)$. This shows that condition $(2)$ cannot hold either.

[10]{}

, S., R. [H[ø]{}egh-Krohn]{}, J. [Fenstad]{}, and T. [Lindstr[ø]{}m]{} (1986)., Volume 122 of [*[Pure and Applied Mathematics]{}*]{}. Orlando: Academic Press.

,
) - f(\xi ^ {' })   | \leq   \| \xi   - \xi ^ {' } \| _ { * }. $ 

 # # # For continuity of $ g$: { # for-continuity-of-g.unnumbered } 

 We follow the same argument as above. 

 lease $ \Phi$ be an inner function such that condition $ (1)$ holds. To testify that $ (1) \Rightarrow (2)$, fix $ \varepsilon \gg 0$. We shall show there exist a $ \delta$ for this $ \varepsilon$ as in circumstance $ (2)$. Since $ \Phi$ is internal, the set $ $ I = \left\lbrace \delta \in   { } ^ { * } \mathbb{R}_{>0 }: \text { } \forall \omega^ {' } \in { } ^{*}\Omega \text { } ({ } ^ { * } \| \omega - \omega^ {' } \|_{\infty } < \delta \Rightarrow { } ^ { * } |\Phi (\omega)-   \Phi (\omega ^{'})| < \varepsilon) \right\rbrace,$$ is internal by the Internal Definition Principle and also contains every positivist infinitesimal. By Overspill (cf. @Albeverio [ Proposition $ 1.27 $ ]) $ I$ must then contain some incontrovertible $ \delta \in \mathbb{R}$.\ 
 Conversely, suppose condition (1) does not hold, that is, there exists some $ \omega^ {' } \in { } ^{*}\Omega$ such that $ $ { } ^ { * } \| \omega - \omega^ {' } \|_{\infty } \simeq 0 \text { and }   { } ^ { * } |\Phi (\omega)- \Phi (\omega ^{'})| \text { is not infinitesimal}.$$ If $ \varepsilon = \min(1, { } ^{*}| \Phi (\omega)- \Phi (\omega ^{'})|/2),$ we know that for each standard $ \delta > 0,$ there is a detail $ \omega ^{'}$ within $ \delta$ of $ \omega$ at which $ \Phi (\omega ^{'})$ is farther than $ \varepsilon$ from $ \Phi (\omega)$. This shows that condition $ (2)$ cannot agree either. 

 [ 10 ] { } 

, S., R.   [ H[ø]{}egh - Krohn ] { }, J.   [ Fenstad ] { }, and T.   [ Lindstr[ø]{}m ] { } (1986). , Volume 122 of [ * [ Pure and Applied Mathematics ] { } * ] { }. Orlando: Academic Press. 

,
) - f(\di ^{'})  | \leq  \| \xi  - \xi ^{'} \| _{*}. $

### Nor continuity oy $g$: {#for-rontinujty-of-g.unvumbered}

We follow the same acgumwnt aw above.

Let $\Phi$ be an ivternal flnction sych uhat condition $(1)$ holds. To show tgwt $(1) \Xijhtarrow (2)$, fix $\vsrepsilon \cg 0$. We shall svod chere exists a $\delta$ for this $\varepsylon$ as ij condition $(2)$. Synce $\[hi$ js internal, the set $$I = \left\lbrace \selta \ii  { }^{*} \mathbb{R}_{>0}: \tect{ }\forall \omega^{'} \in { }^{*}\Omega \hext{ } ( { }^{*} \| \omega - \omega^{'} \|_{\infty} < \deljz \Rythtarrow { }^{*} |\Pfi (\omega)-  \Khn (\omega ^{'})| < \vzrepsilon ) \right\rbrace,$$ is interval bv the Interbao Dfxinition Prmnciplv and also coknains eeery poxitive infinitcsiman. Bt Overspill (cf. @Albevecio [Proposition $1.27$]) $I$ most then cmncain some positive $\deotq \in \kathtb{R}$.\
Cubvefsemy, shppose coidition (1) doss not hold, that is, there exisus fime $\omega^{'} \in { }^{*}\Omega$ stch that $${ }^{*} \| \omega - \omega^{'} \|_{\infty} \simeq 0 \ttxt{ ahd }  { }^{*} |\Phi (\omega)- \Phi (\omwga ^{'})| \text{ is not infijitesimal}.$$ If $\varepsilon = \min(1, { }^{*}| \Phi (\omega)- \Phi (\omega ^{'})|/2),$ we knof thav wor ewzy dtandard $\delta >0,$ there is a point $\omega ^{'}$ withig $\dtlts$ of $\omega$ at chich $\Phi (\omega ^{'})$ id gwrther than $\vxrepsilon$ from $\Phi (\omega)$. Thls showf thar conditijn $(2)$ vannot hold either.

[10]{}

, S., R. [H[ø]{}egh-Keohn]{}, J. [Fenstab]{}, abd T. [Lindstr[ø]{}m]{} (1986)., Volule 122 of [*[Pure and Apploed Mathematics]{}*]{}. Orlando: Acasemic Press.

,
) - f(\xi ^{'}) | \leq \| \xi \| _{*}. ### For continuity the argument as above. $\Phi$ be an function such that condition $(1)$ holds. show that $(1) \Rightarrow (2)$, fix $\varepsilon \gg 0$. We shall show there a $\delta$ for this $\varepsilon$ as in condition $(2)$. Since $\Phi$ is internal, set = \delta { }^{*} \mathbb{R}_{>0}: \text{ }\forall \omega^{'} \in { }^{*}\Omega \text{ } ( { }^{*} \| \omega \omega^{'} \|_{\infty} < \delta \Rightarrow { }^{*} |\Phi \Phi (\omega ^{'})| < ) \right\rbrace,$$ is internal by Internal Principle and contains positive By Overspill (cf. [Proposition $1.27$]) $I$ must then contain some positive $\delta \in \mathbb{R}$.\ Conversely, suppose condition (1) does not that is, some $\omega^{'} { such $${ }^{*} \| \omega^{'} \|_{\infty} \simeq 0 \text{ and |\Phi (\omega)- \Phi (\omega ^{'})| \text{ is not If $\varepsilon \min(1, { }^{*}| \Phi (\omega)- \Phi ^{'})|/2),$ we know that for each standard $\delta there is a point $\omega ^{'}$ within $\delta$ of $\omega$ at which $\Phi (\omega ^{'})$ than $\varepsilon$ from $\Phi This shows that $(2)$ hold [10]{} S., R. J. [Fenstad]{}, and T. [Lindstr[ø]{}m]{} (1986)., Volume 122 of [*[Pure and Mathematics]{}*]{}. Orlando: Academic Press. ,
) - f(\xi ^{'})  | \leq  \| \xi  - \xi ^{'} \| _{*}. $

### For continuity of $G$: {#for-continUity-oF-g.uNnuMbEred}

we foLlow the same argUMent As above.

Let $\Phi$ be an interNal fuNcTIon sUCh That cOnditioN $(1)$ HoLDS. To ShOw ThaT $(1) \RIGhTarroW (2)$, fiX $\varepsIlon \gg 0$. We shAll ShOw there existS A $\dElta$ for thiS $\vaRepsilon$ as in ConDition $(2)$. siNce $\pHi$ is iNteRnal, tHe set $$I = \LEft\lbrAce \delta \iN  { }^{*} \mAThbb{R}_{>0}: \tEXt{ }\foralL \OMeGa^{'} \in { }^{*}\omega \text{ } ( { }^{*} \| \omega - \omeGA^{'} \|_{\iNFty} < \delta \RightaRrow { }^{*} |\PhI (\oMEgA)-  \pHi (\oMegA ^{'})| < \varepsiloN ) \rIght\rBRace,$$ is iNTeRNAL by THe Internal DefInition PrinCIplE and alSo ConTAins evEry poSiTIve InfinitesimAl. By overspill (Cf. @AlbeVErio [ProPOsition $1.27$]) $i$ must tHen ConTain SOmE pOsiTiVE $\deLTa \In \mAThbB{R}$.\
ConverSeLy, SuppoSe coNDITIon (1) dOes Not hOld, thAt is, there exisTs sOme $\oMEga^{'} \In { }^{*}\OmeGa$ sucH thaT $${ }^{*} \| \oMega - \oMega^{'} \|_{\inFty} \siMeQ 0 \text{ and }  { }^{*} |\Phi (\omegA)- \Phi (\Omega ^{'})| \text{ Is nOt InfInItesiMAl}.$$ If $\vaRepSilOn = \min(1, { }^{*}| \PhI (\omega)- \PHI (\omEgA ^{'})|/2),$ WE KnOw that for each standArD $\DElTa >0,$ there iS a poinT $\OmEgA ^{'}$ Within $\deLtA$ of $\OmegA$ AT whicH $\Phi (\OMeGa ^{'})$ is fartHer thaN $\VaRePsilon$ fRoM $\Phi (\omEgA)$. ThIs sHows tHAt coNditioN $(2)$ cannot hOld eiTHer.

[10]{}

, S., R. [H[ø]{}egh-KrohN]{}, j. [Fenstad]{}, and T. [LINdSTR[ø]{}M]{} (1986)., voluMe 122 oF [*[Pure and AppLied mAtheMatiCS]{}*]{}. ORlaNDo: AcaDemic prESs.

,
) - f(\xi ^{'})  | \leq  \ | \xi  - \ xi ^{ '}\|_{ *}.$

# ## For continu i ty o f $g$: {#for-continuit y-of- g. u nnum b er ed}
We foll o wt h e s am earg um e nt  as a bov e.

Let  $\Phi$ be  an  i nternal func t io n such tha t c ondition $(1 )$holds.  T o s h ow th at$(1)\Right a rrow ( 2)$, fix$\ v arepsi l on \gg0 $ .We s hall show there e x is t s a $\delta$ f or thi s$ \v a r eps ilo n$ as in c on ditio n  $(2)$. Si n c e  $\ P hi$ is intern al, the set $$I  = \le ft \lb r ace \d elta\i n   {  }^{*} \mat hbb{ R}_{>0}:\text{ }\foral l  \omega ^{'} \ in{ } ^{*} \ Om eg a \ te x t{}  (  {} ^{* } \| \om eg a- \om ega^ { ' } \|_{ \in fty}  < \d elta \Rightar row  { } ^ {*}  |\Ph i (\o mega )-   \Ph i (\om ega ^ {' })| < \varepsil on )  \right\r bra ce ,$$  i s int e rnal b y t heInterna l Defin i tio nP r i nc iple and also cont ai n s  e very pos itivei nf in i tesimal.  B y O vers p i ll (c f. @ A lb everio [ Propos i ti on  $1.27$ ])  $I$ m us t t hen  cont a in s ome po sitive $ \delt a  \in \mathbb{R } $.\
Conversel y ,s u pp o se c ond ition (1) d oesn ot h old, th ati s, th ere e xi s ts some $\omega^{'} \i n{ }^{* }\Ome ga$ such that  $${ }^{*} \ |  \omega- \o m eg a ^{'} \|_{\inft y} \s imeq 0 \te x t{ and }   { } ^{*} |\P hi (\omeg a ) - \Phi ( \om ega  ^{ '}) | \t ext{ is not i n f init es imal}.$ $ I f $\var eps ilo n =  \m in (1, { }^{ *}| \Phi  ( \o me ga )-\Phi( \omega ^ {' })| /2 ),$  we k n ow tha t for  eac hst a nda rd $\de l ta > 0,$th er e is  apo int $ \ome g a ^ {'}$ wi thin $\de lta $  of$\ om ega$ at  which $\Phi(\ omega ^{'} )$  is  farth e r  than $\ varepsilon$ from $\Phi( \omega) $.Thisshow s that co ndi tion $ (2) $  canno t hold  eith er .
[ 1 0]{},  S .,R.  [H[ø]{}eg h - Kro hn]{} ,J. [ Fenstad ]{}, and T. [Linds t r[ø ]{}m]{} (1986 ).,  Vol u m e122 of [*[ Pu r e a n d  Applied Mathem atics]{}*] {} .  O rlando: Ac a dem ic  Press. 

,
) -_f(\xi ^{'})_ | \leq _\| \xi__- \xi_^{'}_\| _{*}. $

###_For continuity of_$g$: {#for-continuity-of-g.unnumbered}

We follow the_same argument as_above.

Let_$\Phi$ be an internal function such that condition $(1)$ holds. To show that $(1)_\Rightarrow_(2)$, fix_$\varepsilon_\gg_0$. We shall show there_exists a $\delta$ for this_$\varepsilon$ as_in condition $(2)$. Since $\Phi$ is internal, the_set_$$I = \left\lbrace_\delta \in  { }^{*} \mathbb{R}_{>0}: \text{ }\forall \omega^{'}_\in { }^{*}\Omega \text{ } (_{ }^{*} \|_\omega_-_\omega^{'} \|_{\infty} < \delta_\Rightarrow { }^{*} |\Phi (\omega)- _\Phi (\omega ^{'})| < \varepsilon )_\right\rbrace,$$ is internal by the Internal Definition_Principle and also contains every positive_infinitesimal. By Overspill (cf. @Albeverio_[Proposition $1.27$])_$I$ must then contain some_positive $\delta \in_\mathbb{R}$.\
Conversely, suppose_condition (1) does_not hold, that is, there exists_some $\omega^{'} \in_{ }^{*}\Omega$ such that $${ }^{*}_\|_\omega - \omega^{'}_\|_{\infty}_\simeq_0 \text{_and } _{_}^{*} |\Phi_(\omega)-_\Phi (\omega ^{'})| \text{ is not_infinitesimal}.$$_If $\varepsilon = \min(1, { }^{*}| \Phi_(\omega)- \Phi (\omega ^{'})|/2),$_we_know that for each_standard $\delta >0,$ there is_a point $\omega ^{'}$ within $\delta$_of $\omega$_at which_$\Phi (\omega ^{'})$ is farther than $\varepsilon$ from $\Phi (\omega)$. This_shows that condition $(2)$ cannot hold_either.

[10]{}

, S., R. [H[ø]{}egh-Krohn]{}, J. [Fenstad]{},_and T. [Lindstr[ø]{}m]{}_(1986).,_Volume 122 of_[*[Pure_and Applied_Mathematics]{}*]{}. Orlando: Academic Press.

,