Abstract
Suppose that 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 without equality.
Citation
Nathanael Leedom Ackerman. "Vaught’s Conjecture Without Equality." Notre Dame J. Formal Logic 56 (4) 573 - 582, 2015. https://doi.org/10.1215/00294527-3153588
Information