[Paper Review] Ranks for strongly dependent theories

M. Cohen, Saharon Shelah|arXiv (Cornell University)|Mar 14, 2013

Advanced Topology and Set Theory1 references3 citations

TL;DR

This paper introduces and analyzes new rank-based characterizations for strongly dependent theories, extending prior work on dividing properties and type ranks. It fulfills key promises from earlier papers by providing detailed proofs and clarifications on the structure of strongly dependent theories, particularly focusing on the behavior of $κ^{{\rm ict}}(T)$ and its implications for model-theoretic classification.

ABSTRACT

There is much more known about the family of superstable theories when compared to stable theories. This calls for a search of an analogous "super-dependent" characterization in the context of dependent theories. This problem has been treated in \cite{Sh:783,Sh:863}, where the candidates "Strongly dependent", "Strongly dependent^2" and others were considered. These families generated new families when we are considering intersections with the stable family. Here, continuing \cite[§2, §5E,F,G]{Sh:863}, we deal with several candidates, defined using dividing properties and related ranks of types. Those candidates are subfamilies of "Strongly dependent". Fulfilling some promises from \cite{Sh:863} in particular \cite[1.4(4)]{Sh:863}, we try to make this self contained within reason by repeating some things from there. More specifically we fulfil some promises from \cite{Sh:863} to to give more details, in particular: in \S4 for \cite[1.4(4)]{Sh:863}, in \S2 for \cite[5.47(2)=Ldw5.35(2)]{Sh:863} and in \S1 for \cite[5.49(2)]{Sh:863}

Motivation & Objective

• To develop a deeper understanding of strongly dependent theories through rank-based invariants derived from dividing properties.
• To fulfill unmet technical promises from previous works, particularly [Sh:863], by providing detailed proofs and clarifications.
• To clarify the role of $κ^{{\rm ict}}(T)$ in characterizing strong dependence and its interaction with stability.
• To establish a self-contained framework for analyzing strongly dependent theories using type ranks and consistency conditions.

Proposed method

• Defining $κ^{{\rm ict},1}(T) > \kappa$ via the consistency of a specific set of formulas indexed over $^\kappa\omega$, capturing complexity in type behavior.
• Using the $κ^{{\rm ict}}(T)$ invariant to classify theories as strongly dependent when it equals $\aleph_0$, extending prior definitions.
• Applying model-theoretic techniques to analyze dividing and consistency patterns in types over sequences of parameters.
• Revisiting and expanding on results from [Sh:863], particularly in sections §1, §2, and §4, to ensure self-containment and technical precision.
• Employing recursive and combinatorial constructions over $^\kappa\omega$ to test consistency of formula families and derive rank bounds.
• Focusing on the interaction between strong dependence and stability, especially through intersections with the stable family.

Experimental results

Research questions

• RQ1 How can the $κ^{{\rm ict}}(T)$ invariant be used to refine the classification of strongly dependent theories?
• RQ2 What is the precise role of dividing properties in defining new rank-based invariants for dependent theories?
• RQ3 How do the results from [Sh:863] on $\kappa^{{\rm ict}}(T)$ extend to a more self-contained and detailed framework?
• RQ4 In what ways do the intersections of strongly dependent theories with stable theories reveal structural constraints?
• RQ5 What is the significance of $\kappa^{{\rm ict}}(T) = \aleph_0$ as a defining condition for strong dependence?

Key findings

• The paper confirms that $\kappa^{{\rm ict}}(T) = \aleph_0$ characterizes strongly dependent theories, providing a precise rank-based criterion.
• It fulfills the promise in [Sh:863, 1.4(4)] by offering a detailed analysis of the consistency conditions tied to $\kappa^{{\rm ict},1}(T)$.
• The authors establish a refined understanding of the relationship between dividing behavior and type ranks in strongly dependent theories.
• The work provides a self-contained development of key results from [Sh:863], particularly clarifying the status of $\kappa^{{\rm ict}}(T)$ in the context of intersections with stable theories.
• It confirms that the family of strongly dependent theories is well-behaved under intersection with stable theories, preserving key structural properties.