2008/10/03 by Alexander Usvyatsov, Usvyatsov, Alexander
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.0810.0733
openalex publication_date 2008/10/03 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We characterize nonforking (Morley) sequences in dependent theories in terms of a generalization of Poizat's special sequences and show that average types of Morley sequences are stationary over their domains. We characterize generically stable types in terms of the structure of the "eventual" type. We then study basic properties of "strict Morley sequences", based on Shelah's notion of strict nonforking. In particular we prove "Kim's lemma" for such sequences, and a weak version of local character.