2 problems

Bigstar property conjecture. There is a classification-theoretic property $\bigstar$ such that: (1) there is a property $P$ of set systems for which $T$ has $\bigstar$ if and only…

Let $L_1$ and $L_2$ be languages with $L_1\cap L_2=\emptyset$, and let $T_1$ and $T_2$ be theories in these languages. Let $T_\cup$ be their fusion in the combined language. Tsuboi…