Abstract:We introduce some properties describing dependence in indiscernible sequences: $F_{ind}$ and its dual $F_{Mb}$, the definable Morley property, and $n$-resolvability. Applying these properties, we establish the following results: We show that the degree of nonminimality introduced by Freitag and Moosa, which is closely related to $F_{ind}$ (equal in $\mathrm{DCF}_{0}$), may take on any positive integer value in an $\omega$-stable theory, answering a question of Freitag, Jaoui, and Moosa. Proving a conjecture of Koponen, we show that every simple theory with quantifier elimination in a finite relational language has finite rank and is one-based. The arguments closely rely on finding types $q$ with $F_{Mb}(q) = \infty$, and on $n$-resolvability. We prove some variants of the simple Kim-forking conjecture, a generalization of the stable forking conjecture to $\mathrm{NSOP}_{1}$ theories. We show a global analogue of the simple Kim-forking conjecture with infinitely many variables holds in every $\mathrm{NSOP}_{1}$ theory, and show that Kim-forking with a realization of a type $p$ with $\mathrm{F}_{Mb}(p) < \infty$ satisfies a finite-variable version of this result. We then show, in a low $\mathrm{NSOP}_{1}$ theory or when $p$ is isolated, if $p \in S(C)$ has the definable Morley property for Kim-independence, Kim-forking with realizations of $p$ gives a nontrivial instance of the simple Kim-forking conjecture itself. In particular, when $F_{Mb}(p) < \infty$ and $|S^{F_{Mb}(p) + 1}(C)| < \infty$, Kim-forking with realizations of $p$ gives us a nontrivial instance of the simple Kim-forking conjecture. We show that the quantity $F_{Mb}$, motivated in simple and $\mathrm{NSOP}_{1}$ theories by the above results, is in fact nontrivial even in stable theories.

Notes on Interpretability between Weak First-order Theories: Theories of Sequences

Mutual Interpretability of Weak Essentially Undecidable Theories

Mutual Interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality

Decision Procedures for Sequence Theories (Technical Report)

Two series of formalized interpretability principles for weak systems of arithmetic

A weak theory of building blocks

Bi-interpretation in weak set theories

Sequences of Rewrites: A Categorical Interpretation

The Logic of Sequences

Admissible extensions of subtheories of second order arithmetic

On the first-order theories of quaternions and octonions

Incompleteness of boundedly axiomatizable theories

A proof-theoretical approach to some extensions of first order quantification

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations

Simple Homogeneous Structures and Indiscernible Sequence Invariants

Some simple theories from a Boolean algebra point of view

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)

Hereditary undecidability of fragments of some elementary theories

The interpretability logic of all reasonable arithmetical theories

A note on the theory of well orders