Let $\Phi(\bar x)$ be a type over a set $X$ with respect to a structure $A$. Show that if $\Phi$ is algebraic, then $\Phi$ contains a formula $\phi$ s.t. $A\models\exists\ _{ I've really hit a wall with this one; I can only deal with the case $\Phi(\bar x)$ is a complete type. Any help is appreciated! -Thanks
Types and Algebraicity
4
$\begingroup$
model-theory
-
1What's your definition of algebraic type? _This_ is the definition I'm familiar with... – 2012-12-10
-
0I second Zhen's request for your definition of an algebraic type. I have seen precisely the property you want to prove used for that. – 2012-12-10
-
0Clarification: A type Φ(x) over a structure A is algebraic if any tuple realising it is algebraic, but this includes any tuple in any elementary extension B of A. – 2012-12-10
-
1And what is the definition of an algebraic tuple? I would say a tuple is algebraic if it realizes an algebraic type! – 2012-12-11
-
0@Saeed: You probably wanted to say that the type is algebraic if *every* tuple realising it is algebraic. – 2012-12-11
1 Answers
1
A type $\Phi$ in a complete theory corresponds to a closed subset $[\Phi]$ of the space of types $S_n(X)$.
According to your definition, a type is algebraic if the closed subset defined by it is covered by a family of open subsets $[\varphi]$ corresponding to algebraic formulas $\varphi$.
But the Stone space is compact, and the type is a closed subset, so $[\Phi]$ is covered by finitely many of these, so there are algebraic $\varphi_1,\ldots,\varphi_n$ such that $[\Phi]\subseteq \bigcup_{j=1}^n [\varphi_j]$, but the latter is just equal to $[\bigvee_{j=1}^n \varphi_j]$, so $\Phi\vdash \bigvee_{j=1}^n \varphi_j$, and $\bigvee_{j=1}^n \varphi_j$ is of course algebraic.
-
0@Alex Kruckman: By a tuple being algebraic it is meant that every element of the tuple is algebraic – 2012-12-12
-
0Yes, by "any" I meant "every" – 2012-12-12
-
0@Saeed: I think the more natural description is that a tuple is algebraic if its type is algebraic; it is equivalent to what you said, but... – 2012-12-12