Vaught’s Conjecture Without Equality

Abstract

Suppose σ ∈ 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.2010 Mathematics Subject Classification. 03C15, 03C30, 03C75.