加载中…
We give a full solution to the question of existence of indiscernibles in dependent theories by proving the following theorem: for every there is a dependent theory of size such that for all and , iff . This means that unless there are good set theoretical reasons, there are large sets with no indiscernible sequences.

生成讲解博客的中文版本

生成AI智能校验的中文版本