We discuss dividing lines (in model theory) and some test questions, mainly the universality spectrum. So there is much on conjectures, problems and old results, mainly of the author and also on some recent results.

The author has previously shown that for a certain class of structures $\mathcal {I}$, $\mathcal {I}$-indexed indiscernible sets have the modeling property just in case the age of $\mathcal {I}$ is a Ramsey class. We expand this known class of structures from ordered structures in a finite relational language to ordered, locally finite structures which isolate quantifier-free types by way of quantifier-free formulas. This result is applied to give new proofs that certain classes of trees are Ramsey. To aid this (...) project we develop the logic of EM-types. (shrink)

We generalize the Unstable Formula Theorem characterization of stable theories from Shelah [11], that a theory T is stable just in case any infinite indiscernible sequence in a model of T is an indiscernible set. We use a generalized form of indiscernibles from [11], in our notation, a sequence of parameters from an L-structure M, , indexed by an L′-structure I is L′-generalized indiscernible inM if qftpL′=qftpL′ implies tpL=tpL for all same-length, finite ¯,j from I. Let Tg be the theory (...) of linearly ordered graphs in the language with signature Lg={<,R}. Let Kg be the class of all finite models of Tg. We show that a theory T has NIP if and only if any Lg-generalized indiscernible in a model of T indexed by an Lg-structure with age equal to Kg is an indiscernible sequence. (shrink)

In this paper, we introduce the notion of $${\textbf{K}} $$ -rank, where $${\textbf{K}} $$ is a strong amalgamation Fraïssé class. Roughly speaking, the $${\textbf{K}} $$ -rank of a partial type is the number “copies” of $${\textbf{K}} $$ that can be “independently coded” inside of the type. We study $${\textbf{K}} $$ -rank for specific examples of $${\textbf{K}} $$, including linear orders, equivalence relations, and graphs. We discuss the relationship of $${\textbf{K}} $$ -rank to other ranks in model theory, including dp-rank and (...) op-dimension (a notion coined by the first author and C. D. Hill in previous work). (shrink)

We prove two results on the stability spectrum for Lω1,ω. Here [Formula: see text] denotes an appropriate notion of Stone space of m-types over M. Theorem for unstable case: Suppose that for some positive integer m and for every α μ, K is not i-stable in μ. These results provide a new kind of sufficient condition for the unstable case and shed some light on the spectrum of strictly stable theories in this context. The methods avoid the use of compactness (...) in the theory under study. In this paper, we expound the construction of tree indiscernibles for sentences of Lω1,ω. Further we provide some context for a number of variants on the Ehrenfeucht–Mostowski construction. (shrink)