Morley's theorem and Vaught's conjecture via Algebraic logic

M. Assem, T. S. Ahmed, G. Sági +1

Vaught's Conjecture states that if $T$ is a complete first order theory in a countable language that has more than ${\aleph }_0$ pairwise non-isomorphic countably infinite models, the…