Separating Models by Formulas and the Number of Countable Models

Mohammad Assem

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first…