We introduce a family of local ranks $D_Q$ depending on a finite set Q of pairs of the form $(\varphi (x,y),q(y)),$ where $\varphi (x,y)$ is a formula and $q(y)$ is a global type. We prove that in any NSOP$_1$ theory these ranks satisfy some desirable properties; in particular, $D_Q(x=x)<\omega $ for any finite tuple of variables x and any Q, if $q\supseteq p$ is a Kim-forking extension of types, then $D_Q(q)<D_Q(p)$ for some Q, and if $q\supseteq p$ is a Kim-non-forking extension, then $D_Q(q)=D_Q(p)$ for every Q that involves only invariant types whose Morley powers are -stationary. We give natural examples of families of invariant types satisfying this property in some NSOP$_1$ theories.

We also answer a question of Granger about equivalence of dividing and dividing finitely in the theory $T_\infty $ of vector spaces with a generic bilinear form. We conclude that forking equals dividing in $T_\infty $, strengthening an earlier observation that $T_\infty $ satisfies the existence axiom for forking independence.

Finally, we slightly modify our definitions and go beyond NSOP$_1$ to find out that our local ranks are bounded by the well-known ranks: the inp-rank (burden), and hence, in particular, by the dp-rank. Therefore, our local ranks are finite provided that the dp-rank is finite, for example, if T is dp-minimal. Hence, our notion of rank identifies a non-trivial class of theories containing all NSOP$_1$ and NTP$_2$ theories.

We study the theory Tm,n of existentially closed incidence structures omitting the complete incidence structure Km,n, which can also be viewed as existentially closed Km,n-free bipartite graphs. In the case m = n = 2, this is the theory of existentially closed projective planes. We give an $\forall \exists$-axiomatization of Tm,n, show that Tm,n does not have a countable saturated model when m, n ≥ 2, and show that the existence of a prime model for T2,2 is equivalent to a longstanding open question about finite projective planes. Finally, we analyze model theoretic notions of complexity for Tm,n. We show that Tm,n is NSOP1, but not simple when m, n ≥ 2, and we show that Tm,n has weak elimination of imaginaries but not full elimination of imaginaries. These results rely on combinatorial characterizations of various notions of independence, including algebraic independence, Kim independence, and forking independence.

We prove that, in order to establish that a theory is NSOP1, it suffices to show that no formula in a single free variable has SOP1.