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.

On streams that are finitely red

Coinductive Streams in Monoidal Categories

Solving Causal Stream Inclusions

On Tao's "finitary" infinite pigeonhole principle

Going Forth and Drawing Back: an Intensional Approach in Nonmonotonic Inference.

A Logic for Non-Monotone Inductive Definitions

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications

A Generalization of the Cantor-Dedekind Continuum with Nilpotent Infinitesimals

FINITELY DEPENDENT COLORING

Reflection ranks via infinitary derivations

Infinitary cut-elimination via finite approximations (extended version)

Simple Homogeneous Structures and Indiscernible Sequence Invariants

Liveness Properties in Geometric Logic for Domain-Theoretic Streams

Independence and Induction in Reverse Mathematics

T-homotopy and refinement of observation (III) : Invariance of the branching and merging homologies

A topological reading of inductive and coinductive definitions in Dependent Type Theory

An induction principle and pigeonhole principles for K-finite sets

Foundations of regular coinduction

Sequential ends and nonstandard infinite boundaries of coarse spaces

The finite Friedman-Stanley jumps: generic dichotomies for Borel homomorphisms

Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals