Browsing index pages (2 articles)
↧
How can $n\neq 0-$types contain sentences?
I was studying Introduction to Stability Theory by Anand Pillay, where he begins proves the following lemma:lemma 1.15let $p(\bar{x})\in S_n(M)$ and A $\supseteq M$. Then $p$ has an extension $q \in...
View ArticleAnswer by Noah Schweber for How can $n\neq 0-$types contain sentences?
We don't actually have to use all the variables. A formula in $x_1,...,x_n$ is a formula whose set of free variables is a subset of$\{x_1,...,x_n\}$, and an $n$-type is a set of such formulas....
View Article
Browsing index pages (2 articles)
