Vaught’s Conjecture Without Equality
Nathanael Ackerman · Notre Dame Journal of Formal Logic · 2015
Suppose that σ∈Lω1,ω(L) is such that all equations occurring in σ are positive, have the same set of variables on each side of the equality symbol, and have at least one function symbol on each side of the equality symbol. We show that σ satisfies Vaught’s conjecture. In particular, this proves Vaught’s conjecture for sentences of Lω1,ω(L) without equality.