An instance of Vaught's conjecture using algebraic logic

Mohammed Assem, Tarek Sayed Ahmed

Let ϕbe a first order formula and M be a countable model. ϕ^M denotes the set of all assignments that satisfy ϕin M. Let M, N be countable models. A formula ϕdistinguishes these mo…