本論文では、判別不可能な系列の依存性を記述する性質を導入しました。これらの性質を適用して、以下の結果を示しました: 非最小性の程度は任意の正整数値をとることができることを示しました。 有限関係言語における量化子消去を持つ単純理論は有限階数であり一基底であることを示しました。 NSOP1理論における単純Kim-分岐予想の変種を示しました。 安定理論においても FMb が非自明であることを示しました。