Isolated type
= Isolated type
{wiki}
A complete type $p\in S_n(A)$ is isolated when some formula $\varphi\in p$ belongs to no other complete type in $S_n(A)$. Equivalently, the basic open set determined by $\varphi$ is the singleton $\{p\}$.
= Isolated type
{wiki}
A complete type $p\in S_n(A)$ is isolated when some formula $\varphi\in p$ belongs to no other complete type in $S_n(A)$. Equivalently, the basic open set determined by $\varphi$ is the singleton $\{p\}$.