A set of unary relations Pi for i in some set I is called independent if for every two disjoint finite subsets A and B of I there is some element x such that Pi(x) is true for i in A and false for i in B. Independence can be expressed by a set of first-order statements. The theory of a countable number of independent unary relations is complete, but has no atomic models. It is also an example of a theory that is superstable but not totally transcendental. |

About us|Jobs|Help|Disclaimer|Advertising services|Contact us|Sign in|Website map|Search|
**
**

GMT+8, 2015-9-11 22:04 , Processed in 0.156154 second(s), 16 queries .