We prove that in theories without the tree property of the second kind (which include dependent and simple theories) forking and dividing over models are the same, and in fact over any extension base. As an application we show that dependence is equivalent to bounded non-forking assuming NTP 2.

The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra $\mathcal {B}$ to each formula. We show some basic results regarding the effect of the properties of $\mathcal {B}$ on the behavior of such types, and show they are particularity well behaved in the case of NIP theories. In particular, we generalize the third author’s result about counting types, as well as the notion of a smooth type (...) and extending a type to a smooth one. We then show that Keisler measures are tied to certain Boolean types and show that some of the results can thus be transferred to measures—in particular, giving an alternative proof of the fact that every measure in a dependent theory can be extended to a smooth one. We also study the stable case. We consider this paper as an invitation for more research into the topic of Boolean types. (shrink)

We prove that in $\operatorname {NTP}_{\operatorname {2}}$ theories the dp-rank of a type can be witnessed by indiscernible sequences of tuples satisfying that type. If the type has dp-rank infinity, then this can be witnessed by singletons.

We put in print a classical result that states that for most purposes, there is no harm in assuming the existence of saturated models in model theory. The presentation is aimed for model theorists with only basic knowledge of axiomatic set theory.

A theory [Formula: see text] is said to have exact saturation at a singular cardinal [Formula: see text] if it has a [Formula: see text]-saturated model which is not [Formula: see text]-saturated. We show, under some set-theoretic assumptions, that any simple theory has exact saturation. Also, an NIP theory has exact saturation if and only if it is not distal. This gives a new characterization of distality.

We introduce the class of unshreddable theories, which contains the simple and NIP theories, and prove that such theories have exactly saturated models in singular cardinals, satisfying certain set-theoretic hypotheses. We also give criteria for a theory to have singular compactness.

We provide a new criterion for embedding.

In this note we prove and disprove some chain conditions in type definable and definable groups in dependent, strongly dependent and strongly2 dependent theories.

Combining two results from machine learning theory we prove that a formula is NIP if and only if it satisfies uniform definability of types over finite sets. This settles a conjecture of La...

Combining two results from machine learning theory we prove that a formula is NIP if and only if it satisfies uniform definability of types over finite sets. This settles a conjecture of La...

We use exact saturation to study the complexity of unstable theories, showing that a variant of this notion called pseudo-elementary class (PC)-exact saturation meaningfully reflects combinatorial dividing lines. We study PC-exact saturation for stable and simple theories. Among other results, we show that PC-exact saturation characterizes the stability cardinals of size at least continuum of a countable stable theory and, additionally, that simple unstable theories have PC-exact saturation at singular cardinals satisfying mild set-theoretic hypotheses. This had previously been open even (...) for the random graph. We characterize supersimplicity of countable theories in terms of having PC-exact saturation at singular cardinals of countable cofinality. We also consider the local analog of PC-exact saturation, showing that local PC-exact saturation for singular cardinals of countable cofinality characterizes supershort theories. (shrink)

We show that the countable universal homogeneous meet-tree has a generic automorphism, but does not have a generic pair of automorphisms.

We investigate the notions of strict independence and strict non-forking, and establish basic properties and connections between the two. In particular, it follows from our investigation that in resilient theories strict non-forking is symmetric. Based on this study, we develop notions of weight which characterize NTP2, dependence and strong dependence. Many of our proofs rely on careful analysis of sequences that witness dividing. We prove simple characterizations of such sequences in resilient theories, as well as of Morley sequences which are (...) witnesses. As a by-product we obtain information on types co-dominated by generically stable types in dependent theories. For example, we prove that every Morley sequence in such a type is a witness. (shrink)

For a centerless group G, we can define its automorphism tower. We define G α : G 0 = G, G α+1 = Aut(G α ) and for limit ordinals ${G^{\delta}=\bigcup_{\alpha<\delta}G^{\alpha}}$ . Let τ G be the ordinal when the sequence stabilizes. Thomas’ celebrated theorem says ${\tau_{G}<(2^{|G|})^{+}}$ and more. If we consider Thomas’ proof too set theoretical (using Fodor’s lemma), we have here a more direct proof with little set theory. However, set theoretically we get a parallel theorem without the (...) Axiom of Choice. Moreover, we give a descriptive set theoretic approach for calculating an upper bound for τ G for all countable groups G (better than the one an analysis of Thomas’ proof gives). We attach to every element in G α , the αth member of the automorphism tower of G, a unique quantifier free type over G (which is a set of words from ${G*\langle x\rangle}$ ). This situation is generalized by defining “(G, A) is a special pair”. (shrink)