Type space
= Type space
{title2=$S_n(A)$}
{wiki=Stone_space}
The type space $S_n^M(A)$ is the set of complete $n$-types over a parameter set $A$ that are consistent with the complete theory of $M$ together with its diagram over $A$.
= Type space
{title2=$S_n(A)$}
{wiki=Stone_space}
The type space $S_n^M(A)$ is the set of complete $n$-types over a parameter set $A$ that are consistent with the complete theory of $M$ together with its diagram over $A$.