arXiv++ Combinatorics

The main purpose of this paper is to present a new and more uniform model-theoretic/combinatorial proof of the theorem ([5]): The randomization $T^{R}$ of a complete first-order theory $T$ with $NIP$ is a (complete) first-order continuous theory with $NIP$. The proof method is based on the significant use of a particular type of models of $T^{R}$, namely simple models, certain indiscernible arrays, and Rademacher mean width. Using simple models of $T^R$ gives the advantage of re-proving this theorem in a simpler and quantitative manner. We finally turn our attention to $NSOP$ in randomization. We show that based on the definition of $NSOP$ given [13], $T^R$ is stable if and only if it is $NIP$ and $NSOP$.

We show that the Hrushovski-\fraisse limit of certain classes of trees lead to strictly superstable theories of various U-ranks. In fact, for each $ α\inω+1\backslash\{0\} $ we introduce a strictly superstable theory of U-rank $ α. $ Furthermore, we show that these theories are decidable and pseudofinite.

In a relational language consisting of a single relation $ R, $ we investigate pseudofiniteness of certain Hrushovski constructions obtained via predimension functions. It is notable that the arity of the relation $ R $ plays a crucial role in this context. When $ R $ is ternary, by extending the methods developed in [BL12], we interpret $ \langle\mathbb{Q}^{+},<\rangle $ in the $ \langle\mathcal{K}^{+}_{0},\leq^{*}\rangle $-generic and prove that this structure is not pseudofinite. This provides a negative answer to the question posed in [EW09] (Question 2.6). This result, in fact, unfolds another aspect of complexity of this structure, along with undecidability and strict order property proved in [EW09] and [Bl12]. On the other hand, when $ R $ is binary, it can be shown that the $ \langle\mathcal{K}^{+}_{0},\leq^{*}\rangle $-generic is decidable and pseudofinite.

We investigate correspondences between extreme amenability and amenability of automorphism groups of Fraïssé-Hrushovski generic structures that are obtained from smooth classes, and their Ramsey type properties of their smooth classes, similar to Kechris, Pestov and Todorcevic, and Tatch Moore. In particular, we focus on some Fraïssé-Hrushovski generic structures that are obtained from pre-dimension functions. Using these correspondences, we prove that automorphism groups of ordered Hrushovski generic graphs are not extremely amenable in both cases of collapsed and uncollapsed. Moreover, we prove that automorphism groups of Fraïssé-Hrushovski generic structures that are obtained from pre-dimension functions with rational coefficients are not amenable.