English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

We give several new equivalences of $NIP$ for formulas and new proofs ofknown results using [T87] and [HOR91]. We emphasize that Keisler measures aremore complicated than types (even in $NIP$ context), in an analytic sense.Among other things, we show that, for a first order theory $T$ and formula$\phi(x,y)$, the following are equivalent:  (i) $\phi$ has $NIP$ (for theory $T$).  (ii) For any global $\phi$-type $p(x)$ and any model $M$, if $p$ is finitelysatisfiable in $M$, then $p$ is generalized $DBSC$ definable over $M$. Inparticular, if $M$ is countable, $p$ is $DBSC$ definable over $M$. (Cf.Definition 3.3, Fact 3.4.)  (iii) For any global Keisler $\phi$-measure $\mu(x)$ and any model $M$, if$\mu$ is finitely satisfiable in $M$, then $\mu$ is generalized Baire-1/2definable over $M$. In particular, if $M$ is countable, $p$ is Baire-1/2definable over $M$. (Cf. Definition 3.5.)  (iv) For any model $M$ and any Keisler $\phi$-measure $\mu(x)$ over $M$,\begin{align*} \sup_{b\in M}|\frac{1}{k}\sum_1^k\phi(p_i,b)-\mu(\phi(x,b))|\to0 \end{align*} for almost every $(p_i)\in S_{\phi}(M)^{\Bbb N}$ with theproduct measure $\mu^{\Bbb N}$. (Cf. Theorem 4.3.)  (v) Suppose moreover that $T$ is countable, then for any countable model $M$,the space of global $M$-finitely satisfied types/measures is a Rosenthalcompactum. (Cf. Theorem A.1.)

Glivenko-Cantelli classes and NIP formulas